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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,078 篇 会议
132 篇 期刊文献

馆藏范围

1,210 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,046 篇 工学
- 982 篇 软件工程
- 752 篇 计算机科学与技术...
- 44 篇 控制科学与工程
- 42 篇 电气工程
- 32 篇 信息与通信工程
- 9 篇 电子科学与技术（可...
- 8 篇 机械工程
- 5 篇 土木工程
- 5 篇 安全科学与工程
- 4 篇 材料科学与工程（可...
- 4 篇 建筑学
- 4 篇 化学工程与技术
- 4 篇 航空宇航科学与技...
- 3 篇 生物工程
- 2 篇 光学工程
- 2 篇 冶金工程
- 2 篇 农业工程
126 篇 理学
- 106 篇 数学
- 12 篇 系统科学
- 8 篇 统计学（可授理学、...
- 5 篇 物理学
- 5 篇 生物学
- 4 篇 化学
81 篇 管理学
- 48 篇 管理科学与工程(可...
- 36 篇 图书情报与档案管...
- 26 篇 工商管理
12 篇 教育学
- 12 篇 教育学
6 篇 经济学
- 6 篇 应用经济学
5 篇 法学
- 4 篇 社会学
2 篇 农学
- 2 篇 作物学

主题

170 篇 design
157 篇 languages
100 篇 computer program...
96 篇 performance
57 篇 algorithms
49 篇 computer program...
47 篇 object oriented ...
43 篇 experimentation
39 篇 verification
35 篇 java programming...
34 篇 reliability
29 篇 functional progr...
26 篇 program synthesi...
26 篇 java
24 篇 probabilistic pr...
20 篇 concurrency
19 篇 domain-specific ...
19 篇 theory
17 篇 compilers
17 篇 type systems

机构

16 篇 carnegie mellon ...
13 篇 princeton univ p...
11 篇 univ washington ...
11 篇 univ texas austi...
10 篇 univ michigan an...
10 篇 univ penn philad...
10 篇 rice univ housto...
10 篇 purdue univ w la...
10 篇 stanford univ st...
10 篇 univ calif berke...
9 篇 univ wisconsin m...
9 篇 yale univ new ha...
9 篇 harvard univ cam...
9 篇 cornell univ ith...
8 篇 microsoft res re...
8 篇 univ chicago il ...
7 篇 microsoft res re...
7 篇 swiss fed inst t...
7 篇 mit cambridge ma...
7 篇 northeastern uni...

作者

11 篇 walker david
10 篇 dillig isil
9 篇 chlipala adam
8 篇 shao zhong
8 篇 solar-lezama arm...
8 篇 chaudhuri swarat
8 篇 gulwani sumit
8 篇 sarkar vivek
7 篇 august david i.
7 篇 bacon david f.
6 篇 wang xinyu
6 篇 hendren laurie
6 篇 grossman dan
6 篇 adl-tabatabai al...
6 篇 aiken alex
6 篇 foster nate
6 篇 myers andrew c.
6 篇 mezini mira
6 篇 mahlke scott
6 篇 bodik rastislav

语言

1,132 篇 英文
77 篇 其他
1 篇 中文

检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"

共 1210 条记录，以下是1051-1060 订阅

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

详细简洁

排序：

design via executable specification

Design via executable specification

引用

IEEE Pacific Rim conference on Communications, Computers and Signal Processing

作者： M.H.M. Cheng Department of Computer Science University of Victoria Victoria BC Canada

A description is presented of two approaches to the design of a simple string matching machine: a direct approach and a transformational approach. In the latter approach, Horn clause logic is chosen as the specification language. It has the advantage that the specifications themselves are executable as logic programs: hence they can be used as prototype implementations. The simple formal semantics of Horn clause logic allows one to perform equivalence-preserving transformations semi-automatically on the specifications to derive more 'efficient' ones. When using the specifications as executable prototypes, immediate feedback is gained on the design specifications. Any errors uncovered from these executable prototypes relate directly to the designs themselves. Thus, the risk of introducing unintended errors in a prototype implementation, such as careless coding errors, translation errors caused by misunderstanding, etc., is reduced.< >

关键词： Logic programming Prototypes Digital circuits Logic design Logic circuits Process design Specification languages Computer science Computer errors Feedback

来源：评论

学校读者我要写书评

暂无评论

A system supporting design, implementation and maintenance of object oriented programs

A system supporting design, implementation and maintenance o...

引用

Israel conference on Computer Systems and Software Engineering

作者： M. Adar E. Kantorowitz E. Bar-On Technion-Israel Inst. of Technol. Haifa Israel Science Education Department Technion-Israel Institute of Technology Haifa Israel

The graphical object-oriented development system (GOODS) was designed to support the design, implementation, and maintenance of object-oriented programs. The goal was to minimize the cognitive load on the user by providing graphical views containing only the information needed. It uses novel graphical language designed to describe the structure of object-oriented programs. The system can display GOODS diagrams showing the structure of any part of the program as it is seen from different points of view, i.e., showing different kinds of properties. This is a dual presentation of diagrams and code that allows the programmer to switch between the two. Any change in one of them will cause the corresponding change of the other. GOODS was implemented in C++ using X-Windows. Users found the diagrams useful for understanding the structure of the programs, and as a development tool.< >

关键词： programming profession Switches Humans Documentation Computer science Computer science education Educational programs Displays Laboratories Software engineering

来源：评论

学校读者我要写书评

暂无评论

REGISTER ALLOCATION ACROSS PROCEDURE AND MODULE BOUNDARIES 90

引用

1990 CONF OF THE SPECIAL INTEREST GROUP ON programming languageS OF THE ASSOC FOR COMPUTING MACHINERY : programming language design AND implementation

作者： SANTHANAM, V ODNERT, D HEWLETT PACKARD CO CALIF LANGUAGE LABCUPERTINOCA 95014

ISBN: (纸本)9780897913645

This paper describes a method for compiling programs using interprocedural register allocation. A strategy for handling programs built from multiple modules is presented, as well as algorithms for global variable promotion and register spill code motion. These algorithms attempt to address some of the shortcomings of previous interprocedural register allocation strategies. Results are given for an implementation on a single register file RISC-based architecture.

关键词： Reduced instruction set computing

来源：评论

学校读者我要写书评

暂无评论

design, implementation and evaluation of the FNC-2 attribute grammar system 90

Design, implementation and evaluation of the FNC-2 attribute...

引用

proceedings of the acm sigplan '90 conference on programming language design and implementation

作者： Jourdan, Martin Parigot, Didier Julie, Catherine Durin, Olivier Le Bellec, Carole INRIA Le Chesnay France

ISBN: (纸本)0897913647

FNC-2 is a new attribute grammar processing system aiming at expressive power, efficiency, ease of use and versatility. Its development at INRIA started in 1986, and a first running prototype is available since early 1989. Its most important features are: efficient exhaustive and incremental visit-sequence-based evaluation of strongly (absolutely) non-circular AGs;extensive space optimizations;a specially-designed AG-description language, with provisions for true modularity;portability and versatility of the generated evaluators;complete environment for application development. This paper briefly describes the design and implementation of FNC-2 and its peripherals. Then preliminary experience with the system is reported.

关键词： Computer Operating Systems

来源：评论

学校读者我要写书评

暂无评论

Task granularity analysis in logic programs 90

Task granularity analysis in logic programs

引用

proceedings of the acm sigplan '90 conference on programming language design and implementation

作者： Debray, Saumya K. Lin, Nai-Wei Hermenegildo, Manuel Univ of Arizona Tucson United States

ISBN: (纸本)0897913647

While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the work involved in task creation and scheduling. In practice, therefore, the 'granularity' of a goal, i.e. an estimate of the work available under it, should be taken into account when deciding whether or not to execute a goal concurrently as a separate task. This paper describes a method for estimating the granularity of a goal at compile time. The runtime overhead associated with our approach is usually quite small, and the performance improvements resulting from the incorporation of grainsize control can be quite good. This is shown by means of experimental results.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Profile guided code positioning 90

Profile guided code positioning

引用

proceedings of the acm sigplan '90 conference on programming language design and implementation

作者： Pettis, Karl Hansen, Robert C. Hewlett Packard Co California Language Lab Cupertino United States

ISBN: (纸本)0897913647

This paper presents the results of our investigation of code positioning techniques using execution profile data as input into the compilation process. The primary objective of the positioning is to reduce the overhead of the instruction memory hierarchy. After initial investigation in the literature, we decided to implement two prototypes for the Hewlett-Packard Precision Architecture (PA-RISC). The first, built on top of the linker, positions code based on whole procedures. This prototype has the ability to move procedures into an order that is determined by a 'closest is best' strategy. The algorithms we implemented are described through examples in this paper. The performance improvements from our work are also summarized in various tables and charts.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

GENERATORS AND THE REPLICATOR CONTROL STRUCTURE IN THE PARALLEL ENVIRONMENT OF ALLOY 90

GENERATORS AND THE REPLICATOR CONTROL STRUCTURE IN THE PARAL...

引用

1990 CONF OF THE SPECIAL INTEREST GROUP ON programming languageS OF THE ASSOC FOR COMPUTING MACHINERY : programming language design AND implementation

作者： MITSOLIDES, T HARRISON, M NYU COURANT INST MATH SCINEW YORKNY 10012

ISBN: (纸本)9780897913645

The need for searching a space of solutions appears often. Many problems, such as iteration over a dynamically created domain, can be expressed most naturally using a generate-and-process style. Serial programming languages typically support solutions of these problems by providing some form of generators or backtracking.A parallel programming language is more demanding since it needs to be able to express parallel generation and processing of elements. Failure driven computation is no longer sufficient and neither is multiple-assignment to generated *** describe the replicator control operator used in the high level parallel programming language ALLOY. The replicator control operator provides a new view of generators which deals with these problems.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Fast breakpoints. design and implementation 90

Fast breakpoints. Design and implementation

引用

proceedings of the acm sigplan '90 conference on programming language design and implementation

作者： Kessler, Peter B. Xerox PARC Palo Alto United States

ISBN: (纸本)0897913647

We have designed and implemented a fast breakpoint facility. Breakpoints are usually thought of as a feature of an interactive debugger, in which case the breakpoints need not be particularly fast. In our environment breakpoints are often used for non-interactive information gathering;for example, procedure call count and statement execution count profiling. When used non-interactively, breakpoints should be as fast as possible, so as to perturb the execution of the program as little as possible. Even in interactive debuggers, a conditional breakpoint facility would benefit from breakpoints that could transfer to the evaluation of the condition rapidly, and continue expeditiously if the condition were not satisfied. Such conditional breakpoints could be used to check assertions, etc. Program advising could also make use of fast breakpoints. Examples of advising include tracing, timing, and even animation, all of which should be part of an advanced programming environment.

关键词： Computer Operating Systems

来源：评论

学校读者我要写书评

暂无评论

How to read floating point numbers accurately 90

How to read floating point numbers accurately

引用

proceedings of the acm sigplan '90 conference on programming language design and implementation

作者： Clinger, William D. Univ of Oregon

ISBN: (纸本)0897913647

Consider the problem of converting decimal scientific notation for a number into the best binary floating point approximation to that number, for some fixed precision. This problem cannot be solved using arithmetic of any fixed precision. Hence the IEEE Standard for Binary Floating-Point Arithmetic does not require the result of such a conversion to be the best approximation. This paper presents an efficient algorithm that always finds the best approximation. The algorithm uses a few extra bits of precision to compute an IEEE-conforming approximation while testing an intermediate result to determine whether the approximation could be other than the best. If the approximation might not be the best, then the best approximation is determined by a few simple operations on multiple-precision integers, where the precision is determined by the input. When using 64 bits of precision to compute IEEE double precision results, the algorithm avoids higher-precision arithmetic over 99% of the time.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Fast code generation using automatically-generated decision trees 90

Fast code generation using automatically-generated decision ...

引用

proceedings of the acm sigplan '90 conference on programming language design and implementation

作者： Wendt, Alan L. Colorado State Univ Fort Collins United States

ISBN: (纸本)0897913647

Several recent code generators [4,5,6,8] use dagrewriting rules to accomplish both code generation and peephole optimization, and they compile these rules into hard code to generate code quickly. The chop system [6], for example, runs twice as fast as both pcc and the GNU C compiler gcc on a Sun 3/50 system and generates comparable code. These figures are for entire compilers;the code generators themselves run about seven times faster than comparable code generators. This paper describes a new system, currently under development, that further increases the speed of automatically-generated retargetable code generation. It offers two principal advantages over its predecessors.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共121页 << < 102 103 104 105 106 107 108 109 110 111 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：