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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,381 篇 会议
109 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

1,400 篇 工学
- 1,353 篇 软件工程
- 1,103 篇 计算机科学与技术...
- 176 篇 控制科学与工程
- 38 篇 信息与通信工程
- 21 篇 建筑学
- 15 篇 土木工程
- 15 篇 生物工程
- 12 篇 光学工程
- 12 篇 电气工程
- 6 篇 机械工程
- 6 篇 材料科学与工程（可...
- 5 篇 电子科学与技术（可...
- 4 篇 化学工程与技术
- 3 篇 冶金工程
- 3 篇 航空宇航科学与技...
- 2 篇 力学（可授工学、理...
- 2 篇 生物医学工程（可授...
166 篇 理学
- 126 篇 数学
- 23 篇 系统科学
- 18 篇 生物学
- 6 篇 化学
- 6 篇 统计学（可授理学、...
- 5 篇 物理学
- 2 篇 地质学
145 篇 管理学
- 103 篇 图书情报与档案管...
- 55 篇 管理科学与工程(可...
- 31 篇 工商管理
18 篇 教育学
- 17 篇 教育学
10 篇 法学
- 9 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 医学
1 篇 农学

主题

452 篇 object oriented ...
226 篇 languages
81 篇 performance
79 篇 design
71 篇 java programming...
52 篇 algorithms
48 篇 java
44 篇 experimentation
43 篇 verification
36 篇 computer program...
31 篇 reliability
30 篇 theory
28 篇 aspect oriented ...
21 篇 measurement
17 篇 human factors
16 篇 parallel program...
15 篇 concurrency
14 篇 static analysis
14 篇 scala
14 篇 refactoring

机构

18 篇 univ washington ...
12 篇 ecole polytech f...
12 篇 univ texas austi...
9 篇 microsoft res re...
9 篇 swiss fed inst t...
8 篇 mit csail cambri...
8 篇 univ calif berke...
8 篇 university of il...
7 篇 victoria univers...
6 篇 programming tool...
6 篇 univ waterloo wa...
6 篇 suny binghamton ...
6 篇 university of wa...
6 篇 carnegie mellon ...
6 篇 aarhus univ dk-8...
6 篇 purdue univ dept...
5 篇 univ marburg d-3...
5 篇 tech univ darmst...
5 篇 ibm t.j. watson ...
5 篇 delft univ techn...

作者

13 篇 noble james
13 篇 de moor oege
13 篇 aldrich jonathan
11 篇 lorenz david h.
10 篇 biddle robert
10 篇 odersky martin
10 篇 ernst michael d.
9 篇 mckinley kathryn...
9 篇 baniassad elisa
9 篇 hendren laurie
9 篇 visser eelco
9 篇 ostermann klaus
8 篇 de champeaux den...
8 篇 tip frank
8 篇 cook william r.
8 篇 johnson ralph
8 篇 liu yu david
8 篇 binder walter
8 篇 abi-antoun marwa...
8 篇 mezini mira

语言

1,423 篇 英文
70 篇 其他

检索条件"任意字段=1987 Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 1987"

共 1493 条记录，以下是591-600 订阅

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

详细简洁

排序：

Automated upgrading of component-based applications

Automated upgrading of component-based applications

引用

21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006

作者： Dig, Danny Johnson, Ralph University of Illinois Urbana-Champaign

ISBN: (纸本)159593491X

Frameworks and libraries change their APIs. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and ideas have been proposed to solve the evolution of APIs, most updates are done manually. Our study of the API changes in five components revealed that over 80% of the changes that break existing applications are caused by refactorings. This suggests that refactoring-based migration tools should be used to effectively upgrade applications. We propose an approach that is both automated and safe, without any overhead on the component producers. First, component refactorings are automatically detected (either inferred or recorded), then they are incorporated into applications by replaying.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

A framework for implementing pluggable type systems 06

A framework for implementing pluggable type systems

引用

21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006

作者： Andreae, Chris Noble, James Markstrum, Shane Millstein, Todd Victoria University of Wellington University of California Los Angeles

ISBN: (纸本)1595933484

Pluggable types have been proposed to support multiple type systems in the same programming language. We have designed and implemented JavaCOP, a program constraint system for implementing practical pluggable type systems for Java. JavaCOP enforces user-defined typing constraints written in a declarative and expressive rule language. We have validated our design by (re)implementing a range of type systems and program checkers. By using a program constraint system to implement pluggable types, programmers are able to check that their programs will operate correctly in restricted environments, adhere to strict programming rules, avoid null pointer errors or scoped memory exceptions, and meet style guidelines, while programming language researchers can easily experiment with novel type systems. Copyright © 2006 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing 06

Eliminating synchronization-related atomic operations with b...

引用

21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006

作者： Russell, Kenneth Detlefs, David Sun Microsystems Inc.

ISBN: (纸本)1595933484

The JavaTMprogramming language contains built-in synchronization primitives for use in constructing multithreaded programs. Efficient implementation of these synchronization primitives is necessary in order to achieve high performance. Recent research [9, 12, 10, 3, 7] has focused on the run-time elimination of the atomic operations required to implement object monitor synchronization primitives. This paper describes a novel technique called store-free biased locking which eliminates all synchronization-related atomic operations on uncontended object monitors. The technique supports the bulk transfer of object ownership from one thread to another, and the selective disabling of the optimization where unprofitable, using epoch-based bulk rebiasing and revocation. It has been implemented in the production version of the Java HotSpotTMVM and has yielded significant performance improvements on a range of benchmarks and applications. The technique is applicable to any virtual machine-based programming language implementation with mostly block-structured locking primitives. Copyright © 2006 ACM.

关键词： Computer systems programming

来源：评论

学校读者我要写书评

暂无评论

programming the world with sun SPOTs

Programming the world with sun SPOTs

引用

21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006

作者： Smith, Randall B. Horan, Bernard Daniels, John Cleal, Dave Sun Microsystems Labs Mailstop UMPK16-158 16 Network Circle Menlo Park CA 94025 United States Sun Microsystems Labs Guillemont Park-Bldg. 2 Minley Road Blackwater Camberley GU17 9QG United Kingdom Syntropy Limited 2 Stambourne Way West Wickham Kent BR4 9NF United Kingdom

We describe the Sun1 Small Programmable object Technology, or Sun SPOT. The Sun SPOT is a small wireless computing platform that runs Java1 directly, with no operating system. The system comes with an on-board set of ... 详细信息

ISBN: (纸本)159593491X

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Grammar-driven generation of domain-specific language tools

Grammar-driven generation of domain-specific language tools

引用

21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006

作者： Wu, Hui Department of Computer and Information Science University of Alabama at Birmingham Birmingham AL 35294-1170 United States

ISBN: (纸本)159593491X

Domain-specific languages (DSLs) assist an end-user programmer in writing programs using idioms that are closer to the abstractions found in a specific problem domain. Language testing tool support for DSLs is lacking when compared to the capabilities provided in standard general purpose languages (e.g., Java and C++). For example, support for debugging a program written in a DSL is often nonexistent. This research abstract describes a grammar-driven technique to build a testing tool generation framework through automated transformation of existing DSL grammars. The modified grammars generate the hooks needed to interface with a supporting infrastructure written for an Integrated Development Environment that assists in debugging, testing, and profiling a DSL program.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

SAFARI: A meta-tooling framework for generating language-specific IDE's

SAFARI: A meta-tooling framework for generating language-spe...

引用

21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006

作者： Charles, Philippe Dolby, Julian Fuhrer, Robert M. Sutton Jr., Stanley M. Vaziri, Mandana IBM T. J. Watson Research Center 19 Skyline Drive Hawthorne NY 10532 United States

ISBN: (纸本)159593491X

Getting a new programming language into the hands of users is still a huge undertaking. SAFARI is an Eclipse-based meta-tooling framework for generating language-specific IDEs that greatly accelerates that process. It exploits common themes and structures that recur in many languages and language tools. It supports the generation of language-dependent IDE services, while allowing developers to focus on the language-specific aspects of their environments rather than the surrounding IDE framework. SAFARI has been used to generate IDEs for several languages. These IDEs include such features as parser generation;editors with keyword highlighting, text folding, text completion, hyperlinking and so on;outline views, project building;and more.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Runtime synthesis of high-performance code from scripting languages

Runtime synthesis of high-performance code from scripting la...

引用

21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006

作者： Mueller, Christopher Lumsdaine, Andrew Indiana University

ISBN: (纸本)159593491X

Scripting languages are ubiquitous in modern software engineering and are often used as the sole language for application development. However, some applications, specifically scientific and multimedia applications, often have small sections of code that require a higher level of performance than the host language can deliver. In many cases, the algorithm being optimized is simple and has a clear mapping to hardware resources. But, without introducing an intermediate language, developers generally have no direct methods to implement an optimized *** this paper, we present the synthetic programming environment, a run-time system for synthesizing and executing high-performance instruction sequences directly from scripting languages. Our implementation, available for download, is implemented in Python for PowerPC processors and gives Python developers direct access to system resources for performance critical code. We discuss strategies for creating and managing synthetic programs and provide two real-world examples, an interactive particle system and a chemical fingerprint comparison tool.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

A flow-based approach for variant parametric types 06

A flow-based approach for variant parametric types

引用

21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006

作者： Chin, Wei-Ngan Craciun, Florin Khoo, Siau-Cheng Popeea, Corneliu Department of Computer Science National University of Singapore

ISBN: (纸本)1595933484

A promising approach for type-safe generic codes in the object-oriented paradigm is variant parametric type, which allows covariant and contravariant subtyping on fields where appropriate. Previous approaches formalise variant type as a special case of the existential type system. In this paper, we present a new framework based on flow analysis and modular type checking to provide a simple but accurate model for capturing generic types. Our scheme stands to benefit from past (and future) advances in flow analysis and subtyping constraints. Furthermore, it fully supports casting for variant types with a special reflection mechanism, called cast capture, to handle objects with unknown types. We have built a constraint-based type checker and have proven its soundness. We have also successfully annotated a suite of Java libraries and client code with our flow-based variant type system. Copyright © 2006 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Creating an informative workspace

Creating an informative workspace

引用

21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006

作者： Davies, Rachel Hussman, David Agile Experience Limited 30 Lancaster Road Rugby Warwickshire United Kingdom SGF Software 3010 Hennepin Avenue South Minneapolis MN United States

ISBN: (纸本)159593491X

Informative Workspace is one of the new practices launched in the second edition of "Extreme programming Explained" [1]. To follow this practice, an agile team builds feedback mechanisms around them that support them in their daily work. These feedback mechanisms can take the form of visual displays, Information Radiators [2], which are manually updated by the team, or electronic eXtreme Feedback Devices [3] (XFD), such as lava lamps or audio signals linked to automated processes. It is vital to ensure that feedback mechanisms are easy to interpret, low maintenance and adapted to local working practices. This workshop will gather and share experiences on how to develop and maintain an Informative Workspace.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Young guns/object orientation: The next generation

Young guns/object orientation: The next generation

引用

21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006

作者： Overbey, Jeffrey Foote, Brian Adamczyk, Paul Aldrich, Jonathan Baniassad, Elisa Grothoff, Christian Krishna, Arvind McDirmid, Sean Millstein, Todd Potanin, Alex Vaziri, Mandana University of Illinois Urbana-Champaign The Refactory Carnegie Mellon University Chinese University of Hong Kong University of Denver CO Qualcomm Ecole Polytechnique Fédérale Lausanne University of California Los Angeles Victoria University of Wellington IBM T.J. Watson Research Center

ISBN: (纸本)159593491X

oopsla attendees have traditionally looked to the panel program for red-meat relief from a diet of high-fiber technical track material and abstruse Onward! exotica. However, panels often feature a tired parade of the usual suspects: the same faces hawking the same hackneyed twentieth century ideas over and over again. At the same time, familiar names are a predicable draw. The effect is that it may take many years for new blood to find its way into the panel *** panel seeks to break this logjam by featuring only panelists at or under the age of 0x20. They will offer their opinions and insights as to what we have been doing wrong for the last twenty years and what they will have to do fix it. Grudging recognition of what has gone right may be offered as *** to guarantee the anonymity of the most brash positions will allow the participants to be provocative as well as precocious.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共150页 << < 56 57 58 59 60 61 62 63 64 65 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：