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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 种 纸本馆藏

日期分布

学科分类号

71 篇 工学
- 68 篇 计算机科学与技术...
- 58 篇 软件工程
- 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 订阅

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

详细简洁

排序：

Extensibility for the Masses Practical Extensibility with object Algebras 12

Extensibility for the Masses Practical Extensibility with Ob...

引用

26th european conference on object-oriented programming (ecoop)

作者： Oliveira, Bruno C. D. S. Cook, William R. Natl Univ Singapore Singapore 117548 Singapore Univ Texas Austin Austin TX 78712 USA

ISBN: (纸本)9783642310577;9783642310560

this paper presents a new solution to the expression problem (EP) that works in OO languages with simple generics (including Java or C#). A key novelty of this solution is that advanced typing features, including F-bounded quantification, wildcards and variance annotations, are not needed. the solution is based on object algebras, which are an abstraction closely related to algebraic datatypes and Church encodings. object algebras also have much in common with the traditional forms of the Visitor pattern, but without many of its drawbacks: they are extensible, remove the need for accept methods, and do not compromise encapsulation. We show applications of object algebras that go beyond toy examples usually presented in solutions for the expression problem. In the paper we develop an increasingly more complex set of features for a mini-imperative language, and we discuss a real-world application of object algebras in an implementation of remote batches. We believe that object algebras bring extensibility to the masses: object algebras work in mainstream OO languages, and they significantly reduce the conceptual overhead by using only features that are used by everyday programmers.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Remote Batch Invocation for Web Services Document-oriented Web Services with object-oriented Interfaces

Remote Batch Invocation for Web Services Document-Oriented W...

引用

7th IEEE european conference on Web Services

作者： Ibrahim, Ali Cook, William R. Fisher, Marc, II Tilevich, Eli Univ Texas Austin Dept Comp Sci Austin TX 78712 USA Virginia Tech Dept Comp Sci Blacksburg VA USA

ISBN: (纸本)9780769538549

the Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argue that document-oriented interfaces can be viewed as batches of calls to finer-grained procedural interfaces. Turning this correspondence around, we show that flexible documents can be specified by converting a block of fine-grained invocations into a batch document. Batch blocks can also include conditionals and loops. Our system, Remote Batch Invocation for Web Services, translates object-oriented interfaces into a WSDL describing batches of calls. the WSDL can be used by standard web service clients, but by providing a language extension to support remote batches, our approach features a fully integrated client environment. the result is a powerful infrastructure for web services that directly connects to standard object-oriented interfaces, with tool support to automatically create and decode documents. We have used our infrastructure to create a Web server wrapper for the Amazon Associates Web service, which shows that remote batches can support a clean object-oriented programming model over a stateless web service.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Aliasing, confinement, and ownership in object-oriented programming

引用

17th european conference on object-oriented programming (ecoop 2003)

作者： Clarke, D Drossopoulou, S Noble, J Univ Utrecht Utrecht Netherlands Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England Victoria Univ Wellington Wellington New Zealand

ISBN: (纸本)354022405X

the power of objects lies in the flexibility of their interconnection structure. But this flexibility comes at a cost. Because an object can be modified via any alias, object-oriented programs are hard to understand, maintain, and analyse. Aliasing makes objects depend on their environment in unpredictable ways, breaking the encapsulation necessary for reliable software components, thus making it difficult to reason about and optimise programs, obscuring the flow of information between objects, and introducing security problems. Aliasing is a fundamental difficulty, but we accept its presence. Instead we seek techniques for describing, reasoning about, restricting, analysing, and preventing the connections between objects and the flow of information between them.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

JSPick - A server pages design recovery tool

JSPick - A server pages design recovery tool

引用

7th european conference on Software Maintenance and Reengineering (CSMR 2003)

作者： Draheim, D Fehr, E Weber, G Free Univ Berlin Inst Comp Sci D-1000 Berlin Germany

this paper presents the reverse engineering tool JSPick, which recovers page signatures and form types from server pages based presentation layers. A formal semantics of the tool is given in pseudo-evaluation style.

ISBN: (纸本)0769519024

关键词： reverse engineering Java programming language semantics distributed programming object-oriented programming software maintenance software tools JSPick server pages design recovery tool reverse engineering tool server pages based presentation la

来源：评论

学校读者我要写书评

暂无评论

Frequency Estimation of Virtual Call Targets for object-oriented Programs

引用

25th european conference on object-oriented programming (ecoop)

作者： Zhang, Cheng Xu, Hao Zhang, Sai Zhao, Jianjun Chen, Yuting Shanghai Jiao Tong Univ Dept Comp Sci & Engn Shanghai 200030 Peoples R China Shanghai Jiao Tong Univ Sch Software Shanghai 200030 Peoples R China Univ Washington Comp Sci & Engn Dept Seattle WA 98195 USA

ISBN: (纸本)9783642226557;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 useful. In 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.

关键词： Frequency estimation

来源：评论

学校读者我要写书评

暂无评论

Precise constraint-based type inference for Java

引用

15th european conference on object-oriented programming, ecoop 2001

作者： Wang, Tiejun Smith, Scott F. Department of Computer Science Johns Hopkins University Baltimore MD 21218 United States

ISBN: (纸本)3540422064

Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose significant difficulty for type inference, in particular data polymorphism. Agesen's Cartesian Product Algorithm (CPA) can analyze programs with parametric polymorphism in a reasonably precise and efficient manner, but CPA loses precision for programs with data polymorphism. this paper presents a precise constraint-based type inference system for Java. It uses Data-Polymorphic CPA (DCPA), a novel constraint-based type inference algorithm which extends CPAwit h the ability to accurately and efficiently analyze data polymorphic programs. the system is implemented for the full Java language, and is used to statically verify the correctness of Java downcasts. Benchmark results are given which show that DCPAi s significantly more accurate than CPA and the efficiency of DCPA is close to CPA. © Springer-Verlag 2001.

关键词： 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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：