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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,155 篇 会议
135 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,115 篇 工学
- 1,040 篇 软件工程
- 803 篇 计算机科学与技术...
- 50 篇 控制科学与工程
- 43 篇 电气工程
- 36 篇 信息与通信工程
- 9 篇 电子科学与技术（可...
- 8 篇 机械工程
- 6 篇 安全科学与工程
- 5 篇 建筑学
- 5 篇 土木工程
- 5 篇 航空宇航科学与技...
- 5 篇 生物工程
- 4 篇 材料科学与工程（可...
- 4 篇 化学工程与技术
- 2 篇 力学（可授工学、理...
- 2 篇 光学工程
- 2 篇 农业工程
141 篇 理学
- 117 篇 数学
- 13 篇 系统科学
- 9 篇 统计学（可授理学、...
- 7 篇 生物学
- 5 篇 物理学
- 4 篇 化学
89 篇 管理学
- 53 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 28 篇 工商管理
15 篇 教育学
- 15 篇 教育学
6 篇 经济学
- 6 篇 应用经济学
5 篇 法学
- 4 篇 社会学
2 篇 农学
- 2 篇 作物学

主题

180 篇 design
167 篇 languages
103 篇 computer program...
99 篇 performance
59 篇 algorithms
49 篇 object oriented ...
49 篇 computer program...
45 篇 experimentation
45 篇 java programming...
39 篇 verification
35 篇 reliability
34 篇 java
32 篇 functional progr...
26 篇 program synthesi...
24 篇 probabilistic pr...
22 篇 software design
21 篇 theory
20 篇 concurrency
19 篇 domain-specific ...
19 篇 c (programming l...

机构

16 篇 carnegie mellon ...
13 篇 princeton univ p...
12 篇 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 篇 microsoft res re...
9 篇 yale univ new ha...
9 篇 harvard univ cam...
9 篇 cornell univ ith...
9 篇 microsoft resear...
8 篇 univ chicago il ...
7 篇 microsoft res re...
7 篇 swiss fed inst t...
7 篇 mit cambridge ma...

作者

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

语言

1,204 篇 英文
85 篇 其他
1 篇 中文

检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"

共 1290 条记录，以下是1041-1050 订阅

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

详细简洁

排序：

implementation of the data-flow synchronous language signal 95

Implementation of the data-flow synchronous language signal

引用

1995 acm sigplan conference on programming language design and implementation, PLDI 1995

作者： Amagbegnon, Pascalin Besnard, Loic Guetnic, Paul Le IRISA-INRIA Campus de Beaulieu Rennes Cedex350412 France

ISBN: (纸本)0897916972

This paper presents the techniques used for the compilation of the data-flow, synchronous language SIGNAL. The key feature of the compiler is that it performs formal calculus on systems of boolean equations. The originality of the implementation of the compiler lies in the use of a tree structure to solve the equations. © 1995 acm.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

CONTEXT-INSENSITIVE ALIAS ANALYSIS RECONSIDERED 95

CONTEXT-INSENSITIVE ALIAS ANALYSIS RECONSIDERED

引用

acm sigplan 95 conference on programming language design and implementation

作者： RUF, E Microsoft Research One Microsoft Way Redmond WA

ISBN: (纸本)9780897916974

Recent work on alias analysis in the presence of pointers has concentrated on context-sensitive interprocedural analyses, which treat multiple calls to a single procedure independently rather than constructing a single approximation to a procedure's effect on all of its callers. While context-sensitive modeling offers the potential for greater precision by considering only realizable call-return paths, its empirical benefits have yet to be measured. This paper compares the precision of a simple, efficient, context-insensitive points-to analysis for the C programming language with that of a maximally context-sensitive version of the same analysis. We demonstrate that, for a number of pointer-intensive benchmark programs, context-insensitivity exerts little to no precision penalty. We also describe techniques for using the output of context-insensitive analysis to improve the efficiency of context-sensitive analysis without affecting precision.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Efficient context-sensitive pointer analysis for c programs 95

Efficient context-sensitive pointer analysis for c programs

引用

1995 acm sigplan conference on programming language design and implementation, PLDI 1995

作者： Wilson, Robert P. Lam, Monica S. Computer Systems Laboratory Stanford University CA94305 United States

ISBN: (纸本)0897916972

This paper proposes an efficient technique for con-extsensitive pointer analysis that is applicable to real C programs. For efficiency, we summarize the effects of procedures using partial tran$er func(ions. A partial transfer function (PTF) describes the behavior of a procedure assuming that certain alias relationships hold when it is called. We cart reuse aPTF in many calling contexts as long as the aliases among the inputs to the procedure are the same. Our empirical results demonstrate that this technique is successful-a single PTF per procedure is usually sufficient to obtain completely context-sensitive results. Because many C programs use features such as type casts and pointer arithmetic to circumvent the high-level type system, our algorithm is based on a low-level representation of memory locations that safely handles all the features of C. We have implemented our algorithm in the SUIF compiler system and efficiently for a set of C benchmarks. © 1995 acm.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

A type-based compiler for standard ML 95

A type-based compiler for standard ML

引用

1995 acm sigplan conference on programming language design and implementation, PLDI 1995

作者： Shao, Zhong Appelt, Andrew W. Yale University United States Princeton University United States

ISBN: (纸本)0897916972

Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation work in real compilers, and how much performance gain will type-based optimization yield? In order to support more efficient data representations and gain more experience about type-directed compilation, we have implemented a new type-based middle end and back end for the Standard ML of New Jersey compiler. We describe the basic design of the new compiler, Identify a number of practical issues, and then compare the performance of our new compiler with the old non-type-based compiler. Our measurement shows that a combination of several simple type-based optimlzations reduces heap allocation by 36%: And improves the already-efficient code generated by the old non-type-based compiler by about 19% on a DECstation 5000. © 1995 acm.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

SELECTIVE SPECIALIZATION FOR OBJECT-ORIENTED languageS 95

SELECTIVE SPECIALIZATION FOR OBJECT-ORIENTED LANGUAGES

引用

acm sigplan 95 conference on programming language design and implementation

作者： DEAN, J CHAMBERS, C GROVE, D Department of Computer Science and Engineering University of Washington Seattle WA

ISBN: (纸本)9780897916974

Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to the direct cost of method lookup and to the indirect effect of preventing other optimizations. To reduce this overhead, optimizing compilers for object-oriented languages analyze the classes of objects stored in program variables, with the goal of bounding the possible classes of message receivers enough so that the compiler can uniquely determine the target of a message send at compile time and replace the message send with a direct procedure call. Specialization is one important technique for improving the precision of this static class information: by compiling multiple versions of a method, each applicable to a subset of the possible argument classes of the method, more precise static information about the classes of the method's arguments is obtained. Previous specialization strategies have not been selective about where this technique is applied, and therefore tended to significantly increase compile time and code space usage, particularly for large applications. In this paper, we present a more general framework for specialization in object-oriented languages and describe a goal-directed specialization algorithm that makes selective decisions to apply specialization to those cases where;it provides the highest benefit. Our results show that our algorithm improves the performance of a group of sizeable programs by 65% to 275% while increasing compiled code space requirements by only 4% to 10%. Moreover, when compared to the previous state-of-the-art specialization scheme, our algorithm improves performance by 11% to 67% while simultaneously reducing code space requirements by 65% to 73%.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Idiomatic design

Idiomatic design

引用

10th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1995

作者： Koenig, Andrew AT and T Bell Laboratories Murray HillNJ07974 United States

ISBN: (纸本)0897917219

Every problem has a context, which can include l community and culture implementation constraints language and system and probably other things too. A good design will take its context into account. If the culture demands it, that may mean, for example, using object-oriented techniques where they don't really apply or not using them in a case that seems to cry out for them. It may mean choosing a programming language without regard for its usual advantages or disadvantages. It may mean using a set of tools that some people may find cumbersome or outdated, It may call for all kinds of things that may seem nonsensical when viewed in isolation. But software systems do not exist in isolation. They would not be systems if they did. Any useful system must take its context into account. Unless we can answer the question "Good for what?" we cannot say whether or not a design is good.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Towards a methodology for explicit composition of metaobjects 95

Towards a methodology for explicit composition of metaobject...

引用

10th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1995

作者： Mulet, Philippe Malenfant, Jacques Cointe, Pierre Ecole des Mines de Nantes and OTI Laboratoire Jules Verne La Chantrerie 4 rue Alfred Kastler 44070 Nantes Cedex 03 France Département d'Informatique et de Recherche Opérationnelle Université de Montréal Succursale Centre-Ville Montréal QC H3C 3J7 Canada

ISBN: (纸本)0897917030

Reflective programming languages are those where users' programs are allowed to customize in an organized way the behavior of the language to their own needs. For ten years now, most of the work on reflection revolved around the definition and the implementation of metaobject protocols which express this organization. No methodologies have been proposed for reflective programming per se. This paper proposes a first one aiming at the design of composable metaobjects. Given two independently developed reflective customizations, this methodology proposes principles to be observed in their design such that they can be composed using standard base-level aggregation or specialization. While this paper focuses on a simple MOP and illustrates the methodology on specific examples, this methodology can be generalized to other languages with different MOPs. For instance, we discuss how to adapt it to CLOS. © 1995 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Time and space profiling for non-strict, higher-order functional languages 95

Time and space profiling for non-strict, higher-order functi...

引用

22nd acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'95

作者： Sansom, Patrick M. Peyton Jones, Simon L. Univ of Glasgow Glasgow United Kingdom

ISBN: (纸本)9780897916929

We present the first profiler for a compiled, non-strict, higher-order, purely functional language capable of measuring time as well as space usage. Our profiler is implemented in a production-quality optimising compiler for Haskell, has low overheads, and can successfully profile large applications. A unique feature of our approach is that we give a formal specification of the attribution of execution costs to cost centres. This specification enables us to discuss our design decisions in a precise framework. Since it is not obvious how to map this specification onto a particular implementation, we also present an implementation-oriented operational semantics, and prove it equivalent to the specification.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Characteristics of modern system implementation languages 95

Characteristics of modern system implementation languages

引用

proceedings of the 1995 acm Computer Science conference

作者： Bishop, J.M. Faria, R. Univ of Pretoria Pretoria South Africa

ISBN: (纸本)9780897917377

Systems are written in systems implementation languages. What characterizes such languages in the mid-1990's? This paper identifies the typical environment that a system is being targeted for these days - as opposed to twenty years ago - and and emphasizes how this radically affects the language in which development proceeds. It then considers two directions that systems development is taking. The first relies heavily on design tools and methodologies, which are the means for describing the underlying structure of the system. The second interposes an additional layer of description between the design steps and the programming language, and maintains the structure here. The rest of the paper focuses on these intermediate languages, identifying their characteristics and advantages and looking at two examples, Darwin and UniCon. In conclusion, we highlight the (sometimes surprising) results that have emerged so far, and predict the way in which modern systems implementation languages could move.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Extending SQL-92 for OODB access: design and implementation experience 95

Extending SQL-92 for OODB access: Design and implementation ...

引用

10th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1995

作者： Kiernan, Jerry Carey, Michael J. IBM Santa Teresa Lab. 555 Bailey Avenue San Jose CA 95141 United States IBM Almaden Research Center 650 Harry Road K55-B1 San Jose CA 95120 United States

ISBN: (纸本)0897917030

This paper describes the design and implementation of a query engine that provides extended SQL-based access to the data managed by an object-oriented database system. This query engine allows extended SQL queries to be embedded in C++ programs or issued interactively as from a command line interface. The language supported by the engine is the complete SQL-92 select statement plus object extensions for navigating along paths and embedded structures, querying nested sets, and invoking member functions. In addition, an object-oriented SQL view facility is provided. Using this view facility, one can define object-oriented views;one can also define views that flatten complex OODB schemas, allowing direct access by existing tools designed to provide remote access to relational databases. The view facility also supports the definition of views that include reference and set-valued columns based on other views, thus allowing entire "view schemas" to be created. This paper describes the SQL-92 query and view extensions and discusses a number of issues that arose on the way to the implementation that is currently running on top of the ObjectStore OODB system. © 1995 acm.

关键词： Engines

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共129页 << < 101 102 103 104 105 106 107 108 109 110 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：