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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

250 篇 会议
9 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

201 篇 工学
- 170 篇 计算机科学与技术...
- 155 篇 软件工程
- 23 篇 控制科学与工程
- 18 篇 电气工程
- 8 篇 信息与通信工程
- 4 篇 建筑学
- 4 篇 土木工程
- 2 篇 仪器科学与技术
- 2 篇 化学工程与技术
- 1 篇 材料科学与工程（可...
- 1 篇 电子科学与技术（可...
- 1 篇 测绘科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
- 1 篇 安全科学与工程
32 篇 管理学
- 24 篇 图书情报与档案管...
- 13 篇 管理科学与工程(可...
- 6 篇 工商管理
29 篇 理学
- 22 篇 数学
- 5 篇 统计学（可授理学、...
- 3 篇 化学
- 2 篇 系统科学
- 1 篇 物理学
- 1 篇 地球物理学
- 1 篇 生物学
9 篇 教育学
- 9 篇 教育学
6 篇 医学
- 6 篇 临床医学
- 2 篇 基础医学(可授医学...
2 篇 经济学
- 2 篇 应用经济学
2 篇 法学
- 2 篇 社会学

主题

96 篇 object oriented ...
24 篇 object oriented ...
17 篇 java programming...
17 篇 object-oriented ...
16 篇 programming
15 篇 software enginee...
13 篇 java
10 篇 computer science
9 篇 software
8 篇 application soft...
8 篇 computer languag...
8 篇 unified modeling...
7 篇 software systems
7 篇 permission
6 篇 languages
6 篇 computer archite...
6 篇 aspect oriented ...
6 篇 concrete
6 篇 computer program...
5 篇 programming prof...

机构

3 篇 ibm corp thomas ...
2 篇 gannon univ comp...
2 篇 school of comput...
2 篇 infosys labs ban...
2 篇 nanjing univ sta...
2 篇 dakota state uni...
2 篇 department of co...
2 篇 ibm thomas j. wa...
2 篇 univ texas dalla...
2 篇 carleton univers...
2 篇 victoria univers...
2 篇 tokyo inst techn...
2 篇 univ bern softwa...
2 篇 thoughtworks uk ...
2 篇 department of co...
1 篇 university of ma...
1 篇 wells fargo bank...
1 篇 department of co...
1 篇 dept. of compute...
1 篇 univ london impe...

作者

5 篇 noble james
4 篇 biddle robert
3 篇 siek jeremy
3 篇 ernst michael d.
2 篇 mackinnon tim
2 篇 mezini m
2 篇 lorenz david h.
2 篇 tip f
2 篇 pryce nat
2 篇 black andrew p.
2 篇 gestwicki paul v...
2 篇 walnes joe
2 篇 melo walcelio
2 篇 freeman steve
2 篇 leavens gary t.
2 篇 chiba s
2 篇 wong w. eric
2 篇 andrew p. black
2 篇 e abreu fernando...
2 篇 drossopoulou s

语言

260 篇 英文
2 篇 其他
2 篇 中文

检索条件"任意字段=19th European Conference on Object-Oriented Programming"

共 264 条记录，以下是91-100 订阅

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

详细简洁

排序：

Pluggable verification modules: An extensible protection mechanism for the JVM

Pluggable verification modules: An extensible protection mec...

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Fong, Philip W. L. Department of Computer Science University of Regina Regina Sask. S4S 0A2 Canada

ISBN: (纸本)1581138318

through the design and implementation of a JVM that supports Pluggable Verification Modules (PVMs), the idea of an extensible protection mechanism is entertained. Link-time bytecode verification becomes a pluggable service that can be readily replaced, reconfigured and augmented. Application-specific verification services can be safely introduced into the dynamic linking process of the JVM. this feature is enabled by the adoption of a previously proposed modular verification architecture, Proof Linking [23, 24], which decouples bytecode verification from the dynamic linking process, rendering the verifier a replaceable module. the PVM mechanism has been implemented in an open source JVM, the Aegis VM [21]. To evaluate the software engineering and security engineering benefits of this extensible protection mechanism, an augmented type system JAC (Java Access Control) [37] has been successfully implemented as a PVM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Mock roles, not objects

Mock roles, not objects

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Freeman, Steve Mackinnon, Tim Pryce, Nat Walnes, Joe ThoughtWorks UK Berkshire House 168-173 High Holborn London WC1V 7AA United Kingdom

ISBN: (纸本)1581138334

Mock objects is an extension to Test-Driven Development that supports good object-oriented design by guiding the discovery of a coherent system of types within a code base. It turns out to be less interesting as a technique for isolating tests from third-party libraries than is widely thought. this paper describes the process of using Mock objects with an extended example and reports best and worst practices gained from experience of applying the process. It also introduces jMock, a Java framework that embodies our collective experience.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Sharing the runtime representation of classes across class loaders

Sharing the runtime representation of classes across class l...

引用

19th european conference on object-oriented programming

作者： Daynès, L Czajkowski, G Sun Microsystems Laboratories

ISBN: (纸本)354027992X

One of the most distinctive features of the Java (TM) programming language is the ability to specify class loading policies. Despite the popularity of class loaders, little has been done to reduce the cost associated with defining the same class by multiple loaders. In particular, implementations of the Java virtual machine (JVM (TM)) create a complete runtime representation of each class regardless of how many class loaders already define the same class. this lack of sharing leads to poor memory utilization and to replicated run-time work. Recent efforts achieve some degree of sharing only when dynamic binding behaves predictably across loaders. this limits sharing to class loaders whose behavior is fully controlled by the JVM. As a result applications that implement their own class loading policies cannot enjoy the benefit of sharing. We present a novel technique for sharing the runtime representation of classes (including bytecodes and, under some conditions, compiled code) across arbitrary user-defined class loaders. We describe how our approach is applied to the multi-tasking virtual machine (MVM). the new multi-tasking virtual machine retains the fast start-up time of the original MVM while extending the scope of footprint savings to applications that exploit user-defined class loaders.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

A unified theory of garbage collection

A unified theory of garbage collection

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Bacon, David F. Cheng, Perry Rajan, V.T. IBM T.J. Watson Research Center P.O. Box 704 Yorktown Heights NY 10598

ISBN: (纸本)1581138318

Tracing and reference counting are uniformly viewed as being fundamentally different approaches to garbage collection that possess very distinct performance properties. We have implemented high-performance collectors of both types, and in the process observed that the more we optimized them, the more similarly they behaved - that they seem to share some deep structure. We present a formulation of the two algorithms that shows that they are in fact duals of each other. Intuitively, the difference is that tracing operates on live objects, or "matter", while reference counting operates on dead objects, or "anti-matter". For every operation performed by the tracing collector, there is a precisely corresponding anti-operation performed by the reference counting collector. Using this framework, we show that all high-performance collectors (for example, deferred reference counting and generational collection) are in fact hybrids of tracing and reference counting. We develop a uniform cost-model for the collectors to quantify the trade-offs that result from choosing different hybridizations of tracing and reference counting. this allows the correct scheme to be selected based on system performance requirements and the expected properties of the target application.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Measuring the dynamic behaviour of AspectJ programs

Measuring the dynamic behaviour of AspectJ programs

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Dufour, Bruno De Moor, Oege Goard, Christopher Sittampalam, Ganesh Hendren, Laurie Verbrugge, Clark School of Computer Science McGill University Oxford University Computing Laboratory

ISBN: (纸本)1581138318

this paper proposes and implements a rigorous method for studying the dynamic behaviour of AspectJ programs. As part of this methodology several new metrics specific to AspectJ programs are proposed and tools for collecting the relevant metrics are presented. the major tools consist of: (1) a modified version of the AspectJ compiler that tags bytecode instructions with an indication of the cause of their generation, such as a particular feature of AspectJ;and (2) a modified version of the *J dynamic metrics collection tool which is composed of a JVMPI-based trace generator and an analyzer which propagates tags and computes the proposed metrics. this dynamic propagation is essential, and thus this paper contributes not only new metrics, but also non-trivial ways of computing them. We furthermore present a set of benchmarks that exercise a wide range of AspectJ's features, and the metrics that we measured on these benchmarks. the results provide guidance to AspectJ users on how to avoid efficiency pitfalls, to AspectJ implementors on promising areas for future optimization, and to tool builders on ways to understand the runtime behaviour of AspectJ.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Execution trace abstraction based on meta patterns usage

Execution trace abstraction based on meta patterns usage

引用

19th Working conference on Reverse Engineering, WCRE 2012

作者： Noda, Kunihiro Kobayashi, Takashi Agusa, Kiyoshi Graduate School of Information Science Nagoya University Nagoya Aichi 464-8601 Japan

ISBN: (纸本)9780769548913

Visualizing object interactions in an execution trace with a sequence diagram is a promising technique for helping developers to comprehend effectively the behavior of an object-oriented system. However, in most cases, the reverse-engineered sequence diagram, which is automatically generated from an execution trace, contains enormous amounts of information, which causes scalability issues. In this paper, we present a method that abstracts the history of object interactions based on Pree's meta patterns usage. We identify objects that are strongly related to each other by focusing on the relation of template-hook structures which are often used in object-oriented programming. Grouping the strongly correlated objects, we visualize the system's behavior in terms of intergroup interactions with a sequence diagram. the sequence diagram that is generated is helpful for grasping the big picture of the overall behavior of the system, and so is a valuable aid for program comprehension. In this research, we implemented a tool to visualize the history of object interactions based on our proposed method and demonstrated the feasibility of our proposed method. We applied the tool to three kinds of open-source software systems and evaluated the effectiveness of our proposed method in program comprehension tasks. © 2012 IEEE.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Traits: Experience with a language feature

Traits: Experience with a language feature

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Murphy-Hill, Emerson R. Black, Andrew P. Evergreen State College 2700 Evergreen Parkway NW Olympia WA 98505 United States OGI School of Science and Engineering Oregon Health and Science University 20000 NW Walker Rd Beaverton OR 97006 United States

ISBN: (纸本)1581138334

this paper reports our experiences using traits, collections of pure methods designed to promote reuse and understandability in object-oriented programs. Traits had previously been used to refactor the Smalltalk collection hierarchy, but only by the creators of traits themselves. this experience report represents the first independent test of these language features. Murphy-Hill implemented a substantial multi-class data structure called ropes that makes significant use of traits. We found that traits improved understandability and reduced the number of methods that needed to be written by 46%.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Who is Accountable for Asynchronous Exceptions?

Who is Accountable for Asynchronous Exceptions?

引用

19th Asia-Pacific Software Engineering conference (APSEC)

作者： Morandi, Benjamin Nanz, Sebastian Meyer, Bertrand Swiss Fed Inst Technol Chair Software Engn Zurich Switzerland

ISBN: (纸本)9780769549224

Large parts of today's software systems are devoted to detecting and recovering from failures, making exception handling a critical issue in software development. Concurrent software complicates this issue: most concurrent programming languages require a mechanism to deal with asynchronous exceptions, but because of the diverse design choices underlying each language, no approach fits all situations. We introduce a classification of possible approaches to guide the development of asynchronous exception mechanisms, and we show its applicability by deriving a sound and comprehensible mechanism for SCOOP, an object-oriented programming model for concurrency. We describe the key idea of the mechanism using the accountability framework, which precisely defines the obligations of client and supplier regarding the reporting of exceptions. the framework not only provides the necessary intuition to apply the mechanism correctly, it is also useful to comprehend other approaches.

关键词： asynchronous exception concurrent programming SCOOP

来源：评论

学校读者我要写书评

暂无评论

Scalable extensibility via nested inheritance

Scalable extensibility via nested inheritance

引用

19th conference on object-oriented programming, Systems, Languages, and Applications

作者： Nystrom, N Chong, S Myers, AC Cornell Univ Dept Comp Sci Ithaca NY 14853 USA

Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that addresses some of the limitations of ordinary inheritance and other code reuse mechanisms. Using our experience with an extensible compiler framework, we show how nested inheritance can be used to construct highly extensible software frameworks. the essential aspects of nested inheritance are formalized in a simple object-oriented language with an operational semantics and type system. the type system of this language is sound, so no run-time type checking is required to implement it and no run-time type errors can occur. We describe our implementation of nested inheritance as an unobtrusive extension of the Java language, called Jx. Our prototype implementation translates Jx code to ordinary Java code, without duplicating inherited code.

关键词： object-oriented programming languages inheritance nested classes virtual classes

来源：评论

学校读者我要写书评

暂无评论

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

Proceedings of the 1997 IEEE 19th International Conference o...

引用

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

the proceedings contains 119 papers from the 1997 IEEE 19th International conference on Software Engineering. Topics discussed include: Internet;formal specifications;software reliability;software inspection;user interfaces and specifications;legacy systems and testing;static analysis;metrics;software process improvement;reverse engineering and program understanding;C and C++ programming language analysis;object-oriented programming;reactive software specification testing;Java programming language;architecture recovery and reverse engineering;large scale architectures;software quality;collaborative software engineering;software evolution and maintenance;software interoperability;and Commercial-off-shelf software components.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：