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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,062 篇 工学
- 1,002 篇 软件工程
- 769 篇 计算机科学与技术...
- 43 篇 控制科学与工程
- 36 篇 电气工程
- 31 篇 信息与通信工程
- 8 篇 电子科学与技术（可...
- 7 篇 机械工程
- 5 篇 安全科学与工程
- 4 篇 材料科学与工程（可...
- 4 篇 建筑学
- 4 篇 土木工程
- 4 篇 化学工程与技术
- 4 篇 航空宇航科学与技...
- 4 篇 生物工程
- 2 篇 光学工程
- 2 篇 农业工程
134 篇 理学
- 111 篇 数学
- 14 篇 系统科学
- 8 篇 统计学（可授理学、...
- 6 篇 生物学
- 5 篇 物理学
- 4 篇 化学
82 篇 管理学
- 47 篇 管理科学与工程(可...
- 38 篇 图书情报与档案管...
- 27 篇 工商管理
12 篇 教育学
- 12 篇 教育学
7 篇 经济学
- 7 篇 应用经济学
6 篇 法学
- 5 篇 社会学
- 1 篇 法学
2 篇 农学
- 2 篇 作物学

主题

170 篇 design
157 篇 languages
99 篇 computer program...
96 篇 performance
57 篇 algorithms
54 篇 object oriented ...
51 篇 computer program...
43 篇 experimentation
39 篇 verification
34 篇 reliability
34 篇 java programming...
29 篇 functional progr...
26 篇 program synthesi...
26 篇 java
24 篇 probabilistic pr...
20 篇 concurrency
19 篇 domain-specific ...
19 篇 theory
18 篇 c (programming l...
17 篇 compilers

机构

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
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 篇 foster nate
6 篇 felleisen matthi...
6 篇 myers andrew c.
6 篇 mezini mira
6 篇 mahlke scott

语言

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

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

共 1228 条记录，以下是951-960 订阅

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

详细简洁

排序：

COMPILING REAL-TIME PROGRAMS INTO SCHEDULABLE CODE 93

COMPILING REAL-TIME PROGRAMS INTO SCHEDULABLE CODE

引用

CONF ON programming language design AND implementation

作者： HONG, S GERBER, R UNIV MARYLAND DEPT COMP SCICOLL PKMD 20742

ISBN: (纸本)9780897915984

We present a programming language with first-class timing constructs, whose semantics is based on time-constrained relationships between observable events. Since a system specification postulates timing relationships between events, realizing the specification in a program becomes a more straightforward process. Using these constraints, as well as those imposed by data and control flow properties, our objective is to transform the code so that its worst-case execution time is consistent with its real-time requirements. To accomplish this goal we first translate an event-based source program into intermediate code, in which the timing constraints are imposed on the code itself, and then use a compilation technique which synthesizes feasible code from the original source program.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Concurrent, generational garbage collector for a multithreaded implementation of ML

Concurrent, generational garbage collector for a multithread...

引用

20th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'93

作者： Doligez, Damien Leroy, Xavier Ecole Normale Superieure and INRIA Rocquencourt Le Chesnay France

ISBN: (纸本)0897915607

This paper presents the design and implementation of a `quasi real-time' garbage collector for Concurrent Caml Light, an implementation of ML with threads. This two-generation system combines a fast, asynchronous copying collector on the young generation with a non-disruptive concurrent marking collector on the old generation. This design crucially relies on the ML compile-time distinction between mutable and immutable objects.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Ada 9x: From abstraction-oriented to object-oriented 8

Ada 9x: From abstraction-oriented to object-oriented

引用

8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993

作者： Taft, S. Tucker Intermetrics Inc. 733 Concord Avenue CambridgeMA02138 United States

ISBN: (纸本)0897915879

Ada 83 is an abstraction-oriented programming language. It supports the definition of abstract data types in modules called "packages," with a separate interface and implementation. The next revision of the language is now being prepared, and is designated Ada 9X. This revision will support full object-oriented programming. As part of designing the object-oriented features of Ada 9X, we had a choice whether to construct a conventional but essentially independent objectoriented capability in addition to the existing abstraction-oriented features of Ada 83, or to make an effort to integrate the existing abstraction support with the minimal set of additional capabilities necessary to support object-oriented programming. We have chosen the latter approach, and as part of this effort, we have tried to isolate exactly what capabilities distinguish a full object-oriented programming language from an abstraction-oriented programming language like Ada 83. Our conclusion is that the essential new capability of object-oriented programming is that a given abstraction may effectively have multiple implementations. The objects carry sufficient extra information at run-time to identify to which implementation they correspond. in Ada 9X, we call this run-time type identification the "tag" of the object, and the corresponding new language capability is called "tagged types." © 1993 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Communicating reactive processes 93

Communicating reactive processes

引用

20th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'93

作者： Berry, G. Ramesh, S. Shyamasundar, R.K. Ecole des Mines Sophia-Antipolis France

ISBN: (纸本)0897915607

We present a new programming paradigm called Communicating Reactive Processes or CRP that unifies the capabilities of asynchronous and synchronous concurrent programming languages. Asynchronous languages such as CSP, OCCAM, or ADA are well-suited for distributed algorithms;their processes are loosely coupled and communication takes time. The ESTEREL synchronous language is dedicated to reactive systems;its processes are tightly coupled and deterministic, communication being realized by instantaneous broadcasting. Complex applications such as process or robot control require to couple both forms of concurrency, which is the object of CRP. A CRP program consists of independent locally reactive ESTEREL nodes that communicate with each other by CSP rendezvous. CRP faithfully extends both ESTEREL and CSP and adds new possibilities such as precise local watchdogs on rendezvous. We present the design of CRP, its semantics, a translation into classical process calculi for program verification, an application example, and implementation issues.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Strongtalk: Typechecking smalltalk in a production environment 8

Strongtalk: Typechecking smalltalk in a production environme...

引用

8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993

作者： Bracha, Gilad Griswold, David Horizon Technologies of New York Inc. 38 W. 32nd St. New YorkNY10001 United States

ISBN: (纸本)0897915879

Strongtalk™ is a typechecker for a downwardcompatible Smalltalk dialect. It is designed for large-scale production software development, and incorporates a strong, modem structural type system. It not only separates the notions of type and class, but also deals with the more difficult issue of separating inheritance and subtyping using the notion of inherited types [CHC90, Bru93a] to preserve encapsulation. Strongtalk integrates inherited types, metaclasses, blocks and polymorphic methods into a highly usable, full-scale language. © 1993 acm.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Practical data breakpoints: design and implementation

Practical data breakpoints: Design and implementation

引用

acm sigplan '93 conference on programming language design and implementation, PLDI 1993

作者： Wahbe, Robert Lucco, Steven Graham, Susan L. Univ of California at Berkeley Berkeley CA United States

ISBN: (纸本)0897915984

A data breakpoint associates debugging actions with programmer-specified conditions on the memory state of an executing program. Data breakpoints provide a means for discovering program bugs that are tedious or impossible to isolate using control breakpoints alone. In practice, programmers rarely use data breakpoints, because they are either unimplemented or prohibitively slow in available debugging software. In this paper, we present the design and implementation of a practical data breakpoint facility. A data breakpoint facility must monitor all memory updates performed by the program being debugged. We implemented and evaluated two complementary techniques for reducing the overhead of monitoring memory updates. First, we checked write instructions by inserting checking code directly into the program being debugged. The checks use a segmented bitmap data structure that minimizes address lookup complexity. Second, we developed data flow algorithms that eliminate checks on some classes of write instructions but may increase the complexity of the remaining checks. We evaluated these techniques on the SPARC using the SPEC benchmarks. Checking each write instruction using a segmented bitmap achieved an average overhead of 42%. This overhead is independent of the number of breakpoints in use. Data flow analysis eliminated an average of 79% of the dynamic write checks. For scientific programs such the NAS kernels, analysis reduced write checks by a factor of ten or more. On the SPARC these optimizations reduced the average overhead to 25%.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

Experiences developing and using an object-oriented library for program manipulation 93

Experiences developing and using an object-oriented library ...

引用

8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993

作者： Bingham, Tim Hobbs, Nancy Husson, Dave Software Development Technologies Digital Equipment Corporation 110 Spitbrook Road M/S ZK02-3/K6 NashuaNH03060-2698 United States

ISBN: (纸本)0897915879

Using an Object-Oriented (OO) model, we developed an architecture for an extensible and portable class library designed to build applications mat manipulate programs. This library enables applications to manipulate static program attributes and to control and interrogate dynamic program attributes. in this paper, we describe our experiences using (X) techniques to build the class library from the architecture and our experiences using, extending, and porting the library to build the first real client application: a symbolic, source-level C++ debugger. Our experiences have been both positive and negative, but overall we found that our approach allowed us to meet our design objectives. © 1993 acm.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Ada - The project the DoD high order language working group 2

Ada - The project the DoD high order language working group

引用

2nd acm sigplan conference on History of programming languages, HOPL 1993

作者： Whhaker, William A. Colonel USAF PO Box 3036 McLeanVA22103 United States

ISBN: (纸本)0897915704

The Department of Defense PoD) High Order language *** program begin in 1975 with the goal of establishing a single high order computer programming language appropriate for DoD real-time embedded computer systems. A High Order language Working Group (HOLWG) was chartered D formulate the DoD requirements for High Order languages, to evaluate existing languages against thoie reqjirements, and to implement the rrinimaJ set of languages required for DoD use. Other pans of the effort included administrative initiatives toward the eventual gca.. Specifically, DoD Directive 5000.29 which provided that new defense systems should be programmed in a DoD "approved" and centrally controlled high order language and DoD Instructicn 5000.31 which gave the interim defining list of approved ianguajes. The HCLWG language requirements were widely distributed for comment throughout the military and civil communities worldwide. Each successive version of the requirements, from STRAWMAN through STEELMAN, produced a more refined definition of the proposed language. During the requirement development process, it was determined Thai the set cf requirements generated was bcxh necessary and sufficient for all major DoD applications (and the analogous large commercial applications). Formal evauations were performed on dozens of existing languages. It was concludcd that no existing language could be adopted as a single common high order language for the DoD, but lhat a single language meeting essentially all the requirements was both feasible and desirable. Four contractors were funded to producc competitive prototypes. A first-phase evaluation reduced the designs to two. which were earned to complrtion. In turn, a single language design was subsequently chosen. Follcw-on steps included the test and evaluation of the language, control of the language ind validation cf compilers. The production of compilers aid a program development and tool environment were to be accomplishsd separately

关键词： Ada (programming language)

来源：评论

学校读者我要写书评

暂无评论

Safe type checking in a statically-typed object-oriented programming language 93

Safe type checking in a statically-typed object-oriented pro...

引用

20th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'93

作者： Bruce, Kim B. Williams Coll Williamstown MA United States

ISBN: (纸本)0897915607

In this paper we introduce a statically-typed, functional, object-oriented programming language, TOOPL, which supports classes, objects, methods, instance variables, subtypes, and inheritance. It has proved to be surprisingly difficult to design statically-type object-oriented languages which are nearly as expressive as Smalltalk and yet have no holes in their typing systems. A particular problem with statically type checking object-oriented languages is determining whether a method provided in a superclass will continue to type check when inherited in a subclass. This problem is solved in our language by providing type checking rules which guarantee that a method which type checks as part of a class will type check correctly in all legal subclasses in which it is inherited. This feature enables library providers to provide only the interfaces of classes with executables and still allow users to safely create subclasses. The design of TOOPL has been guided by an analysis of the semantics of the language, which is given in terms of a sufficiently rich model of the F-bounded second-order lambda calculus. This semantics supported the language design by provided a means of proving that the type-checking rules for the language are sound, ensuring that well-typed terms produce objects of the appropriate type. In particular, in a well-typed program it is impossible to send a message to an object which lacks a corresponding method.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

SKILL: A Lisp based extension language

SKILL: A Lisp based extension language

引用

3rd International conference on Lisp Users and Vendors, LUV 1993

作者： Petrus, Edwin S. Cadence Design Systems Inc. 555 River Oaks Parkway San Jose CA 95134 United States

This paper describes an experience with Lisp as an extension language for a large electronics CAD environment and the role it plays in software design automation. This paper is not about extension languages in general, for an analysis of extension languages in CAD, see, [HNS90] and [Bar89]. Cadence is a full range supplier of software based Electronics CAD tools. SKILL has been leveraged for various uses throughout the product range and the software development cycles. Among the important roles SKILL plays: • An environment for software development • A meta-language for describing domain specific languages • Extension language for Product customizing • Test automation. The paper goes on to describe each of these roles, and more, after a brief introduction to the history of SKILL.

关键词： Computer aided design

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共123页 << < 92 93 94 95 96 97 98 99 100 101 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：