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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

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

Proceedings of the ACM SIGPLAN '92 Conference on Programming...

引用

acm sigplan '92 conference on programming language design and implementation, PLDI 1992

This conference contains 30 papers all of which are abstracted and indexed individually. The topics covered are: program debugging techniques;debugging optimized codes;concurrent compilers;abstract machine;false data ... 详细信息

ISBN: (纸本)0897914759

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of a distributed object-oriented knowledge-based system for hierarchical simulation modeling 4

The design and implementation of a distributed object-orient...

引用

4th Annual conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 1993

作者： Huang, Y.-M. Duan, Y.-S. Institute of Engineering Science National Cheng Kung University Tainan Taiwan

ISBN: (纸本)0818640200

A distributed knowledge-based system (DKBS) that supports the construction of simulation models is described. DKBS is designed based on the object-oriented paradigm and implemented in C++ language on the Sun network. The system is capable of constructing a distributed simulation model represented by the System Entity Structure (SES). There are two kinds of objects in the system, the real knowledge object and the proxy knowledge object. Real knowledge objects represent the domain knowledge in the real world. Proxy objects are delegations of the remote knowledge objects and provide operations to the corresponding knowledge objects via remote procedure call (RPC). With this method, this distributed knowledge-based system provides a transparent objects invocation. Therefore, many knowledge objects may exist in different knowledge-based systems on different nodes at the same time. © 1993 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

designing Dexter-based cooperative hypermedia systems 93

Designing Dexter-based cooperative hypermedia systems

引用

proceedings of the 5th acm conference on Hypertext

作者： Gronbaek, Kaj Hem, Jens A. Madsen, Ole L. Sloth, Lennert Aarhus Univ Aarhus Denmark

ISBN: (纸本)0897916247

This paper discusses issues for the design of a Dexter-based cooperative hypermedia architecture and a specific system, DeVise Hypermedia (DHM), developed from this architecture. The Dexter Hypertext Reference Model (Hala90) was used as basis for designing the architecture. The Dexter model provides a general and solid foundation for designing a general hypermedia architecture. It introduces central concepts and proposes a layering of the architecture. However, to handle cooperative work aspects, such as sharing material and cooperative authoring, we have to go beyond the Dexter model concepts. To deal with such aspects we have extended our implementation of the Dexter concepts with support for long-term transactions, locking and event notification as called for by Halasz. The result is a platform independent architecture for developing cooperative hypermedia systems. The architecture consists of a portable kernel that constitutes and object oriented framework for developing Dexter compliant hypermedia systems. It is client/server architecture including an object oriented database (OODB) to store the objects implementing the Dexter Storage Layer. We use a general OODB being co-developed to support long term transactions, flexible locking, and event notification. The transaction and locking mechanism support several modes of cooperation on shared hypermedia materials, and the notification mechanism supports the users in maintaining awareness of each others' activity. The portable kernel was used to implement the DHM system on two quite different platforms: UNIX/X-windows and Apple Macintosh.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Practical data breakpoints: design and implementation 93

Practical data breakpoints: design and implementation

引用

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

作者： Robert Wahbe Steven Lucco Susan L. Graham

ISBN: (纸本)9780897915984

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 *** 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%.

关键词：

来源：评论

学校读者我要写书评

暂无评论

1st International Symposium on Object Technologies for Advanced Software, ISOTAS 1993

1st International Symposium on Object Technologies for Advan...

引用

1st International Symposium on Object Technologies for Advanced Software, ISOTAS 1993

ISBN: (纸本)9783540573425

The proceedings contain 31 papers. The special focus in this conference is on Object Technologies for Advanced Software. The topics include: Uniting functional and object-oriented programming;a support for software component cooperation;an object orientation kernel;change management and consistency maintenance in software development environments using object oriented attribute grammars;design of an integrated and extensible C++ programming environment;definition of a reflective kernel for a prototype-based language;kernel structuring for object-oriented operating systems;maintaining behavioral consistency during schema evolution;an object-centered approach for manipulating hierarchically complex objects;towards the unification of views and versions for object databases;abstract view objects for multiple OODB integration;an object-oriented query model supporting views;refactoring and aggregation;transverse activities: abstractions in object-oriented programming;dynamic extensibility in a statically-compiled object-oriented language;managing change in persistent object systems;an object-oriented pattern matching language;a class-based logic language for object-oriented databases;name management and object technology for advanced software;constraints in object-oriented analysis;minimizing dependency on class structures with adaptive programs;first class messages as first class continuations;a typing system for a calculus of objects;a type mechanism based on restricted CCS for distributed active objects;adding implicit invocation to languages;requirements and early experiences in the implementation of the SPADE repository using object-oriented technology;object-oriented formal specification development using VDM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Dynamic data distributions in Vienna Fortran

Dynamic data distributions in Vienna Fortran

引用

Supercomputing conference

作者： B. Chapman P. Mehrotra H. Moritsch H. Zima Institute of Software Technology and Parallel Systems University of Technology Vienna Vienna Austria NASA Langley Research Center LCASE Hampton VA USA

Vienna Fortran is a machine-independent language extension of Fortran which is based on the single-program-multiple-data (SPMD) paradigm and allows the user to write programs for distributed-memory systems using global addresses. The language features focus mainly on the issue of distributing data across virtual processor structures. The authors discuss those features of Vienna Fortran that allow the data distributions of arrays to change dynamically, depending on runtime conditions. They discuss the relevant language features, outline their implementation, and describe how they may be used in applications.

关键词： NASA Runtime Electronic mail Distributed computing Space technology Application software High level languages programming profession Contracts Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Fortran 90D/HPF compiler for distributed memory MIMD computers: design, implementation, and performance results

Fortran 90D/HPF compiler for distributed memory MIMD compute...

引用

Supercomputing conference

作者： Z. Bozkus A. Choudhary G. Fox T. Haupt S. Ranka Northeast Parallel Architectures Center ECE Department Syracuse University USA Northeast Parallel Architectures Center CIS Department Syracuse University USA

Fortran 90D/HPF is a data parallel language with special directives to enable users to specify data alignment and distributions. The authors describe the design and implementation of a Fortran 90D/HPF compiler. Techniques for data and computation partitioning, communication detection and generation, and the run-time support for the compiler are discussed. Initial performance results for the compiler are presented. It is believed that the methodology to process data distribution, computation partitioning, communication system design and the overall compiler design can be used by the implementors of HPF compilers.

关键词： Distributed computing Parallel processing Parallel languages Program processors Concurrent computing Parallel architectures Runtime Libraries Contracts Government

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of a distributed graphics language

The design and implementation of a distributed graphics lang...

引用

IEEE Region 10 International conference TENCON

作者： Zhigeng Pan Jiaoying Shi Zhejiang University Hangzhou Zhejiang CN State Key Lab. of CAD & CG Zhejiang Univ. Hangzhou China

ISBN: (纸本)0780312333

We present a distributed graphics programming language called DGLa, which facilitates the development of distributed graphics application. DGLa is an upward compatible extension of programming language C. Facilities for distributed programming and graphics support are included in it. It supports synchronous and asynchronous communication and provides the programmer with multiple control mechanism for process communication. The graphics support of DGLa is powerful, both sequential graphics library and parallel graphics library are provided. The design consideration and implementation experience are discussed in detail. Application examples are also given.< >

关键词： Computer networks Computer graphics Workstations Distributed computing Libraries Parallel processing Concurrent computing Computer languages Communication system control Visualization

来源：评论

学校读者我要写书评

暂无评论

VASE: The visualization and application steering environment

VASE: The visualization and application steering environment

引用

Supercomputing conference

作者： D.J. Jablonowski J.D. Bruner B. Bliss R.B. Haber CSRL University of Illinois Urbana IL USA Convex Computer Corporation Richardson TX USA Laboratory University of Illinois Urbana IL USA

The visualization and application steering environment (VASE) provides interactive visual computing and steering for scientific and engineering programs. VASE defines an abstraction for a steerable program structure and provides tools that create and manage collections of these steerable codes. It is designed to work with existing codes written in Fortran. Based on simple annotations in the source code, VASE tools construct a high-level model of each application and enable the user to work with this model rather than at the detailed source-code level. Collections of steerable codes execute in a distributed environment. This paper describes the design objectives for VASE, its architecture, and its implementation, and illustrates its use with an example application.

关键词： Data visualization design optimization Application software Data engineering programming profession Computer displays Runtime Space exploration Constraint optimization design engineering

来源：评论

学校读者我要写书评

暂无评论

Issues in scalable library design for massively parallel computers

Issues in scalable library design for massively parallel com...

引用

Supercomputing conference

作者： L.M. Ni H. Xu E.T. Kalns Department of Computer Science Michigan State University East Lansing MI USA

The authors examine some critical issues raised in the design of libraries for MPCs, such as scalability, portability, recompilation, and flexibility. They advocate a layered structure of library design, comprising a high-level language layer, a machine-independent node layer, a machine-dependent node layer, and an object code layer for different demands and requirements. They discuss the impact of various data decomposition strategies on program performance and the computation and communication analysis techniques used at different layers. They also propose the concept of the range of scalability as a metric for selecting the most appropriate implementation. A linear system solver based on the Gaussian elimination method is used as an example to illustrate various design alternatives.

关键词： Libraries Concurrent computing Computer architecture Scalability High level languages Computer science Performance analysis Hardware Application software US Department of Energy

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共123页 << < 97 98 99 100 101 102 103 104 105 106 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：