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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,269 篇 会议
293 篇 期刊文献
2 册 图书

馆藏范围

2,564 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,269 篇 工学
- 2,138 篇 软件工程
- 1,691 篇 计算机科学与技术...
- 84 篇 控制科学与工程
- 57 篇 信息与通信工程
- 55 篇 电气工程
- 22 篇 电子科学与技术（可...
- 17 篇 机械工程
- 13 篇 材料科学与工程（可...
- 13 篇 建筑学
- 13 篇 土木工程
- 13 篇 生物工程
- 10 篇 光学工程
- 9 篇 安全科学与工程
- 8 篇 化学工程与技术
- 5 篇 动力工程及工程热...
- 5 篇 生物医学工程（可授...
- 4 篇 力学（可授工学、理...
280 篇 理学
- 218 篇 数学
- 32 篇 系统科学
- 18 篇 统计学（可授理学、...
- 16 篇 物理学
- 16 篇 生物学
- 8 篇 化学
- 6 篇 地质学
209 篇 管理学
- 112 篇 图书情报与档案管...
- 109 篇 管理科学与工程(可...
- 50 篇 工商管理
22 篇 教育学
- 22 篇 教育学
17 篇 法学
- 15 篇 社会学
11 篇 经济学
- 11 篇 应用经济学
2 篇 农学
2 篇 艺术学
1 篇 军事学

主题

390 篇 design
369 篇 languages
186 篇 computer program...
182 篇 performance
162 篇 object oriented ...
89 篇 algorithms
88 篇 java programming...
81 篇 experimentation
78 篇 functional progr...
71 篇 theory
69 篇 computer program...
65 篇 java
63 篇 verification
61 篇 reliability
48 篇 semantics
47 篇 software design
45 篇 domain-specific ...
38 篇 parallel program...
37 篇 concurrency
35 篇 measurement

机构

24 篇 carnegie mellon ...
22 篇 univ washington ...
18 篇 univ penn philad...
17 篇 princeton univ p...
17 篇 stanford univ st...
16 篇 univ texas austi...
15 篇 harvard univ cam...
14 篇 purdue univ w la...
13 篇 microsoft res re...
13 篇 microsoft resear...
13 篇 rice univ housto...
12 篇 univ wisconsin m...
12 篇 mit cambridge ma...
12 篇 cornell univ ith...
12 篇 microsoft res ca...
11 篇 univ michigan an...
11 篇 swiss fed inst t...
11 篇 univ calif berke...
10 篇 microsoft res re...
10 篇 yale univ new ha...

作者

19 篇 hirschfeld rober...
16 篇 walker david
15 篇 visser eelco
15 篇 felleisen matthi...
14 篇 findler robert b...
13 篇 grossman dan
13 篇 bacon david f.
12 篇 chlipala adam
11 篇 flatt matthew
11 篇 sarkar vivek
11 篇 myers andrew c.
11 篇 mezini mira
11 篇 morrisett greg
10 篇 mckinley kathryn...
10 篇 bockisch christo...
10 篇 adl-tabatabai al...
10 篇 de moor oege
10 篇 dillig isil
9 篇 lumsdaine a
9 篇 van der storm ti...

语言

2,347 篇 英文
212 篇 其他
4 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"

共 2564 条记录，以下是2381-2390 订阅

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

详细简洁

排序：

INTERACTIVE FLOWCHARTING TECHNIQUE FOR COMMUNICATING AND REALIZING ALGORITHMS.

INTERACTIVE FLOWCHARTING TECHNIQUE FOR COMMUNICATING AND REA...

引用

Proceedings of the Nineteenth Hawaii International conference on System Sciences 1986. Volume 3: Healthcare Management Systems, Medical Information Processing.

作者： Jonsson, Arne Patel, Mikael Linkoping Univ Linkoping Swed Linkoping Univ Linkoping Swed

This paper describes the design, specification, implementation of and experiences from an interactive flowcharting technique for communicating and realizing algorithms. Educating the expert to know how to use the computer system is important, since then he/she can easily express his/her ideas in the same 'language' as the other persons in the software development group. Our goals are: to help novices to understand computers, by giving them a framework for organizing algorithms, and to support development of software produced by groups of people over an extended period of time. Based on the notions of dimensional flowcharts a system called the DIMsystem has been developed for handling structured flowcharts.

关键词： COMPUTER programming

来源：评论

学校读者我要写书评

暂无评论

Abstract modelling: Towards a typed declarative language for the conceptual modelling phase 17

Abstract modelling: Towards a typed declarative language for...

引用

8th International Workshop on Equation-Based Object-Oriented Modeling languages and Tools, EOOLT 2017

作者： Legatiuk, Dmitrii Nilsson, Henrik DFG Research Training Group 1462 Bauhaus-Universität Weimar Weimar Germany Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom

ISBN: (纸本)9781450363730

The growing complexity of modern engineering tasks necessitates improved tool support for modelling, in particular tools allowing early detection of modelling errors. Broadly, there are two classes of modelling errors: (i) errors related to abstract modelling, e.g. conceptual errors concerning the coherence of a model as a whole, and (ii) errors related to concrete modelling, e.g. questions of approximation quality and implementation. Concrete modelling errors are relatively well understood, but abstract modelling errors less so. If, however, abstract modelling errors could be detected early, before concrete implementation starts, this would be very beneficial. Unfortunately, existing engineering tools, like current modelling languages, do not support modelling in the abstract well, leaving a gap in the engineering tool chain. To overcome this problem, this paper presents a first step towards a language supporting abstract modelling in mathematical physics with the aim of ensuring coherence of coupled multiphysics models early in the design process. To that end, following the approach of Functional Hybrid Modelling, we discuss how a language supporting quite general modelling equations can be realised as an embedding in Haskell. The appeal of the approach is that only few core concepts are needed, simplifying the semantics, and that much of the language infrastructure comes for free thanks to embedding. © 2017 Copyright held by the owner/author(s).

关键词： Errors

来源：评论

学校读者我要写书评

暂无评论

SKILL: a CAD system extension language

SKILL: a CAD system extension language

引用

design Automation conference

作者： T.J. Barnes Cadence Design Systems Inc. San Jose CA USA

SKILL is a programming language that supports both command entry and procedural customization in the Opus design framework. The author examines the requirements that motivate the provision of a programming language available to the user and describes some of the technical characteristics of the language design and implementation. Experience with the language is described and a number of programming examples are presented.< >

关键词： Computer languages design automation Command languages Electronic design automation and methodology Modems Rivers design methodology Prototypes Databases Automatic control

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the International conference on APL, APL 1987

Proceedings of the International Conference on APL, APL 1987

引用

1987 International conference on APL, APL 1987

ISBN: (纸本)0897912268

The proceedings contain 65 papers. The topics discussed include: a three dimensional wire frame graphics system;on APL software for credibility theory;an object oriented extension to APL;system development methodology using LOGOS;control system development tools;techniques for extracting statistical data prom free-form text using APL;implementation of an APL-based spreadsheet manager;server networks communicating via inter-user shared variables;component file systems and the APL standard;APL2 implementations of unificatlon;managing APL public code for an in-house APL system (before and afterLOGOS);replicate each, anyone?;a full-screen front end for GRAPHPAK;FSM - a fullscreen manager;APL-to-ADA translator;screen management in the 'real world';why APL2: a discussion of design principles;an integrated microprogram development methodology based on APL;using the LOGOS programming environment a case history;solutions to logic problems in APL2;a second generation domino for statisticians;infinite loops and how to create them;a proposal for blocks and exits in APL;how graphics could be simplified in APL;recapturing the high ground use of APL in decision tree modelling;and investigation into the efficiency of using APL for the programming of an inference machine.

关键词：

来源：评论

学校读者我要写书评

暂无评论

implementation of the CORAL deductive database system

Implementation of the CORAL deductive database system

引用

Proceedings of the 1993 acm SIGMOD International conference on Management of Data

作者： Ramakrishnan, Raghu Sudarshan, S. Srivastava, Divesh Seshadri, Praveen Univ of Wisconsin Madison United States

ISBN: (纸本)0897915925

CORAL is a deductive database system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming. The data can be persistent on disk or can reside in main-memory. We describe the architecture and implementation of CORAL. There were two important goals in the design of the CORAL architecture: (1) to integrate the different evaluation strategies in a reasonable fashion, and (2) to allow users to influence the optimization techniques used so as to exploit the full power of the CORAL implementation. A CORAL declarative program can be organized as a collection of interacting modules and this modular structure is the key to satisfying both these goals. The high level module interface allows modules with different evaluation techniques to interact in a transparent fashion. Further, users can optionally tailor the execution of a program by selecting from among a wide range of control choices at the level of each module. CORAL also has an interface with C++, and users can program in a combination of declarative CORAL, and C++ extended with CORAL primitives. A high degree of extensibility is provided by allowing C++ programmers to use the class structure of C++ to enhance the CORAL implementation.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Mirrors: design principles for meta-level facilities of object-oriented programming languages 04

Mirrors: design principles for meta-level facilities of obje...

引用

Proceedings of the 19th annual acm sigplan conference on Object-oriented programming, systems, languages, and applications

作者： Gilad Bracha David Ungar Sun Microsystems Santa Clara CA Sun Microsystems Mountain View CA

We identify three design principles for reflection and metaprogramming facilities in object oriented programming languages. Encapsulation: meta-level facilities must encapsulate their implementation. Stratification: m... 详细信息

ISBN: (纸本)9781581138313

We identify three design principles for reflection and metaprogramming facilities in object oriented programming languages. Encapsulation: meta-level facilities must encapsulate their implementation. Stratification: meta-level facilities must be separated from base-level functionality. Ontological correspondence: the ontology of meta-level facilities should correspond to the ontology of the language they manipulate. Traditional/mainstream reflective architectures do not follow these precepts. In contrast, reflective APIs built around the concept of mirrors are characterized by adherence to these three principles. Consequently, mirror-based architectures have significant advantages with respect to distribution, deployment and general purpose metaprogramming.

关键词： smalltalk mirrors java metaprogramming reflection self

来源：评论

学校读者我要写书评

暂无评论

Fast RMWs for TSO: Semantics and implementation 13

Fast RMWs for TSO: Semantics and Implementation

引用

acm sigplan conference on programming language design and implementation

作者： Bharghava Rajaram Vijay Nagarajan Susmit Sarkar Marco Elver University of Edinburgh University of St Andrews

ISBN: (纸本)9781450320146

Read-Modify-Write (RMW) instructions are widely used as the building blocks of a variety of higher level synchronization constructs, including locks, barriers, and lock-free data structures. Unfortunately, they are expensive in architectures such as x86 and SPARC which enforce (variants of) Total-Store-Order (TSO). A key reason is that RMWs in these architectures are ordered like a memory barrier, incurring the cost of a write-buffer drain in the critical path. Such strong ordering semantics are dictated by the requirements of the strict atomicity definition (type-1) that existing TSO RMWs use. Programmers often do not need such strong semantics. Besides, weakening the atomicity definition of TSO RMWs, would also weaken their ordering - thereby leading to more efficient hardware implementations. In this paper we argue for TSO RMWs to use weaker atomicity definitions - we consider two weaker definitions: type-2 and type-3, with different relaxed ordering differences. We formally specify how such weaker RMWs would be ordered, and show that type-2 RMWs, in particular, can seamlessly replace existing type-1 RMWs in common synchronization idioms - except in situations where a type-1 RMW is used as a memory barrier. Recent work has shown that the new C/C++11 concurrency model can be realized by generating conventional (type-1) RMWs for C/C++11 SC-atomic-writes and/or SC-atomic-reads. We formally prove that this is equally valid using the proposed type-2 RMWs; type-3 RMWs, on the other hand, could be used for SC-atomic-reads (and optionally SC-atomic-writes). We further propose efficient microarchitectural implementations for type-2 (type-3) RMWs - simulation results show that our implementation reduces the cost of an RMW by up to 58.9% (64.3%), which translates into an overall performance improvement of up to 9.0% (9.2%) on a set of parallel programs, including those from the SPLASH-2, PARSEC, and STAMP benchmarks.

关键词： Read-Modify-Write (RMW) Total-Store-Order (TSO) Atomics design Performance Experimentation

来源：评论

学校读者我要写书评

暂无评论

Methodology for hardware/software co-verification in C/C++ 00

Methodology for hardware/software co-verification in C/C++

引用

2000 Asia and South Pacific design Automation conference, ASP-DAC 2000

作者： Séméria, Luc Ghosh, Abhijit Computer System Lab. Stanford University United States Synopsys Inc. Mountain View CA United States

ISBN: (纸本)0780359747

In this paper we present our C/C++-based design environment for hardware/software co-verification. Our approach is to use C/C++ to describe both hardware and software throughout the design flow. Our methodology supports the efficient mapping of C/C++ functional descriptions directly into hardware and software. The advantages of a C/C++-based flow from the verification point of view are presented. The use of C/C++ to model all parts of the system provides great flexibility and enables faster simulation compared to existing methodologies. We show how co-verification can be done efficiently and effectively at the various levels of abstraction, how coverification can be used to drive co-design through performance estimation and give an example of implementation for the 8051 architecture. © 2000 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Towards an engineering approach to software design 2

Towards an engineering approach to software design

引用

2nd International conference on Software Engineering, ICSE 1976

作者： White, John R. Booth, Taylor L. Department of Electrical Engineering and Computer Science University of Connecticut StorrsCT United States

The software design process is discussed from an engineering point of view. Initially, a distinction is made between software design and program design. Software design is then described in terms of evolving a system architecture independently of implementation considerations. Computation structures are introduced as a means of modeling the dynamic behavior of a software architecture. Functional completeness, quality, machine independence, and performance completeness of a design are then used as criteria for engineering design decisions. Finally, the basic elements of a system to support the software design process are described. © 1976 IEEE Computer Society. All rights reserved.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Crosscutting techniques in program specification and analysis 05

Crosscutting techniques in program specification and analysi...

引用

AOSD 2005: 4th International conference on Aspect-Oriented Software Development

作者： Lam, Patrick Kupcak, Viktor Rinard, Martin Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge MA 02139 United States

ISBN: (纸本)1595930434

We present three aspect-oriented constructs (formats, scopes, and defaults) that, in combination with a specification language based on abstract sets of objects, enable the modular application of multiple arbitrarily precise (and therefore arbitrarily unscalable) analyses to scalably verify data structure consistency properties in sizable programs. Formats use a form of field introduction to group together the declarations of all of the fields that together comprise a given data structure. Scopes and defaults enable the developer to state certain data structure consistency properties once in a single specification construct that cuts across the preconditions and postconditions of the procedures in the system. Standard approaches, in contrast, scatter and duplicate such properties across the preconditions and postconditions. We have implemented a prototype implementation, specification, analysis, and verification system based on these constructs and used this system to successfully verify a range of data structure consistency properties in several programs. Most previous research in the field of aspect-oriented programming has focused on the use of aspect-oriented concepts in design and implementation. Our experience indicates that aspect-oriented concepts can also be extremely useful for specification, analysis, and verification. Copyright 2005 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共257页 << < 235 236 237 238 239 240 241 242 243 244 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：