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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

81 篇 会议
5 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

72 篇 工学
- 69 篇 计算机科学与技术...
- 59 篇 软件工程
- 3 篇 信息与通信工程
- 2 篇 控制科学与工程
- 2 篇 环境科学与工程（可...
- 2 篇 生物医学工程（可授...
- 1 篇 电气工程
- 1 篇 电子科学与技术（可...
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 生物工程
19 篇 理学
- 15 篇 数学
- 2 篇 生物学
- 1 篇 物理学
- 1 篇 系统科学
6 篇 管理学
- 4 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
3 篇 教育学
- 2 篇 教育学
- 1 篇 心理学(可授教育学...
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

30 篇 object oriented ...
5 篇 semantics
4 篇 software enginee...
4 篇 programming tech...
4 篇 programming lang...
3 篇 computer communi...
3 篇 object-oriented ...
3 篇 logics and meani...
2 篇 reflection
2 篇 java
2 篇 algebra
2 篇 artificial intel...
2 篇 it in business
2 篇 unified modeling...
2 篇 open source soft...
1 篇 object-oriented ...
1 篇 house heating de...
1 篇 access control
1 篇 exceptions
1 篇 server pages bas...

机构

2 篇 universidade nov...
2 篇 saga d.o.o belgr...
2 篇 carnegie mellon ...
2 篇 i.b.m. thomas j....
2 篇 universidad de c...
1 篇 college of engin...
1 篇 bauman moscow st...
1 篇 center for the s...
1 篇 japan science an...
1 篇 otto von guerick...
1 篇 dipartimento di ...
1 篇 univ wisconsin d...
1 篇 shanghai jiao to...
1 篇 microsoft corp r...
1 篇 ntt docomo
1 篇 university of wi...
1 篇 johannes kepler ...
1 篇 faculty of infor...
1 篇 rensselaer polyt...
1 篇 inst natl rech i...

作者

3 篇 cook william r.
2 篇 noble james
2 篇 poels geert
2 篇 xinogalos stelio...
2 篇 piattini mario
2 篇 ibrahim ali
2 篇 vitek jan
2 篇 e abreu fernando...
2 篇 sahraoui houari ...
1 篇 peter deutsch l.
1 篇 oliveira bruno c...
1 篇 osvald leo
1 篇 vlissides john
1 篇 meseguer josé
1 篇 alonso alejandro
1 篇 kim duri
1 篇 jurgen borstler
1 篇 milanova ana
1 篇 savić miloš
1 篇 tanaka a

语言

86 篇 英文
1 篇 中文

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

共 87 条记录，以下是41-50 订阅

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

详细简洁

排序：

Semantic models for distributed object reflection 16th

引用

16th european conference on object oriented programming (ecoop 2002)

作者： Meseguer, J Talcott, C Univ Illinois Dept Comp Sci Urbana IL 61801 USA SRI Int Comp Sci Lab Menlo Pk CA 94025 USA

ISBN: (纸本)3540437592

A generic formal model of distributed object reflection is proposed, that combines logical reflection with a structuring of distributed objects as nested configurations of metaobject that can control subobjects under them. the model provides mathematical models for a good number of existing models of distributed reflection and of reflective middleware. To illustrate the ideas, we show in some detail how two important models of distributed actor reflection can be naturally obtained as special cases of our generic model, and discuss how several recent models of reflective middleware can be likewise formalized as instances of our model.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

AOP: Does it make sense? the case of concurrency and failures 16th

引用

16th european conference on object oriented programming (ecoop 2002)

作者： Kienzle, J Guerraoui, R Swiss Fed Inst Technol Software Engn Lab CH-1015 Lausanne Switzerland Swiss Fed Inst Technol Distributed Programming Lab CH-1015 Lausanne Switzerland

ISBN: (纸本)3540437592

Concurrency and failures are fundamental problems in distributed computing. One likes to think that the mechanisms needed to address these problems can be separated from the rest of the distributed application: in modern words, these mechanisms could be aspectized. Does this however make sense? this paper relates an experience that conveys our initial and indeed biased intuition that the answer is in general no. Except for simple academic examples, it is hard and even potentially dangerous to separate concurrency control and failure management from the actual application. We point out the very facts that (1) an aspect-oriented language can, pretty much like a macro language, be beneficial for code factorization (but should be reserved to experienced programmers), and (2) concurrency and failures are particularly hard to aspectize because they are usually par. of the phenomenon that objects should simulate. they are in this sense different than other concerns, like for instance tracing, which might be easier to aspectize.

关键词： aspect-oriented programming abstracticn objects concurrency failures exceptions transactions

来源：评论

学校读者我要写书评

暂无评论

Evaluating performance and power of object-oriented vs. procedural programming in embedded processors 1

引用

7th International conference on Reliable Software Technologies - Ada Europe 2002

作者： Chatzigeorgiou, A Stephanides, G Univ Macedonia Dept Appl Informat Thessaloniki 54006 Greece

ISBN: (数字)9783540480464

ISBN: (纸本)3540437843

the development of high-performance and low power portable devices relies on both the underlying hardware architecture and technology as well as on the application software that executes on embedded processor cores. It has been extensively pointed out that the increasing complexity and decreasing time-to-market of embedded software can only be confronted by the use of modular and reusable code, which forces software designers to use objected oriented programming languages such as C++. However, the object-oriented approach is known to introduce a significant performance penalty compared to classical procedural programming. In this paper, the object oriented programming style is evaluated in terms of both performance and power for embedded applications. A set of benchmark kernels is compiled and executed on an embedded processor simulator, while the results are fed to instruction level and memory power models to estimate the power consumption of each system component for both programming styles.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

4th workshop on object-oriented architectural evolution 1

引用

european conference on object-oriented programming, ecoop 2001

作者： Mens, Tom Galal, Galal Hassan Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium School of Informatics and Multimedia Technology University of North London 166-220 Holloway Road LondonN7 8DB United Kingdom

ISBN: (数字)9783540478539

ISBN: (纸本)3540436758

the aim of the fourth workshop on object-oriented Architectural Evolution was to discuss into more detail a number of important issues raised during the previous workshop: the relationship between domain analysis and software architecture, the importance of architectural views and layering techniques, and the applicability of existing object-oriented principles and evolution techniques. this paper summarises the results of the debates held about these issues, reports on convergences of view taken place during the workshop, and suggests some research topics that are worthwhile to pursue in the future. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

Quantitative approaches in object-oriented software engineering 1

引用

european conference on object-oriented programming, ecoop 2001

作者： E Abreu, Fernando Brito Henderson-Sellers, Brian Piattini, Mario Poels, Geert Sahraoui, Houari A. Universidade Nova de Lisboa and INESC Rua Alves Redol 9 Apartado 13069 Lisboa1000 Portugal University of Technology Sidney PO Box 123 BroadwayNSW2007 Australia Universidad de Castilla-La Mancha Ronda de Calatrava 5 Ciudad Real13071 Spain Katholieke Universiteit Leuven and VLEKHO Business School Koningsstraat 336 Brussels1030 Belgium Université de Montréal CP 6128 succ Centre-Ville MontréalQCQC H3C 3J7 Canada

ISBN: (数字)9783540478539

ISBN: (纸本)3540436758

this report summarizes the contributions and debates of the 5th International ecoop Workshop on Quantitative Approaches in object-oriented Software Engineering (QAOOSE 2001), which was held in Budapest on 18–19 June, 2001. the objective of the QAOOSE workshop series is to present, discuss and encourage the use of quantitative methods in object-oriented software engineering research and practice. this year’s workshop included the presentation of eight position papers and one tutorial in the areas of "software metrics definition", "software size, complexity and quality assessment", and "software quality prediction models". the discussion sessions focused on current problems and future research directions in QAOOSE. © Springer-Verlag Berlin Heidelberg 2002.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Quantitative approaches in object-oriented software engineering 1

引用

16th european conference on object-oriented programming, ecoop 2002

作者： Piattini, Mario e Abreu, Fernando Brito Poels, Geert Sahraoui, Houari A. Universidad de Castilla-La Mancha Ronda de Calatrava 5 Ciudad Real13071 Spain Universidade Nova de Lisboa and INESC Rua Alves Redol 9 Apartado 13069 Lisboa1000 Portugal Katholieke Universiteit Leuven VL EKHO Business School Koningsstraat 336 Brussels1030 Belgium Universite de Montreal CP 6128 succ Centre-Ville MontrealQCH3C 3J7 Canada

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

this report summarizes the contributions and debates of the 6th International ecoop Workshop on Quantitative Approaches in object-oriented Software Engineering (QAOOSE 2002), which was held in Malaga on 11 June, 2002. the objective of the QAOOSE workshop series is to present, discuss and encourage the use of quantitative methods in object-oriented software engineering research and practice. this year's workshop included the presentation of eleven position papers in the areas of "software metrics definition", "software size, complexity and quality assessment", and "software quality prediction models". the discussion sessions focused on current problems and future research directions in QAOOSE. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

Using object orientation in high integrity applications: A case study 1

引用

7th International conference on Reliable Software Technologies, Ada-Europe 2002

作者： Alonso, Alejandro López, Roberto Vardanega, Tullio de la Puente, Juan Antonio Departamento de Ingeniería de Sistemas Telemáticos Universidad Politécnica de Madrid MadridE-28040 Spain Technical and Operational Support European Space Research and Technology Centre Noordwijk2200 AG Netherlands

ISBN: (数字)9783540480464

ISBN: (纸本)3540437843

In this work we analyse the suitability of using object-oriented features in high integrity systems, and the interest of redesigning a system implementation to include these constructs. the analysis was based on retrofitting object-oriented programming into the pre-object oriented design of the OBOSS software package. the evaluation of the impact was measured in a number of ways. the implications of this approach, with respect to the requirements for high integrity systems are also discussed. the final conclusion is that in this particular case is not worthwhile retrofitting OOP. © Springer-Verlag Berlin Heidelberg 2002.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Concrete communication abstractions of the next 701 distributed object systems 1

引用

16th european conference on object-oriented programming, ecoop 2002

作者： Beugnard, Antoine Sadou, Salah Duchien, Laurence Jul, Eric ENST-Bretagne Brest France Université de Bretagne Sud Vannes France LIFL Lille France University of Copenhagen Copenhagen Denmark

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

As applications become increasingly distributed and networks provide more and more connection facilities, applications require more and more interconnections, thus communication takes a central part of modern systems. Hence, since large applications parts have been underlined like databases systems or graphical user interface, the goal is to wonder, if we can say the same for the communication part of applications. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

7th Ada-Europe International conference on Reliable Software Technologies, Ada-Europe 2002

引用

7th International conference on Reliable Software Technologies, Ada-Europe 2002

ISBN: (纸本)3540437843

the proceedings contain 28 papers. the special focus in this conference is on Embedded Systems and High-Integrity Systems. the topics include: Embedded systems unsuitable for object orientation;on architectural stability and evolution;encapsulating failure detection;bridging physical and virtual worlds;evaluating performance and power of object-oriented vs. procedural programming in embedded processors;language issues of compiling ada to hardware;software development reengineering;development of a control system for teleoperated robots using UML and Ada95;using a secure java micro-kernel on embedded devices for the reliable execution of dynamically uploaded applications;a POSIX-Ada interface for application-defined scheduling;the influence of code analysis on design;adding design by contract to the ada language;static dependency analysis for concurrent ada 95 programs;a practical approach to data flow analysis for ada 95;prioritization of test cases in MUMCUT test sets;about the difficulties of building a pretty-printer for ada;a tailorable distributed programming environment;modeling and schedulability analysis of hard real-time distributed systems based on ada components;transparent environment for replicated ravenscar applications;concurrency control in transactional drago;GNAT ada database development environment;ada, interfaces and the listener paradigm and using object orientation in high integrity applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Space- and time-efficient implementation of the Java object model 16th

引用

16th european conference on object-oriented programming, ecoop 2002

作者： Bacon, David F. Fink, Stephen J. Grove, David IBM T.J. Watson Research Center P.O. Box 704 Yorktown HeightsNY10598 United States

ISBN: (纸本)3540437592

While many object-oriented languages impose space overhead of only one word per object to support features like virtual method dispatch, Java’s richer functionality has led to implementations that require two or three header words per object. this space overhead increases memory usage and attendant garbage collection costs, reduces cache locality, and constrains programmers who might naturally solve a problem by using large numbers of small objects. In this paper, we show that with careful engineering, a high-performance virtual machine can instantiate most Java objects with only a single-word object header. the single header word provides fast access to the virtual method table, allowing for quick method invocation. the implementation represents other per-object data (lock state, hash code, and garbage collection flags) using heuristic compression techniques. the heuristic retains two-word headers, containing thin lock state, only for objects that have synchronized methods. We describe the implementation of various object models in the IBM Jikes Research Virtual Machine, by introducing a pluggable object model abstraction into the virtual machine implementation. We compare an object model with a two-word header with three different object models with single-word headers. Experimental results show that the object header compression techniques give a mean space savings of 7%, with savings of up to 21%. Compared to the two-word headers, the compressed space-encodings result in application speedups ranging from −1.5% to +2.2%. Performance on synthetic micro-benchmarks ranges from +23% due to benefits from reduced object size, to −12% on a stress test of virtual method invocation. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Locks (fasteners)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：