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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

27 篇 会议
3 册 图书

馆藏范围

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

日期分布

学科分类号

17 篇 工学
- 17 篇 计算机科学与技术...
- 13 篇 软件工程
- 1 篇 电气工程
- 1 篇 控制科学与工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 水利工程
- 1 篇 化学工程与技术
- 1 篇 环境科学与工程（可...
- 1 篇 生物工程
8 篇 理学
- 6 篇 数学
- 1 篇 化学
- 1 篇 生物学
1 篇 法学
- 1 篇 社会学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

6 篇 object oriented ...
2 篇 software enginee...
2 篇 semantics
2 篇 programming tech...
2 篇 programming lang...
2 篇 open source soft...
1 篇 entity framework
1 篇 combined simulat...
1 篇 read/write atomi...
1 篇 simulation inter...
1 篇 object-oriented ...
1 篇 frequency estima...
1 篇 discrete simulat...
1 篇 aspect oriented ...
1 篇 pattern matching
1 篇 co2 storage
1 篇 computer communi...
1 篇 man-machine inte...
1 篇 phreeqc
1 篇 car-sales projec...

机构

1 篇 univ paderborn h...
1 篇 shanghai jiao to...
1 篇 univ craiova dep...
1 篇 voronezh state u...
1 篇 univ paderborn d...
1 篇 department of co...
1 篇 shanghai jiao to...
1 篇 saarland univers...
1 篇 karlsruhe inst t...
1 篇 univ craiova dep...
1 篇 energy departmen...
1 篇 univ saarland d-...
1 篇 software archite...
1 篇 swiss fed inst t...
1 篇 univ nacl autono...
1 篇 deepse group dei...
1 篇 school of softwa...
1 篇 department of co...
1 篇 university of to...
1 篇 aramis s.r.l mil...

作者

1 篇 hirschfeld rober...
1 篇 shahar maoz
1 篇 kim duri
1 篇 popescu ion-mari...
1 篇 fischer matthias
1 篇 xu hao
1 篇 duri kim
1 篇 bernhard rumpe
1 篇 catalin-vladut m...
1 篇 thomas r. gross
1 篇 kamina tetsuo
1 篇 tyukachev nikola...
1 篇 albita anca
1 篇 olcoz katzalin
1 篇 cheng zhang
1 篇 raynal michel
1 篇 ghezzi carlo
1 篇 kaewkasi pitchay...
1 篇 zhang sai
1 篇 wasylkowski andr...

语言

29 篇 英文
1 篇 中文

检索条件"任意字段=25th European Conference on Object-Oriented Programming, ECOOP 2011"

共 30 条记录，以下是21-30 订阅

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

详细简洁

排序：

A theory-oriented Introduction to Wait-free Synchronization Based on the Adaptive Renaming Problem

A Theory-Oriented Introduction to Wait-free Synchronization ...

引用

25th IEEE International conference on Advanced Information Networking and Applications (AINA)

作者： Rajsbaum, Sergio Raynal, Michel Univ Nacl Autonoma Mexico Inst Matemat Mexico City 04510 DF Mexico IRISA IUF F-35042 Rennes France

ISBN: (纸本)9780769543376

the recent deployment of multiprocessors (such as multicores) as the mainstream computing platform has given rise to a new concurrent programming impetus. In such a context it becomes extremely important to be able to design shared objects that can cope with the net effect of asynchrony and process crashes. this paper is a theory-oriented introduction to wait-free synchronization for such systems. It uses the adaptive renaming problem as a paradigm to explain the difficulties and subtleties of synchronization in presence of process crashes. Renaming is one of the most famous coordination problems studied in distributed computability. It consists in assigning new names to processes in such a way that no two processes obtain the same new name and the new name space be as small as possible. the paper visits the problem by presenting three solutions. this paper, that has a strong survey/short tutorial flavor, can consequently be considered as an introduction to both the renaming problem and progress conditions for synchronization in presence of process crashes in the context of multiprocessor systems.

关键词： Adaptive distributed algorithm Asynchronous shared memory system Concurrent programming Crash failures Obstruction-freedom Multicore systems Read/write atomic register Recursion Renaming problem Shared object Wait-freedom

来源：评论

学校读者我要写书评

暂无评论

the use of overloading in Java programs

The use of overloading in Java programs

引用

24th european conference on object-oriented programming, ecoop 2010

作者： Gil, Joseph Yossi Lenz, Keren IBM Haifa Research Laboratory Israel Department of Computer Science Technion Haifa Israel

ISBN: (纸本)3642141064

Method overloading is a controversial language feature, especially in the context of object oriented languages, where its interaction with overriding may lead to confusing semantics. One of the main arguments against overloading is that it can be abused by assigning the same identity to conceptually different methods. this paper describes a study of the actual use of overloading in Java. To this end, we developed a taxonomy of classification of the use of overloading, and applied it to a large Java corpus comprising more than 100,000 user defined types. We found that more than 14% of the methods in the corpus are overloaded. Using sampling and evaluation by human raters we found that about 60% of overloaded methods follow one of the "non ad hoc use of overloading patterns" and that additional 20% can be easily rewritten in this form. the most common pattern is the use of overloading as an emulation of default arguments, a mechanism which does not exist in Java. © 2010 Springer-Verlag Berlin Heidelberg.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Adaptive tuning of reserved space in an appel collector 18

Adaptive tuning of reserved space in an appel collector

引用

18th european conference on object-oriented programming, ecoop 2004

作者： Velasco, José Manuel Olcoz, Katzalin Tirado, Francisco Complutense University Madrid Spain

ISBN: (纸本)354022159X

the use of automatic memory management in object-oriented languages like Java is becoming widely accepted because of its software engineering benefits, its reduction of programming time and its safety aspects. Nevertheless, the complexity of garbage collection results in an important time cost for the virtual machine’s job. Until now, garbage collection strategies have focused on analyzing and adjusting regions in the heap based on different approaches and algorithms. Each strategy has its own distinct advantages over the others depending on the data behavior of a specific application, but none succeeds in taking advantage of all available resources for all application behaviors. In this paper, we present and evaluate two adaptive strategies based on data lifetime that reallocate at run time the reserved space in the nursery of generational Appel collectors. the adaptive tuning of reserved space produces a drastic reduction in the number of collections and the total collection time, and has a clear effect on the final execution time. © Springer-Verlag Berlin Heidelberg 2004.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

AN EASY-EXTENDABLE MODELING FRAMEWORK FOR DISCRETE EVENT SIMULATION MODELS AND thEIR VISUALIZATION

AN EASY-EXTENDABLE MODELING FRAMEWORK FOR DISCRETE EVENT SIM...

引用

25th european Simulation and Modelling conference (ESM 2011)

作者： Renken, Hendrik Laroque, Christoph Fischer, Matthias Univ Paderborn Especially CIM Heinz Nixdorf Inst Furstenallee 11 D-33102 Paderborn Germany Univ Paderborn Dept Comp Sci D-33102 Paderborn Germany Univ Paderborn Heinz Nixdorf Inst D-33102 Paderborn Germany

ISBN: (纸本)9789077381663

Today's simulation software covers a variety of different problem areas, e.g., production, transportation, logistics, and physics. therefore the manufacturers of simulation software use a generic simulation engine equipped with problem specific libraries to offer specialized products. these products are supplemented by user-programmed models and building blocks. However, the combination of components from different problem areas often lead to software architectural problems in terms of extensibility and reusability. Especially for the simulation area, we offer an architectural concept that provides the ability to simply combine components from different problem areas and the ability to make future extensions. Classic user interfaces are unable to handle this flexibility in simulation modeling. therefore, we offer an architectural concept connecting simulation data with its visualization. We implemented our concepts in a prototype system and demonstrate them on the basis of the two problem areas "Production" and "Logistics".

关键词： Simulation interfaces object-oriented Discrete simulation Combined simulation Man-machine interfaces

来源：评论

学校读者我要写书评

暂无评论

Verifying multi-object invariants with relationships 11

Verifying multi-object invariants with relationships

引用

Proceedings of the 25th european conference on object-oriented programming

作者： Stephanie Balzer thomas R. Gross ETH Zurich

ISBN: (纸本)9783642226540

Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly express relationships. this paper discusses how relationships facilitate the verification of multi-object invariants. We develop a visible states verification technique for Rumer, a relationship-based programming language, and demonstrate our technique on the Composite pattern. the verification technique leverages the "Matryoshka Principle" embodied in the Rumer language: relationships impose a stratification of classes and relationships (with corresponding restrictions on writes to fields, the expression of invariants, and method invocations). the Matryoshka Principle guarantees the absence of transitive call-backs and restores a visible states semantics for multi-object invariants. As a consequence, the modular verification of multi-object invariants is possible.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Types, regions, and effects for safe programming with object-oriented parallel frameworks 11

Types, regions, and effects for safe programming with object...

引用

Proceedings of the 25th european conference on object-oriented programming

作者： Robert L. Bocchino Vikram S. Adve Carnegie Mellon University University of Illinois at Urbana-Champaign

ISBN: (纸本)9783642226540

object-oriented frameworks can make parallel programming easier by providing generic parallel algorithms such as map, reduce, or pipeline and letting the user fill in the details with sequential code. However, such frameworks can produce incorrect behavior if they are not carefully used, e.g., if a user-supplied function performs an unsynchronized access to a global variable. We develop novel techniques that can prevent such errors. Building on a language (Deterministic Parallel Java, or DPJ) with an expressive region-based type and effect system, we show how to write a framework API that enables sound reasoning about the effects of unknown user-supplied methods. We also describe novel extensions to DPJ that enable generic types and effects while retaining soundness. We present a formal semantics and soundness properties for the language. Finally, we describe an evaluation showing that our technique can express three parallel frameworks and three realistic parallel algorithms using those frameworks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mining evolution of object usage 11

Mining evolution of object usage

引用

Proceedings of the 25th european conference on object-oriented programming

作者： Yana Momchilova Mileva Andrzej Wasylkowski Andreas Zeller Saarland University Saarbrücken Germany

ISBN: (纸本)9783642226540

As software evolves, so does the interaction between its components. But how can we check if components are updated consistently? By abstracting object usage into temporal properties, we can learn evolution patterns that express how object usage evolves over time. Software can then be checked against these patterns, revealing code that is in need of update: "Your check for isValidWidget() is now superseded by checkWidget()." In an evaluation of seven different versions of three open source projects, our LAMARCK tool was able to detect existing code issues with a precision of 33%-64% and to prevent such issues with a precision of 90%-100%.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modal object diagrams 11

Modal object diagrams

引用

Proceedings of the 25th european conference on object-oriented programming

作者： Shahar Maoz Jan Oliver Ringert Bernhard Rumpe Software Engineering RWTH Aachen University Germany

ISBN: (纸本)9783642226540

While object diagrams (ODs) are widely used as a means to document object-oriented systems, they are expressively weak, as they are limited to describe specific possible snapshots of the system at hand. In this paper we introduce modal object diagrams (MODs), which extend the classical OD language with positive/negative and example/invariant modalities. the extended language allows the designer to specify not only positive example models but also negative examples, ones that the system should not allow, positive invariants, ones that all system's snapshots should include, and negative invariants, ones that no system snapshot is allowed to include. Moreover, as a primary application of the extended language we provide a formal verification technique that decides whether a given class diagram satisfies (i.e., models) a multi-modal object diagrams specification. In case of a negative answer, the technique outputs relevant counterexample object models, as applicable. the verification is based on a reduction to Alloy. the ideas are implemented in a prototype Eclipse plug-in. Examples show the usefulness of the extended language in specifying structural requirements of object-oriented systems in an intuitive yet expressive way.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An empirical study of object protocols in the wild 11

An empirical study of object protocols in the wild

引用

Proceedings of the 25th european conference on object-oriented programming

作者： Nels E. Beckman Duri Kim Jonathan Aldrich Carnegie Mellon University Pittsburgh

ISBN: (纸本)9783642226540

An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object. However, little is understood about object protocols in practice. this paper describes an empirical study of object protocols in some popular open-source Java programs. In our study, we have attempted to determine how often object protocols are defined, and how often they are used, while also developing a taxonomy of similar protocols. In the open-source projects in our study, comprising almost two million lines of code, approximately 7.2% of all types defined protocols, while 13% of classes were clients of types defining protocols. (For comparison, 2.5% of the types in the Java library define type parameters using Java Generics.) this suggests that protocol checking tools are widely applicable.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Frequency estimation of virtual call targets for object-oriented programs 11

Frequency estimation of virtual call targets for object-orie...

引用

Proceedings of the 25th european conference on object-oriented programming

作者： Cheng Zhang Hao Xu Sai Zhang Jianjun Zhao Yuting Chen Department of Computer Science and Engineering Shanghai Jiao Tong University School of Software Shanghai Jiao Tong University Computer Science & Engineering Department University of Washington Department of Computer Science and Engineering Shanghai Jiao Tong University and School of Software Shanghai Jiao Tong University

ISBN: (纸本)9783642226540

the information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this information, most of the existing approaches rely on dynamic profiling. they usually require running the programs with representative workloads, which are often absent in practice. Additionally, some kinds of programs are very sensitive to run-time disturbance, thus are generally not suitable for dynamic profiling. therefore, a technique which can statically estimate the execution frequencies of virtual call targets will be very *** this paper we propose an evidence-based approach to frequency estimation of virtual call targets. By applying machine learning algorithms on the data collected from a group of selected programs, our approach builds an estimation model to capture the relations between static features and run-time program behaviors. then, for a new program, the approach estimates the relative frequency for each virtual call target by applying the model to the static features of the program. Once the model has been built, the estimation step is purely static, thus does not suffer the shortcomings of existing dynamic techniques. We have performed a number of experiments on real-world large-scale programs to evaluate our approach. the results show that our approach can estimate frequency distributions which are much more informative than the commonly used uniform distribution.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：