检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

623 篇 会议
77 篇 期刊文献
5 册 图书

馆藏范围

705 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

560 篇 工学
- 489 篇 软件工程
- 400 篇 计算机科学与技术...
- 32 篇 控制科学与工程
- 31 篇 电气工程
- 23 篇 信息与通信工程
- 12 篇 生物工程
- 10 篇 建筑学
- 6 篇 土木工程
- 5 篇 力学（可授工学、理...
- 5 篇 电子科学与技术（可...
- 4 篇 化学工程与技术
- 3 篇 光学工程
- 3 篇 材料科学与工程（可...
- 3 篇 动力工程及工程热...
- 3 篇 石油与天然气工程
- 2 篇 机械工程
- 2 篇 农业工程
74 篇 理学
- 51 篇 数学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
- 6 篇 物理学
- 5 篇 系统科学
- 4 篇 化学
30 篇 教育学
- 29 篇 教育学
23 篇 管理学
- 14 篇 图书情报与档案管...
- 9 篇 管理科学与工程(可...
- 6 篇 工商管理
9 篇 法学
- 8 篇 社会学
3 篇 农学
- 3 篇 作物学
3 篇 医学
2 篇 经济学
- 2 篇 应用经济学

主题

92 篇 functional progr...
77 篇 languages
65 篇 computer program...
54 篇 design
34 篇 haskell
25 篇 programming
23 篇 computer program...
22 篇 performance
19 篇 logic programmin...
19 篇 dependent types
19 篇 theory
18 篇 dynamic programm...
16 篇 programming lang...
15 篇 algorithms
15 篇 functional react...
15 篇 generic programm...
14 篇 object oriented ...
12 篇 verification
11 篇 domain-specific ...
11 篇 continuations

机构

7 篇 portland state u...
6 篇 northeastern uni...
6 篇 chalmers univ te...
4 篇 inria
4 篇 carnegie mellon ...
4 篇 carnegie mellon ...
4 篇 univ penn philad...
4 篇 microsoft res ca...
3 篇 georgia inst tec...
3 篇 indiana univ blo...
3 篇 princeton univ p...
3 篇 univ edinburgh e...
3 篇 univ strathclyde...
3 篇 univ new s wales...
3 篇 univ cambridge c...
3 篇 univ utah salt l...
3 篇 yale univ dept c...
3 篇 univ washington ...
3 篇 brown univ provi...
2 篇 intel res berkel...

作者

5 篇 claessen koen
5 篇 jones mark p.
5 篇 krishnaswami nee...
4 篇 flatt matthew
4 篇 xi hw
4 篇 mcbride conor
4 篇 vafeiadis viktor
4 篇 weirich stephani...
4 篇 jeuring johan
4 篇 chlipala adam
4 篇 dreyer derek
4 篇 keller gabriele
4 篇 findler robert b...
4 篇 walker david
3 篇 dolstra eelco
3 篇 loh andres
3 篇 leshchinskiy rom...
3 篇 schmidt-schauss ...
3 篇 pottier francois
3 篇 walker d

语言

643 篇 英文
57 篇 其他
4 篇 中文
1 篇 德文

检索条件"任意字段=13th ACM SIGPLAN International Conference on Functional Programming"

共 705 条记录，以下是611-620 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

the stream virtual machine

The stream virtual machine

引用

13th international conference on Parallel Architecture and Compilation Techniques

作者： Labonte, F Mattson, P thies, W Buck, I Kozyrakis, C Horowitz, M Stanford Univ Stanford CA 94305 USA

ISBN: (纸本)0769522297

Stream programming is currently being pushed as a way to expose concurrency and separate communication from computation. Since there are many stream languages and potential stream execution engines, this paper proposes an abstract machine model that captures the essential characteristics of stream architectures, the Stream Virtual Machine (SVM). the goal of the SVM is to improve interoperability;allow developpment of common compilation tools and reason about stream program performance. the SVM contains control processors, slave kernel processors, and slave DMA units. Is is presented along with the compilation process that takes a stream program down to the SVM and finally down to machine binary. To extract the parameters for our SVM model, we use micro-kernels to characterize two graphics processors and a stream engine, Imagine. the results are encouraging;the model estimates the performance of the target machines with high accuracy.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Impact of Java memory model on out-of-order multiprocessors

Impact of Java memory model on out-of-order multiprocessors

引用

13th international conference on Parallel Architecture and Compilation Techniques

作者： Mitra, T Roychoudhury, A Shen, Q Natl Univ Singapore Sch Comp Singapore Singapore

ISBN: (纸本)0769522297

the semantics of Java rnultithreading dictates all possible behaviors that a multithreaded Java program can exhibit on any platform. this is called the Java Memory Model (JMM) and describes the allowed reorderings among the memory operations in a thread. However, multiprocessor platforms traditionally have memory consistency models of their own. In this paper;we study the interaction between the JMM and the multiprocessor memory consistency models. In particular;memory barriers may have to be inserted to ensure that the multiprocessor execution of a multithreaded Java program respects the JMM. We study the impact of these additional memory barriers on program performance. Our experimental results indicate that the performance gain achieved by relaxed hardware memory consistency models far exceeds the performance degradation due to the introduction of JMM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

TO-lock: Removing lock overhead using the owners' temporal locality

TO-lock: Removing lock overhead using the owners' temporal l...

引用

13th international conference on Parallel Architecture and Compilation Techniques

作者： Ogasawara, T Komatsu, H Nakatani, T Tokyo Research Laboratory IBM Japan Japan

ISBN: (纸本)0769522297

the performance of locking is critical, as programming languages with built-in thread support are coming into wide use. Many techniques for optimizing Java monitors have been proposed, based on the observation that the locks are rarely contended for in many applications. However, the problem of the performance degradation in SMP environments caused by necessary serializations of the processors' execution has not been addressed for shared objects. We propose a new algorithm for this problem. It uses simple instructions to acquire the lock by exploiting the owner locality, for objects even if the ownership has migrated among the threads. Our algorithm is particularly effective for SMP environments because we can remove the overhead of the serialization caused by complex atomic operations for uncontended locks by allowing the lock operation and the code protected by the lock to be executed in parallel. We verified the safety of the algorithm by using a software tool, Spit. the experimental results of our bench-marking on an SMP machine using Intel Xeon processors showed that our algorithm can significantly improve the performance by 83% on average compared to the case using a complex atomic instruction.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Impact of on-line gaming on networking

Impact of on-line gaming on networking

引用

international conference on Computer Communications and Networks (ICCCN)

作者： C. Akrout PowerPC and Networking Technology Development IBM USA

Summary form only given. Willingness to customize microprocessors for specific applications has uniquely positioned IBM as the microprocessor supplier of choice to the games market. An identical approach of customizing microprocessors for network processing provides tremendous processing power and gives much more flexible networking functions support compared to what is offered by classical network processors with hardware co-processors. Evolution of the gaming industry is driving a need for microprocessors whose structure supports both gaming and networking functions with a very high level of programming flexibility with a consistent programming model, as well as the tremendous performance required by on-line gaming on networking

关键词： Microprocessors functional programming Genetic programming Hardware Coprocessors

来源：评论

学校读者我要写书评

暂无评论

Meta-programming through typeful code representation 03

Meta-programming through typeful code representation

引用

8th international conference on functional programming (ICFP 03)

作者： Chen, CY Xi, HW Boston Univ Comp Sci Dept Boston MA 02215 USA

ISBN: (纸本)9781581137569

By allowing the programmer to write code that can generate code at run-time, meta-programming offers a powerful approach to program construction. For instance, meta-programming can often be employed to enhance program efficiency and facilitate the construction of generic programs. However, meta-programming, especially in an untyped setting, is notoriously error-prone. In this paper, we aim at making meta-programming less error-prone by providing a type system to facilitate the construction of correct meta-programs. We first introduce some code constructors for constructing typeful code representation in which program variables are replaced with deBruijn indices, and then formally demonstrate how such typeful code representation can be used to support meta-programming. the main contribution of the paper lies in recognition and then formalization of a novel approach to typed meta-programming that is practical, general and flexible.

关键词： meta-programming multi-level staged programming typeful code representation

来源：评论

学校读者我要写书评

暂无评论

Software is discrete mathematics 03

Software is discrete mathematics

引用

8th international conference on functional programming (ICFP 03)

作者： Page, RL Univ Oklahoma Sch Comp Sci Norman OK 73019 USA

ISBN: (纸本)9781581137569

A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differences in the programming effectiveness of two populations of students: (1) those who studied discrete mathematics through examples focused on reasoning about software and (2) those who studied the same mathematical topics illustrated with more traditional examples. functional programming played a central role in the study because it provides a straightforward framework for the presentation of concepts such as predicate logic and proof by induction. Such topics can be covered in depth, staying almost entirely within the context of reasoning about software. the intricate complexities in logic that mutable variables carry with them need not arise, early on, to confuse novices struggling to understand new ideas. In addition, because functional languages provide useful and compact ways to express mathematical concepts, and because the choice of notation in mathematics courses is often at the discretion of the instructor (in contrast to the notational restrictions often fiercely guarded by the faculty in programming courses), discrete mathematics courses, as they are found in most computer science programs, provide an easy opportunity to enhance the education of students by exposing them to functional programming concepts.

关键词： functional programming discrete mathematics predicate logic correctness proofs formal methods software engineering

来源：评论

学校读者我要写书评

暂无评论

Scripting the type inference process 03

Scripting the type inference process

引用

8th international conference on functional programming (ICFP 03)

作者： Heeren, B Hage, J Swierstra, SD Univ Utrecht Inst Comp & Informat Sci NL-3508 TB Utrecht Netherlands

ISBN: (纸本)9781581137569

To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference processes. these techniques take the form of externally supplied type inference directives, precluding the need to make any changes to the compiler. A second advantage is that the directives are automatically checked for soundness with respect to the underlying type system. We show how the techniques can be used to improve the type error messages reported for a combinator library. More specifically, how they can help to generate error messages which are conceptually closer to the domain for which the library was developed. the techniques have all been incorporated in the Helium compiler, which implements a large subset of Haskell.

关键词： constraints type inference type errors directives domain-specific programming

来源：评论

学校读者我要写书评

暂无评论

Understanding aspects (extended abstract)

Understanding aspects (extended abstract)

引用

8th international conference on functional programming (ICFP 03)

作者： Wand, M Northeastern Univ Coll Comp & Informat Sci Boston MA 02115 USA

To the extent that modular reasoning forms the conceptual foundation for good software engineering principles, the failure of modular reasoning in current aspect-oriented programming (AOP) systems is cause for concern. this paper discusses a reconceptualization of AOP that will allow an eventual reconciliation between AOP and modular reasoning.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

functional automatic differentiation with Dirac impulses 03

Functional automatic differentiation with Dirac impulses

引用

8th international conference on functional programming (ICFP 03)

作者： Nilsson, H Yale Univ Dept Comp Sci New Haven CT 06520 USA

ISBN: (纸本)9781581137569

functional Reactive programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, graphical user interfaces, robotics, and computer vision. Recently, we have been interested in applying FRP-like principles to hybrid modeling and simulation of physical systems. As a step in that direction, we have extended an existing FRP implementation, Yampa, in two new ways that make it possible to express certain models in a very natural way, and reduces the amount of work needed to put modeling equations into a suitable form for simulation. First, we have added Dirac impulses that allow certain types of discontinuities to be handled in an easy yet rigorous manner. Second, we have adapted automatic differentiation to the setting of Yampa, and generalized it to work correctly with Dirac impulses. this allows derivatives of piecewise continuous signals to be well-defined at all points. this paper reviews the basic ideas behind automatic differentiation, in particular Jerzy Karczmarczuk's elegant version for a lazy functional language with overloading, and then considers the integration with Yampa and the addition of Dirac impulses.

关键词： FRP Haskell functional programming synchronous dataflow languages modeling languages hybrid modeling automatic differentiation distribution theory Dirac impulses

来源：评论

学校读者我要写书评

暂无评论

A theory of aspects 03

A theory of aspects

引用

8th international conference on functional programming (ICFP 03)

作者： Walker, D Zdancewic, S Ligatti, J Princeton Univ Princeton NJ 08544 USA

ISBN: (纸本)9781581137569

this paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a type-directed translation from its user-friendly external language to its compact, well-defined core language. We argue that our framework is an effective way to give semantics to aspect-oriented programming languages in general because the translation eliminates shallow syntactic differences between related constructs and permits definition of a clean, easy-to-understand, and easy-to-reason- about core language. the core language extends the simply-typed lambda calculus with two central new abstractions: explicitly labeled program points and first-class advice. the labels serve both to trigger advice and to mark continuations that the advice may return to. these constructs are defined orthogonally to the other features of the language and we show that our abstractions can be used in both functional and object-oriented contexts. the labels are well-scoped and the language as a whole is well-typed. Consequently, programmers can use lexical scoping in the standard way to prevent aspects from interfering with local program invariants.

关键词： aspects aspect-oriented programming operational semantics type theory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共71页 << < 58 59 60 61 62 63 64 65 66 67 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：