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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是1161-1170 订阅

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

详细简洁

排序：

The implementation of an integrated concurrency control and recovery scheme 82

The implementation of an integrated concurrency control and ...

引用

1982 acm SIGMOD International conference on Management of Data, SIGMOD 1982

作者： Chan, Arvola Fox, Stephen Lin, Wen-Te K. Nori, Anil Ries, Daniel R. Computer Corporation of America 575 Technology Square CambridgeMA02139 United States

ISBN: (纸本)0897910737

This paper describes the implementation level design of an integrated concurrency control and recovery scheme based on the maintenance of multiple versions of data objects in a database. The concurrency control mechanism enhances parallelism by eliminating interference between retrieval and update transactions. The recovery mechanism permits efficient transaction and system recovery by keeping before-images of data objects at the page (block) level. This paper addresses the key technical problems in the implementation of such an integrated scheme. We present an efficient garbage collection algorithm for reclaiming storage space used by old versions of data objects that will no longer be accessed. We also propose an on-line backup algorithm that will permit the backup procedure to run in parallel with regular transactions. This integrated concurrency control and recovery scheme is being implemented in the LDM: the local database manager component of a distributed database management system, now being developed by Computer Corporation of America, that will support the ADAPLEX database application programming language [Chan81a, Smith81]. © 1982 acm.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

design AND implementation IN ADA OF A RUNTIME TASK SUPERVISOR. 82

DESIGN AND IMPLEMENTATION IN ADA OF A RUNTIME TASK SUPERVISO...

引用

proceedings of the AdaTEC conference on Ada.

作者： Falis, Edward Stanford University

ISBN: (纸本)0897910877

A runtime supervisor is an Ada package in the standard environment which provides a scheduling interface between a compiled tasking program and the virtual machine upon which it is to execute. Its visible operations implement the more complex aspects of the tasking dynamic semantics. These operations are very high level in the sense that they conform closely to Ada tasking constructs. Internal to the supervisor is a small kernel of machine dependent code providing the actual interface to the target virtual *** this kind of runtime environment, the compiled code of a tasking program is equivalent to the code generated by a compilation of sequential Ada constructs with embedded calls to the supervisor visible operations. All parallelism is abstracted out of the program prior to the code generation phase of the compilation, and the implementation of the parallel constructs of the Ada language is shifted into the runtime supervisor package. While the form of the sequential Ada code implementing tasking constructs will depend on design decisions made by the implementors of specific compilers as in [3] and [5], a carefully designed supervisor will be compatible with the code generated by any Ada compiler calling that supervisor's visible operations in the specified *** benefits of this approach, which was originally adopted for the design of the experimental Adam compiler [4], are apparent. Target machine dependent aspects of scheduling, and details of scheduling strategies are separated from compilation. The code generation phase of the Ada compiler is greatly simplified by factoring out all tasking related routines. Compiler builders need not reimplement all of tasking for each new compiler or intended target machine. In addition, experimental and special purpose supervisors will gain wider distribution and evaluation due the portability inherent in this *** this paper we analyze the feasibility of implementing a runtime supervisor in Ada, point

关键词： Computer systems programming

来源：评论

学校读者我要写书评

暂无评论

BIGMAC II: A FORTRAN language augmentation tool 4

BIGMAC II: A FORTRAN language augmentation tool

引用

4th International Workshop on Real-Time Ada Issues, IRTAW 1990

作者： Myers, Eugene W. Osterweil, Leon J. Department of Computer Science University of Colorado BoulderCO80309 United States

ISBN: (纸本)0897911466

This paper describes the motivation, design, implementation, and some preliminary performance characteristics of BIGMAC II, a macro definition capability for creating language enhancers and translators. BIGMAC II enables the user to specify transformations through STREX, a FORTRAN-like language, which enables the specification of macros which are then used to interpretively alter incoming programs. BIGMAC II is specially adapted to the processing of FORTRAN programs. This paper shows how it can be used as a deprocedurizer (or flattener), a dialect-to-dialect translator, a portability and version control aid, and a device for creating language enhancements as sophisticated as new control structures and abstract data types. © 1981 IEEE Computer Society. All rights reserved.

关键词： FORTRAN (programming language)

来源：评论

学校读者我要写书评

暂无评论

An algorithm to support code-skeleton generation for concurrent systems 4

An algorithm to support code-skeleton generation for concurr...

引用

4th International Workshop on Real-Time Ada Issues, IRTAW 1990

作者： Penedo, Maria Heloisa Berry, Daniel M. Estrin, Gerald Computer Science Department University of California Los Angeles United States

ISBN: (纸本)0897911466

Computers are increasingly being used in engineering systems which could utilize a multiplicity of processors. Computer aided design methods are needed to support the design of inherently complex concurrent software. UCLA's SARA (System ARchitects Apprentice) is a design environment which provides computer aid to both hardware and software design of concurrent systems. This paper focusses on an improved capability to aid software design. This capability is provided by defining a Module Interface Description (MID), which allows designers to deal with the structure of code, and effecting a mapping between SARA models and MID-models. It then becomes clear how to create a tool to accept these descriptions and perform various checks on the consistency and completeness of the modeling and implementation descriptions. The addition of this capability reduces the gap between the modeling and realization of systems by providing for automatic generation of code skeletons. © 1981 IEEE Computer Society. All rights reserved.

关键词： Computer aided design

来源：评论

学校读者我要写书评

暂无评论

The design of a virtual machine for Ada 80

The design of a virtual machine for Ada

引用

1980 acm-sigplan Symposium on Ada programming language, sigplan 1980

作者： Groves, L.J. Rogers, W.J. University of Waikato Hamilton New Zealand

ISBN: (纸本)0897910303

An implementation of Ada should be based on a machine-independent translater generating code for a Virtual Machine, which can be realised on a variety of machines. This approach, which leads to a high degree of compiler portability, has been very successful in a number of recent language implementation projects and is the approach which has been specified by the U.S. Army and Air Force in their requirements for Ada implementations. This paper discusses the rationale, requirements and design of such a Virtual Machine for Ada. The discussion concentrates on a number of fundamental areas in which problems arise: basic Virtual Machine structure, including Storage structure and addressing;data Storage and manipulation;flow of control;subprograms, blocks and exceptions;and task handling. © proceedings of the 1980 acm conference on LISP and Functional programming, LFP 1980. All rights reserved.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

A multi-processing implementation-oriented formal definition of Ada in SEMANOL 80

A multi-processing implementation-oriented formal definition...

引用

1980 acm-sigplan Symposium on Ada programming language, sigplan 1980

作者： Belz, F.C. Blum, E.K. Heimbigner, H. TRW Space Defense Systems Group United States University of Southern California TRW Defense and Space Systems Group United States

ISBN: (纸本)0897910303

A formal definition of the syntax and semantics of Preliminary Ada has been designed and partially implemented as a metaprogram in the SEMANOL system. The paper describes the design in detail and also presents excerpts of the actual SEMANOL metaprogram. Special attention is paid to the following aspects, lacking in the formal devotional definition of Ada: (1) formal definition of the connection between the concrete and abstract syntax of Ada, a necessary element of a formal definition if it is to be executable;(2) formal definition of the semantics of concurrency in Ada tasking;(3) formal definition of the semantics of exceptions and Interrupts. The complete SEMANOL metaprogram will be an executable formal definition. In effect, it defines a multi-processing operating system which accepts an Ada program, as a set of computation Units, together with data, and causes the program to be executed in a concurrent mode in accordance with the semantics of tasks prescribed in the Ada reference manual and rationale. © proceedings of the 1980 acm conference on LISP and Functional programming, LFP 1980. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Hope: An experimental applicative language 80

Hope: An experimental applicative language

引用

1980 acm conference on LISP and Functional programming, LFP 1980

作者： Burstall, R.M. MacQueen, D.B. Sannella, D.T. Department of Computer Science University of Edinburgh Edinburgh United Kingdom USC Information Sciences Institute Marina del ReyCA United States

ISBN: (纸本)9781450373968

An applicative language called HOPE is described and discussed. The underlying goal of the design and implementation effort was to produce a very simple programming language which encourages the construction of clear and manipulable programs. HOPE does not include an assignment statement;this is felt to be an important simplification. The user may freely define his own data types, without the need to devise a complicated encoding in terms of low-level types. The language is very strongly typed, and as implemented it incorporates a typechecker which handles polymorphic types and overloaded operators. Functions are defined by a set of recursion equations;the left-hand side of each equation includes a pattern used to determine which equation to use for a given argument. The availability of arbitrary higher-order types allows functions to be defined which 'package' recursion. Lazily-evaluated lists are provided, allowing the use of infinite lists which could be used to provide interactive input/output and concurrency. HOPE also includes a simple modularisation facility which may be used to protect the implementation of an abstract data type. © proceedings of the 1980 acm conference on LISP and Functional programming, LFP 1980. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DIAL: A programming language for data intensive applications 80

DIAL: A programming language for data intensive applications

引用

1980 acm SIGMOD International conference on Management of Data, SIGMOD 1980

作者： Hammer, Michael Berkowitz, Brian Massachusetts Institute of Technology CambridgeMA02139 United States

ISBN: (纸本)0897910184

DIAL is a problem-oriented and high-level programming language oriented towards database applications. It integrates into a unified framework database primitives and computational facilities, so that an application programmer will deal with a single coherent language. The design of DIAL is based on the premise that in order to have a meaningful impact on the construction of application software, a database programming language should eschew generality and focus on what is unique about the application domain in question. To that end, DIAL seeks to embody features that naturally express the most common and frequently recurring patterns encountered in database applications programs. A number of its features distinguish DIAL from other contemporary related efforts. Data description plays a primary role in DIAL, in that a substantial amount of application semantics is expressed in the database schema rather than in procedure definitions;to achieve this end, DIAL employs a higher-level data model (the SDM) as its data description mechanism. Facilities for conducting user-system dialogues are also embedded in the language. Specialized control structures are provided to allow for succinct and direct expression of the algorithmic structure of procedures that utilize the database. High-level mechanisms (called controllers) are used to specify an application system's required behavior in the face of multiple concurrent users and aborted transactions. DIAL has been applied to two realistic and substantial systems, a purchasing application and a job-shop scheduler. Continued validation studies of the language are underway, as are an implementation effort and the design of an allied program development system. © 1980 acm.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 1979 Annual conference, acm 1979

Proceedings of the 1979 Annual Conference, ACM 1979

引用

1979 acm Annual conference, acm 1979

ISBN: (纸本)0897910087

The proceedings contain 41 papers. The topics discussed include: applications of the theory of random graphs to average algorithm performance analysis;programming in natural language: 'NLC' as a prototype;the future of natural language processing;computer education technology;automatic deduction and equality;an extension to algebraiq specifications to incorporate state behavior;organizing and accessing files for magnetic bubble memory and charge coupled devices;first progranmming language: consequences;modeling the binding policies of programming languages;logical structure specification and data type definition;case studies on the implementation and use of database management systems: installing the first database application;computer auditing and control;documentation - a bridge from the 70's to the 80's;an overview of FORTRAN standardization activities;loop constructs - a design for FORTRAN;array processing extensions to FORTRAN;computers help solve problems in multinational corporations;a 'core + modules' approach to FORTRAN standardization;EP-2, a prototype exemplary programming system;70's programming style for a developing country;and effective management of simulation and modeling projects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The augment precompiler as a tool for the development of special purpose arithmetic packages

The augment precompiler as a tool for the development of spe...

引用

1978 SIGNUM conference on the programming Environment for Development of Numerical Software

作者： Crary, F.D. Yohe, J.M. Boeing Company SeattleWA98124 United States Mathematics Research Center University of Wisconsin-Madison MadisonWI53706 United States

We discuss the use of a FORTRAN preeompiler in the development of packages for nonstandard arithmetics. In particular, the use Of the FORTRAN prceompiler, AUGMENT, renders the source code more lucid, reduces the number Of lines of code in a nonstandard arithmetic package, facilitates modification, and ameliorates the problems of transporting such a package to another host system. © 1979 proceedings of the SIGNUM conference on the programming Environment for Development of Numerical Software. All rights reserved.

关键词： FORTRAN (programming language)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共121页 << < 112 113 114 115 116 117 118 119 120 121 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：