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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

737 篇 会议
127 篇 期刊文献
1 册 图书

馆藏范围

865 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

777 篇 工学
- 742 篇 软件工程
- 568 篇 计算机科学与技术...
- 35 篇 控制科学与工程
- 19 篇 电气工程
- 19 篇 信息与通信工程
- 16 篇 生物工程
- 8 篇 土木工程
- 6 篇 建筑学
- 4 篇 化学工程与技术
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 3 篇 环境科学与工程（可...
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 农业工程
59 篇 理学
- 33 篇 数学
- 18 篇 生物学
- 6 篇 物理学
- 6 篇 化学
- 6 篇 系统科学
- 1 篇 大气科学
- 1 篇 地球物理学
- 1 篇 统计学（可授理学、...
59 篇 管理学
- 35 篇 图书情报与档案管...
- 26 篇 管理科学与工程(可...
- 8 篇 工商管理
12 篇 法学
- 12 篇 社会学
- 1 篇 法学
6 篇 教育学
- 6 篇 教育学
3 篇 农学
- 3 篇 作物学
1 篇 医学

主题

250 篇 languages
111 篇 object oriented ...
83 篇 performance
83 篇 design
52 篇 algorithms
46 篇 verification
43 篇 java
41 篇 experimentation
38 篇 reliability
36 篇 computer program...
34 篇 theory
19 篇 human factors
17 篇 concurrency
16 篇 parallel program...
16 篇 object-oriented ...
15 篇 measurement
14 篇 scala
13 篇 aspect oriented ...
13 篇 javascript
12 篇 type systems

机构

18 篇 univ washington ...
13 篇 ecole polytech f...
12 篇 tech univ darmst...
11 篇 microsoft res re...
9 篇 mit csail cambri...
8 篇 univ texas austi...
7 篇 univ marburg d-3...
7 篇 univ texas austi...
7 篇 aarhus univ dk-8...
6 篇 princeton univ p...
6 篇 johannes kepler ...
6 篇 suny binghamton ...
6 篇 harvard univ cam...
6 篇 purdue univ w la...
6 篇 univ calif berke...
5 篇 univ duisburg es...
5 篇 microsoft res ca...
5 篇 ecole polytech f...
5 篇 mcgill univ mont...
5 篇 univ hong kong p...

作者

12 篇 rajan hridesh
12 篇 odersky martin
11 篇 mezini mira
10 篇 hirschfeld rober...
10 篇 binder walter
9 篇 salvaneschi guid...
9 篇 aldrich jonathan
9 篇 ostermann klaus
8 篇 mckinley kathryn...
8 篇 marr stefan
8 篇 rompf tiark
7 篇 oliveira bruno c...
7 篇 noble james
7 篇 liu yu david
7 篇 kuncak viktor
7 篇 gulwani sumit
6 篇 bond michael d.
6 篇 ceze luis
6 篇 van der storm ti...
6 篇 coad peter

语言

746 篇 英文
116 篇 其他
2 篇 中文
1 篇 俄文

检索条件"任意字段=2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages"

共 865 条记录，以下是791-800 订阅

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

详细简洁

排序：

Ada in embedded boards for scientific and medical instruments 98

Ada in embedded boards for scientific and medical instrument...

引用

1998 Annual acm SIGAda international conference on Ada, SIGAda 1998

作者： Leif, Robert C. Leif, Suzanne B. Ada-Med a Division of Newport Instruments 5648 Toyon Road San DiegoCA92115 United States

ISBN: (纸本)1581130333

The combination of Ada's new class-wide programming with tagged types, generics, and representation clauses for both enumerated and record types greatly facilitates low level programing. A generic board register class was extended to represent the specific hardware and provide high level abstractions for reading and changing the states of the hardware registers. Subprograms included in this generic board register class include functions and procedures which address these registers by name and employ high-level syntax for bit manipulation. The use of these objects derived from the register class permits the development of easily understood, maintainable software for computer boards which control and acquire data from devices including scientific and medical instruments. A software library providing these and other relevant functionalities and an application with a commercial 100 megahertz scaler board for a PC will be described. © 1998 acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

From object oriented conceptual modeling to automated programming in java 17th

From object oriented conceptual modeling to automated progra...

引用

17th international conference on Conceptual Modeling, ER 1998

作者： Pastor, Oscar Pelechano, Vicente Insfrán, Emilio Gómez, Jaime Department of Information Systems and Computation Valencia University of Technology Camí de Vera s/n Valencia46071 Spain Department of Languages and Information Systems Alicante University C/ San Vicente s/n San Vicente del Raspeig Alicante03690 Spain

ISBN: (纸本)3540651896

The development of Internet commercial applications and corporate Intranets around the world, that often use Java as programming language, is a significant topic in modern Software Engineering. In this context, more than ever, well-defined methodologies and high-level tools are essential for developing quality software in a way that should be as independent as possible of the changes in technology. In this article, we present an OO method based on a formal object-oriented model. The main feature of this method is that developers' efforts are focused on the conceptual modeling step, where analysts capture system requirements, and the full implementation can automatically be obtained following an execution model (including structure and behaviour). The final result is a web application with a three-tiered architecture, which is implemented in Java with a relational DBMS as object repository. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

programming with variable functions 98

Programming with variable functions

引用

Proceedings of the third acm sigplan international conference on Functional programming

作者： Martin Odersky University of South Australia

ISBN: (纸本)9781581130249

What is a good method to specify and derive imperative programs? This paper argues that a new form of functional programming fits the bill: where variable functions can be updated at specified points in their *** algebraic specification and functional programming are a powerful pair of tools for specifying and implementing domains of discourse and operations on them. Recent work on evolving algebras has introduced the function update in algebraic specifications, and has applied it with good success in the modelling of reactive systems. We show that similar concepts allow one to derive efficient programs in a systematic way from functional specifications. The final outcome of such a derivation can be made as efficient as a traditional imperative program with pointers, but can still be reasoned about at a high *** functions can also play an important role in the structuring of large systems. They can subsume object-oriented programming languages, without incurring the latter's problems with pointer aliasing and modularity.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The new crop of Java virtual machines (panel) 98

The new crop of Java virtual machines (panel)

引用

Proceedings of the 13th acm sigplan conference on object-oriented programming, systems, languages, and applications

作者： Lars Bak John Duimovich Jesse Fang Scott Meyer David Ungar Sun Microsystems Inc. Java Software MS UCUP 02-302 2525 Mariani Ave. Cupetino CA Object Technology International Inc. 2670 Queensview Drive Ottawa Ontario Canada K2B 8K1 MicroComputer Research Labs Intel Corp RN6-352200 Mission College Blvd. Santa Clara CA Oracle Corporation 500 Oracle Parkway Box 659409 Redwood Shores CA Sun Microsystems Laboratories MS MTV 29-117 901 San Antonio Rd. Palo Alto CA

来源：评论

学校读者我要写书评

暂无评论

Visualizing dynamic software system information through high-level models 98

Visualizing dynamic software system information through high...

引用

Proceedings of the 13th acm sigplan conference on object-oriented programming, systems, languages, and applications

作者： Robert J. Walker Gail C. Murphy Bjorn Freeman-Benson Darin Wright Darin Swanson Jeremy Isaak Department of Computer Science University of British Columbia 201-2366 Main Mall Vancouver BC Canada V6T 1Z4 Object Technology International Inc. 301-506 Fort St. Victoria BC Canada V8T 1X3

ISBN: (纸本)9781581130058

Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data generated from a system's execution, engineers require tool support. We have developed an off-line, flexible approach for visualizing the operation of an object-oriented system at the architectural level. This approach complements and extends existing profiling and visualization approaches available to engineers attempting to utilize dynamic information. In this paper, we describe the technique and discuss preliminary qualitative studies into its usefulness and usability. These studies were undertaken in the context of performance tuning tasks.

关键词： software structure programming environments performance software visualization execution trace program comprehension

来源：评论

学校读者我要写书评

暂无评论

Safe metaclass programming 98

Safe metaclass programming

引用

Proceedings of the 13th acm sigplan conference on object-oriented programming, systems, languages, and applications

作者： Noury M. N. Bouraqadi-Saâdani Thomas Ledoux Fred Rivard École des Mines de Nantes BP 20722 44307 Nantes - FRANCE École des Mines & OTI Inc. Nantes BP 20722 44307 Nantes - FRANCE and Object Technology International Inc. 2670 Queensview Drive Ottawa Ontario CANADA K2B 8K1

ISBN: (纸本)9781581130058

In a system where classes are treated as first class objects, classes are defined as instances of other classes called metaclasses. An important benefit of using metaclasses is the ability to assign properties to classes (e.g. being abstract, being final, tracing particular messages, supporting multiple inheritance), independently from the base-level code. However, when both inheritance and instantiation are explicitly and simultaneously involved, communication between classes and their instances raises the metaclass compatibility issue. Some languages (such as SMALLTALK) address this issue but do not easily allow the assignment of specific properties to classes. In contrast, other languages (such as CLOS) allow the assignment of specific properties to classes but do not tackle the compatibility issue *** this paper, we describe a new model of metalevel organization, called the compatibility model, which overcomes this difficulty. It allows safe metaclass programming since it makes it possible to assign specific properties to classes while ensuring metaclass compatibility. Therefore, we can take advantage of the expressive power of metaclasses to build reliable software. We extend this compatibility model in order to enable safe reuse and composition of class specific properties. This extension is implemented in NEOCLASSTALK, a fully reflective SMALLTALK.

关键词： class property propagation metaclasses class specific properties compatibility

来源：评论

学校读者我要写书评

暂无评论

Measured cost of copying garbage collection mechanisms

Measured cost of copying garbage collection mechanisms

引用

Proceedings of the 1997 acm sigplan international conference on Functional programming, ICFP

作者： Hicks, Michael W. Moore, Jonathan T. Nettles, Scott M. Univ of Pennsylvania Philadelphia United States

We examine the costs and benefits of a variety of copying garbage collection (GC) mechanisms across multiple architectures and programming languages. Our study covers both low-level object representation and copying issues as well as the mechanisms needed to support more advanced techniques such as generational collection, large object spaces, and type-segregated areas. Our experiments are made possible by a novel performance analysis tool, Oscar. Oscar allows us to capture snapshots of programming language heaps that may then be used to replay garbage collections. The replay program is self-contained and written in C, which makes it easy to port to other architectures and to analyze with standard performance analysis tools. Furthermore, it is possible to study additional programming languages simply by instrumenting existing implementations to capture heap snapshots. In general, we found that careful implementation of GC mechanisms can have a significant benefit. For a simple collector, we measured improvements of as much as 95%. We then found that while the addition of advanced features can have a sizeable overhead (up to 15%), the net benefit is quite positive, resulting in additional gains of up to 42%. We also found that results varied depending upon the platform and language. Machine characteristics such as cache arrangements, instruction set (RISC/CISC), and register pool were important. For different languages, average object size seemed to be most important. The results of our experiments demonstrate the usefulness of a tool like Oscar for studying GC performance. Without much overhead, we can easily identify areas where programming language implementors could collaborate with GC implementors to improve GC performance.

关键词： Computer systems programming

来源：评论

学校读者我要写书评

暂无评论

Investigation into coupling measures for C++

Investigation into coupling measures for C++

引用

Proceedings of the 1997 IEEE 19th international conference on Software Engineering

作者： Briand, Lionel Devanbu, Prem Melo, Walcelio Fraunhofer IESE Kaiserslautern Germany

This paper proposes a comprehensive suite of measures to quantify the level of class coupling during the design of object-oriented systems. This suite takes into account the different OO design mechanisms provided by the C++ language (e.g., friendship between classes, specialization, and aggregation) but it can be tailored to other OO languages. The different measures in our suite thus reflect different hypotheses about the different mechanisms of coupling in OO systems. Based on actual project defect data, the hypotheses underlying our coupling measures are empirically validated by analyzing their relationship with the probability of fault detection across classes. The results demonstrate that some of these coupling measures may be useful early quality indicators of the design of OO systems. These measures are conceptually different from the OO design measures defined by Chidamber and Kemerer;in addition, our data suggests that they are complementary quality indicators.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

An investigation into coupling measures for C++ 97

An investigation into coupling measures for C++

引用

19th international conference on Software Engineering (ICSE 97) - Pulling Together

作者： Briand, L Devanbu, P Melo, W Fraunhofer IESE Technologie Park Sauerwiesen 6 D-67661 Kaiserslautern Germany AT&T Labs Research 600 Mountain Ave Murray Hill New Jersey CRIM 1801 McGill College Ave Montreal Canada H3A24

ISBN: (纸本)0897919149

关键词： coupling on object-oriented design C++ programming language prediction model of fault-prone components

来源：评论

学校读者我要写书评

暂无评论

The direct cost of virtual function calls in C++ 96

The direct cost of virtual function calls in C++

引用

1996 acm SIGPAN conference on object-oriented programming systems, languages and Applications (OOPSLA 96)

作者： Driesen, K Holzle, U Department of Computer Science University of California Santa Barbara CA

ISBN: (纸本)9780897917889

We study the direct cost of virtual function calls in C++ programs, assuming the standard implementation using virtual function tables. We measure this overhead experimentally for a number of large benchmark programs, using a combination of executable inspection and processor simulation. Our results show that the C++ programs measured spend a median of 5.2% of their time and 3.7% of their instructions in dispatch code. For ''all virtuals'' versions of the programs, the median overhead rises to 13.7% (13% of the instructions). The ''thunk'' variant of the virtual function table implementation reduces the overhead by a median of 21% relative to the standard implementation. On future processors, these overheads are likely to increase moderately.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共87页 << < 76 77 78 79 80 81 82 83 84 85 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：