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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

53 篇 会议
4 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

55 篇 工学
- 51 篇 计算机科学与技术...
- 33 篇 软件工程
- 3 篇 电气工程
- 1 篇 信息与通信工程
- 1 篇 控制科学与工程
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
8 篇 理学
- 6 篇 数学
- 2 篇 生物学
- 1 篇 系统科学
7 篇 管理学
- 5 篇 管理科学与工程(可...
- 3 篇 工商管理
- 3 篇 图书情报与档案管...
4 篇 教育学
- 4 篇 教育学
1 篇 法学
- 1 篇 社会学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

20 篇 object oriented ...
3 篇 object-oriented ...
2 篇 design-by-contra...
2 篇 object-orientati...
2 篇 generative progr...
2 篇 program correctn...
2 篇 gpgpu
2 篇 runtime code gen...
2 篇 parallel computi...
2 篇 unified modeling...
1 篇 access control
1 篇 managed language...
1 篇 interoperability
1 篇 mpi
1 篇 system families
1 篇 c plus plus temp...
1 篇 object-oriented ...
1 篇 programming
1 篇 distance educati...
1 篇 object orientati...

机构

2 篇 univ hamburg dep...
2 篇 ucl dept comp sc...
2 篇 univ geneva obje...
1 篇 department of co...
1 篇 imperial college...
1 篇 universita’ di m...
1 篇 universidad de m...
1 篇 univ nice sophia...
1 篇 oberon microsyst
1 篇 univ warsaw inst...
1 篇 vrije universite...
1 篇 computer science...
1 篇 innopolis univ k...
1 篇 princeton univ d...
1 篇 ibm corp tj wats...
1 篇 swiss federal in...
1 篇 swiss fed inst t...
1 篇 carnegie mellon ...
1 篇 computer science...
1 篇 salzburg univ de...

作者

2 篇 piccinelli g
2 篇 finkelstein a
2 篇 kolesnichenko al...
2 篇 nanz sebastian
2 篇 poskitt christop...
2 篇 mens kim
2 篇 bryce c
2 篇 guéhéneuc yann-g...
1 篇 zuse horst
1 篇 sakkinen m
1 篇 fontoura m
1 篇 szalas andrzej
1 篇 vlissides john
1 篇 zincky j
1 篇 stergiou christo...
1 篇 szyperski c
1 篇 rumpe b
1 篇 ungar d
1 篇 belhamissi y
1 篇 czarnecki k

语言

54 篇 英文
4 篇 其他

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

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

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

详细简洁

排序：

Technology enhanced learning for programming courses - Experiences and comparison

Technology enhanced learning for programming courses - Exper...

引用

2011 14th International conference on Interactive Collaborative Learning, ICL 2011 - 11th International conference Virtual University, VU'11

作者： Ivanović, Mirjana Komlenov, Živana Xinogalos, Stelios Department of Mathematics and Informatics Faculty of Sciences University of Novi Sad Novi Sad Serbia Department of Technology Management University of Macedonia Naoussa Greece

ISBN: (纸本)9781457717475

Methods and approaches behind technology enhanced learning (TEL) in programming courses at a university level encourage continuous research in the last 20 years. Still there is no generally applicable way that would guarantee success. In this paper some experiences gathered during years of a technology-enhanced approach in teaching programming at two universities in two countries are presented and compared. © 2011 IEEE.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Tools and environments for learning object-oriented concepts 1

引用

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

作者： Michiels, Isabel Börstler, Jürgen Bruce, Kim B. PROG Vrije Universiteit Brussel Belgium Umeå University Sweden Williams College MA United States

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

the objective of this workshop was to discuss current techniques, tools and environments for learning object-oriented concepts and to share ideas and experiences about the usage of computer support to teach the basic concepts of object technology. Workshop participants presented current and ongoing research. this was the sixth workshop in a series of workshops on learning objectoriented concepts. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Computer aided instruction

来源：评论

学校读者我要写书评

暂无评论

the runtime structure of object ownership

引用

20th european conference on object-oriented programming, ecoop 2006

作者： Mitchell, Nick IBM TJ Watson Research Center 19 Skyline Drive Hawthorne NY 10532 United States

ISBN: (纸本)3540357262

object-oriented programs often require large heaps to run properly or meet performance goals. they use high-overhead collections, bulky data models, and large caches. Discovering this is quite challenging. Manual browsing and flat summaries do not scale to complex graphs with 20 million objects. Context is crucial to understanding responsibility and inefficient object connectivity. We summarize memory footprint with help from the dominator relation. Each dominator tree captures unique ownership. Edges between trees capture responsibility. We introduce a set of ownership structures, and quantify their abundance. We aggregate these structures, and use thresholds to identify important aggregates. We introduce the ownership graph to summarize responsibility, and backbone equivalence to aggregate patterns within trees. Our implementation quickly generates concise summaries. In two minutes, it generates a 14-node ownership graph from 29 million objects. Backbone equivalence identifies a handful of patterns that account for 80% of a tree's footprint. © Springer-Verlag Berlin Heidelberg 2006.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Quantitative approaches in object-oriented software engineering

Quantitative approaches in object-oriented software engineer...

引用

ecoop 2006 Workshop Reader - 10th european conference on Obiect-oriented programming

作者： Brito e Abreu, Fernando Calero, Coral Guéhéneuc, Yann-Gaël Lanza, Michele Sahraoui, Houari Univ. of Lisbon Portugal Univ. of Castilla Spain Univ. of Montreal Canada Univ. of Lugano Switzerland

ISBN: (纸本)9783540717720

the QAOOSE 2006 workshop brought together, for a full day, researchers working on several aspects related to quantitative evaluation of software artifacts developed with the object-oriented paradigm and related technologies. Ideas and experiences were shared and discussed. this report includes a summary of the technical presentations and subsequent discussions raised by them. 12 out of 14 submitted position papers were presented, covering different aspects such as metrics, components, aspects and visualization, evolution, quality models and refactorings. In the closing session the participants were able to discuss open issues and challenges arising from researching in this area, and they also tried to forecast which will be the hot topics for research in the short to medium term. © Springer-Verlag Berlin Heidelberg 2007.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Guard the Cache: Dispatch Optimization in a Contextual Role-oriented Language 14

Guard the Cache: Dispatch Optimization in a Contextual Role-...

引用

14th International Workshop on Context-oriented programming and Advanced Modularity, COP 2022 - Co-located with ecoop 2022

作者： Schütze, Lars Kummer, Cornelius Castrillon, Jeronimo Technische Universität Dresden Compiler Construction Dresden Germany Technische Universität Dresden Dresden Germany

ISBN: (纸本)9781450399869

Adaptive programming models are increasingly important as context-dependent software conquers more domains. One such a model is role-oriented programming where behavioral changes are implemented by objects playing and renouncing roles. As with other adaptive models, the overhead introduced by source code adaptations is a major showstopper for role-oriented programs. this is in part because the optimizations of object-oriented virtual machines (VMs) do not provide the same performance gains when applied to role-oriented programs. Recently, dispatch plans have been shown to enable optimizations beyond those in VMs, thereby improving the performance of role programs with low variability. this paper introduces guarded dispatch plans, an extension of dispatch plans with a context-aware guarding mechanism that allows reuse in high-variability scenarios. Fine-grained guards use run-time feedback to partially reuse dispatch plans across call sites when contexts are changing. We present an algorithm to construct and compose guarded dispatch plans and provide a reference implementation of the approach. We show that our approach is able to gracefully degrade into a default dispatch approach when variability increases. the implementation is evaluated with synthetic benchmarks capturing different characteristics. Compared to the state-of-the-art implementation in objectTeams we achieved a mean speedup of 3.3 × in static cases, 3.0 × at low variability and the same performance in highly dynamic cases. © 2022 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Invocation assembly lines patterns of invocation and message processing in object remoting middleware

Invocation assembly lines patterns of invocation and message...

引用

14th Annual european conference on Pattern Languages of programming, EuroPLoP 2009

作者： Sobernig, Stefan Zdun, Uwe Institute for Information Systems and New Media Vienna University of Economics and Business WU Vienna Austria Distributed Systems Group Information Systems Institute Vienna University of Technology Austria

ISBN: (纸本)9781446693636

object remoting middleware greatly facilitates creating distributed, object-oriented systems. However, developers face many situations in which a middleware's invocation and message processing architecture fails to fully support all their requirements. this problem is caused, for instance, by limitations in realising certain invocation styles (e.g., one-way and two-way conversations) on top of a shared processing infrastructure, in adding extensions to invocation handling (i.e., add-on services such as security and inspection), and in bypassing selected steps in the invocation handling to balance resource consumption and invocation performance. Often, these limitations are caused by design and implementation decisions taken early when crafting the middleware framework. To better explain the needed decision making, and help developers to apply adaptations or guide the selection of alternatives, we present a pattern language that captures the essentials of invocation and message processing in object remoting middleware. We also outline instantiations of the patterns and their relationships in existing middleware frameworks.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Knowledge-based object-oriented software engineering 1

引用

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

作者： D'Hondt, Maja Mens, Kim Van Paesschen, Ellen System and Software Engineering Lab Vrije Universiteit Brussel Belgium Department of Computing Science and Engineering Université catholique de Louvain Belgium Vrije Universiteit Brussel Belgium

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

the complexity of software domains - such as the financial industry, television and radio broadcasting, hospital management and rental business - is steadily increasing and knowledge management of businesses is becoming more important witht he demand for capturing business processes. On the other hand the volatility of software development expertise needs to be reduced. these are symptoms of a very significant tendency towards making knowledge of different kinds explicit: knowledge about the domain or the business, knowledge about developing software, and even meta-knowledge about these kinds of knowledge. Examples of approaches that are directly related to this tendency or could contribute to it are knowledge engineering, ontologies, conceptual modeling, domain analysis and domain engineering, business rules, workflow management and researchp resented at conferences and journals on Software Engineering and Knowledge Engineering and Automated Software Engineering, formerly known as Knowledge-Based Software Engineering. Whereas this community already contributed for years to researchin knowledge engineering applied to software engineering but also vice versa, this workshop intended to focus on approaches for using explicit knowledge in various ways and in any of the tasks involved in object-oriented programming and software engineering. Another goal of this workshop is to bridge the gap between the aforementioned community and the ecoop community. On the one hand, this workshop was a platform for researchers interested in the symbiosis of knowledge-based or related methods and technologies withob ject-oriented programming or software development. On the other hand it welcomed practitioners confronted with the problems in developing knowledge-intensive software and their approach to tackling them. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Work simplification

来源：评论

学校读者我要写书评

暂无评论

On object extension 12th

On object extension

引用

12th european conference on object-oriented programming, ecoop 1998

作者： Liquori, Luigi DIMI Dip Matematica ed Informatica Università di Udine Via delle Scienze 206 UdineI-33100 Italy

ISBN: (纸本)3540647376

the last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of objects of Fisher, Hon-sell, and Mitchell [15], and the object Calculus of Abadi and Cardelli [2], have focused the attention of the scientific community on object calculi, as a foundation for the more traditional class-based calculi and as an original and safe style of programming. In this paper, we apply four type systems to the functional Lambda Calculus of objects: (a) the Original type system [15];(b) the Fisher's Ph.D type system [14];(c) the Bruce's Matching-based type systems of Bono and Bugliesi [4], and (d) of Liquori [20]. We then compare these type systems with respect to the following points: – small-step versus big-step semantics;– implicit versus explicit polymorphism;– Curry style versus Church style;– static type checking versus run-time type checking;– object extension and/or binary methods versus object subsumption (short account). © Springer-Verlag Berlin Heidelberg 1998.

关键词： Differentiation (calculus)

来源：评论

学校读者我要写书评

暂无评论

Contract-Based General-Purpose GPU programming 2015

Contract-Based General-Purpose GPU Programming

引用

14th ACM SIGPLAN International conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Kolesnichenko, Alexey Poskitt, Christopher M. Nanz, Sebastian Meyer, Bertrand ETH Ziirich Dept Comp Sci Zurich Switzerland Politecn Milan Milan Italy Innopolis Univ Kazan Russia

ISBN: (纸本)9781450336871

Using GPUs as general-purpose processors has revolutionized parallel computing by offering, for a large and growing set of algorithms, massive data-parallelization on desktop machines. An obstacle to widespread adoption, however, is the difficulty of programming them and the low-level control of the hardware required to achieve good performance. this paper suggests a programming library, SafeGPU, that aims at striking a balance between programmer productivity and performance, by making GPU data-parallel operations accessible from within a classical object-oriented programming language. the solution is integrated with the design-by-contract approach, which increases confidence in functional program correctness by embedding executable program specifications into the program text. We show that our library leads to modular and maintainable code that is accessible to GPGPU non-experts, while providing performance that is comparable with hand-written CUDA code. Furthermore, runtime contract checking turns out to be feasible, as the contracts can be executed on the GPU.

关键词： GPGPU parallel computing runtime code generation programming object-orientation design-by-contract program correctness

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：