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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

220 篇 会议
57 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

236 篇 工学
- 223 篇 计算机科学与技术...
- 165 篇 软件工程
- 15 篇 控制科学与工程
- 5 篇 电气工程
- 5 篇 电子科学与技术（可...
- 5 篇 建筑学
- 4 篇 信息与通信工程
- 4 篇 土木工程
- 4 篇 生物工程
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 材料科学与工程（可...
- 2 篇 纺织科学与工程
- 1 篇 光学工程
- 1 篇 冶金工程
- 1 篇 交通运输工程
- 1 篇 农业工程
40 篇 理学
- 21 篇 数学
- 12 篇 系统科学
- 5 篇 生物学
- 4 篇 物理学
- 3 篇 化学
- 1 篇 地质学
29 篇 管理学
- 20 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 8 篇 工商管理
4 篇 法学
- 4 篇 社会学
- 1 篇 法学
4 篇 教育学
- 4 篇 教育学
1 篇 农学
- 1 篇 作物学

主题

38 篇 object oriented ...
30 篇 computer systems...
25 篇 computer program...
7 篇 java programming...
6 篇 aspect oriented ...
6 篇 parallel program...
6 篇 concurrency
4 篇 computer systems...
4 篇 static analysis
4 篇 semantics
4 篇 synchronization
3 篇 message passing
3 篇 languages
3 篇 memory managemen...
3 篇 pattern matching
3 篇 logic programmin...
3 篇 computer graphic...
3 篇 specifications
2 篇 computer circuit...
2 篇 type systems

机构

3 篇 uppsala univ upp...
3 篇 university of ca...
3 篇 university of to...
3 篇 mit united state...
3 篇 university of bo...
3 篇 stockholm univer...
3 篇 purdue universit...
2 篇 univ of rocheste...
2 篇 univ bologna dis...
2 篇 univ edinburgh e...
2 篇 brown univ unite...
2 篇 school of softwa...
2 篇 columbia univ un...
2 篇 tokyo inst of te...
2 篇 univ paris vi
2 篇 carnegie mellon ...
2 篇 ibm research
2 篇 virginia tech un...
2 篇 department of co...
2 篇 department of co...

作者

7 篇 ricci alessandro
6 篇 wrigstad tobias
5 篇 agha gul
5 篇 masuhara hidehik...
4 篇 hirschfeld rober...
4 篇 yonezawa akinori
4 篇 tokoro mario
3 篇 watanabe takuo
3 篇 nystrom nathanie...
3 篇 santi andrea
3 篇 van den bos jan
3 篇 kafura dennis
3 篇 sarkar vivek
3 篇 springer matthia...
3 篇 vitek jan
2 篇 wegner peter
2 篇 meseguer josé
2 篇 ducasse stéphane
2 篇 wheelhouse mark
2 篇 lincke daniel

语言

277 篇 英文
1 篇 其他

检索条件"任意字段=Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming"

共 278 条记录，以下是121-130 订阅

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

详细简洁

排序：

@J - Towards rapid development of dynamic analysis tools for the java virtual machine

@J - Towards rapid development of dynamic analysis tools for...

引用

3rd workshop on Virtual Machines and Intermediate Languages, VMIL 2009, held at the 24th acm sigplan Conference on object-Oriented programming, Systems, Languages, and Applications

作者： Binder, Walter Villazón, Alex Ansaloni, Danilo Moret, Philippe Faculty of Informatics University of Lugano Switzerland

ISBN: (纸本)9781605588742

Many software-engineering tools for the Java Virtual Machine that perform some form of dynamic program analysis, such as profilers or debuggers, are implemented with low-level bytecode instrumentation techniques. While program manipulation at the bytecode level is very flexible, because the possible bytecode transformations are not restricted, tool development is tedious and error-prone. Specifying bytecode instrumentation at a higher level using aspect-oriented programming (AOP) is a promising alternative in order to reduce tool development time and cost. However, prevailing AOP frameworks lack some features that are essential for certain dynamic analyses. In this paper, we focus on three common shortcomings in AOP frameworks with respect to the development of aspect-based tools - (1) the lack of mechanisms for passing data between woven advices in local variables, (2) the support for user-defined static analyses at weaving time, and (3) the absence of pointcuts at the level of individual basic blocks of code. We propose @J, an annotation-based AOP language and weaver that integrates support for these three features. We illustrate the benefits of the proposed features with two examples. © 2009 acm.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Grace: Safe Multithreaded programming for C/C++ 09

Grace: Safe Multithreaded Programming for C/C++

引用

24th Annual acm Conference on object-Oriented programming, Systems, Languages and Applications

作者： Berger, Emery D. Yang, Ting Liu, Tongping Novark, Gene Univ Massachusetts Dept Comp Sci Amherst MA 01003 USA

ISBN: (纸本)9781605587660

The shift from single to multiple core architectures means that programmers must write concurrent, multithreaded programs in order to increase application performance. Unfortunately, multithreaded applications are susceptible to numerous errors, including deadlocks, race conditions, atomicity violations, and order violations. These errors are notoriously difficult for programmers to debug. This paper presents Grace, a software-only runtime system that eliminates concurrency errors for a class of multithreaded programs: those based on fork-join parallelism. By turning threads into processes, leveraging virtual memory protection, and imposing a sequential commit protocol, Grace provides programmers with the appearance of deterministic, sequential execution, while taking advantage of available processing cores to run code concurrently and efficiently. Experimental results demonstrate Grace's effectiveness: with modest code changes across a suite of computationally-intensive benchmarks (1-16 lines), Grace can achieve high scalability and performance while preventing concurrency errors.

关键词： Performance Reliability Concurrency determinism deterministic concurrency fork-join sequential semantics

来源：评论

学校读者我要写书评

暂无评论

object spaces for safe image surgery 09

Object spaces for safe image surgery

引用

International workshop on Smalltalk Technologies 2009, IWST'09

作者： Casaccio, Gwenaël Pollet, Damien Denker, Marcus Ducasse, Stéphane INRIA Lille Nord Europe USTL LIFL CNRS UMR 8022 Lille France PLEIAD Laboratory DCC University of Chile Santiago Chile

ISBN: (纸本)9781605588995

Long-lived systems rely on reflective self-modification to evolve. Unfortunately, since such a system is at both ends of a causal loop, this means modifications that impact the reflective layer itself can be overly difficult to apply. This paper introduces objectSpaces, a reification of the familiar Smalltalk image as a first-class entity. By confining the system inside an objectSpace, we isolate the evolution tools from it, while still giving them reflective access to the confined system. We describe the objectSpaces idea, the interface to communicate, inspect, and debug objects contained inside and objectSpace, based on a prototype implementation in GNU Smalltalk. Copyright 2009 acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Context-oriented software transactional memory in Common Lisp

Context-oriented software transactional memory in Common Lis...

引用

5th Dynamic Languages Symposium, DLS '09, Co-located with the 24th Annual acm Conference on object-Oriented programming, Systems, Languages and Applications, OOPSLA 2009

作者： Costanza, Pascal Herzeel, Charlotte D'Hondt, Theo Software Languages Lab Vrije Universiteit Brussel B-1050 Brussels Belgium

ISBN: (纸本)9781605587691

Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched. Although some first steps exist to ease experimenting with different strategies, this still remains a relatively complex and cumbersome task. The reason is that software transactions require STM-specific dynamic crosscutting adaptations, but this is not accounted for in current STM implementations. This paper presents CSTM, an STM framework based on Context-oriented Prorgamming, in which transactions are modeled as dynamically scoped layer activations. It enables expressing transactional variable accesses as user-defined crosscutting concerns, without requiring invasive changes in the rest of a program. This paper presents a proof-of-concept implementation based on ContextL for Common Lisp, along with example STM strategies and preliminary benchmarks, and introduces some of ContextL's unique features for context-dependent variable accesses. Copyright © 2009.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Thorn - Robust, concurrent, extensible scripting on the JVM 09

Thorn - Robust, concurrent, extensible scripting on the JVM

引用

OOPSLA 2009 - 24th Annual acm Conference on object-Oriented programming, Systems, Languages and Applications, OOPSLA 2009

作者： Bloom, Bard Field, John Nystrom, Nathaniel Östlund, Johan Richards, Gregor Strniša, Rok Vitek, Jan Wrigstad, Tobias IBM Research University of Texas Arlington TX United States Purdue University United States University of Cambridge United Kingdom Stockholm University Sweden

ISBN: (纸本)9781605587349

Scripting languages enjoy great popularity due to their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powerful aggregate data types, and allow execution of the completed parts of incomplete programs. The price of these features comes later in the software life cycle. Scripts are hard to evolve and compose, and often slow. An additional weakness of most scripting languages is lack of support for concurrency - though concurrency is required for scalability and interacting with remote services. This paper reports on the design and implementation of Thorn, a novel programming language targeting the JVM. Our principal contributions are a careful selection of features that support the evolution of scripts into industrial grade programs - e.g., an expressive module system, an optional type annotation facility for declarations, and support for concurrency based on message passing between lightweight, isolated processes. On the implementation side, Thorn has been designed to accommodate the evolution of the language itself through a compiler plugin mechanism and target the Java virtual machine. Copyright © 2009 acm.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

Scalable nonblocking concurrent objects for mission critical code

Scalable nonblocking concurrent objects for mission critical...

引用

OOPSLA 2009 Companion - 24th Annual acm Conference on object-Oriented programming, Systems, Languages and Applications, OOPSLA 2009

作者： Dechev, Damian Stroustrup, Bjarne Texas A and M University College Station TX 77843-3112 United States

ISBN: (纸本)9781605587660

The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efficiency. Providing fast and safe concurrent synchronization is of critical importance to such autonomous embedded software systems. The application of nonblocking synchronization is known to help eliminate the hazards of deadlock, livelock, and priority inversion. The nonblocking programming techniques are notoriously difficult to implement and offer a variety of semantic guarantees and usability and performance trade-offs. The present software development and certification methodologies applied at NASA do not reach the level of detail of providing guidelines for the design of concurrent software. The complex task of engineering reliable and efficient concurrent synchronization is left to the programmer's ingenuity. A number of Software Transactional Memory (STM) approaches gained wide popularity because of their easy to apply interfaces, but currently fail to offer scalable nonblocking transactions. In this work we provide an in-depth analysis of the nonblocking synchronization semantics and their applicability in mission critical code. We describe a generic implementation of a methodology for scalable implementation of concurrent objects. Our performance evaluation demonstrates that our approach is practical and outperforms the application of nonblocking transactions by a large factor. In addition, we apply our Descriptor-based approach to provide a solution to the fundamental ABA problem. Our ABA prevention scheme, called the λ-δ approach, outperforms by a large factor the use of garbage collection for the safe management of each shared location. It offers speeds comparable to the application of the architecture-specific CAS2 instruction used for version counting. The λ-δ approach is an ABA prevention technique based on classification of concurrent operations and 3-step execution of a Des

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Supporting incremental change in large system models 09

Supporting incremental change in large system models

引用

International workshop on Smalltalk Technologies 2009, IWST'09

作者： Laval, Jannik Denier, Simon Ducasse, Stéphane Kellens, Andy RMoD Team INRIA CNRS UMR 8022 Lille France Software Languages Lab. Vrije Universiteit Brussels Pleinlaan 2 1050 Brussels Belgium

ISBN: (纸本)9781605588995

When reengineering large systems, software developers would like to assess and compare the impact of multiple change scenarios without actually performing these changes. A change can be effected by applying a tool to the source code, or by a manual refactoring. In addition, tools run over a model are costly to redevelop. It raises an interesting challenge for tools implementors: how to support modification of large source code models to enable comparison of multiple versions. One naive approach is to copy the entire model after each modification. However, such an approach is too expensive in memory and execution time. In this paper we explore different implementations that source code metamodels support multiple versions of a system. We propose a solution based on dynamic binding of entities between multiple versions, providing good access performance while minimizing memory consumption. Copyright 2009 acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Towards an actor-based concurrent machine model

Towards an actor-based concurrent machine model

引用

4th workshop on the Implementation, Compilation, Optimization of object-Oriented Languages and programming Systems, ICOOOLPS 2009

作者： Schippers, Hans Cutsem, Tom Van Marr, Stefan Haupt, Michael Hirschfeld, Robert Universiteit Antwerpen Antwerpen Belgium Vrije Universiteit Brussel Brussels Belgium Hasso Plattner Institute Potsdam Germany

ISBN: (纸本)9781605585413

In this position paper we propose to extend an existing delegation-based machine model with concurrency primitives. The original machine model which is built on the concepts of objects, messages, and delegation, provides support for languages enabling multi-dimensional separation of concerns (MDSOC). We propose to extend this model with an actor-based concurrency model, allowing for both true parallelism as well as lightweight concurrency primitives such as coroutines. In order to demonstrate its expressiveness, we informally describe how three high-level languages supporting different concurrency models can be mapped onto our extended machine model. We also provide an outlook on the extended model's potential to support concurrencyrelated MDSOC features. Copyright 2009 acm.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

DEMO: Thorn - Robust, concurrent scripting on the JVM

DEMO: Thorn - Robust, concurrent scripting on the JVM

引用

OOPSLA 2009 Companion - 24th Annual acm Conference on object-Oriented programming, Systems, Languages and Applications, OOPSLA 2009

ISBN: (纸本)9781605587660

Scripting languages enjoy great popularity due to their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powerful aggregate data types, and allow execution of the completed parts of incomplete programs. The price of these features comes later in the software life cycle. Scripts are hard to evolve and compose, and often slow. An additional weakness of most scripting languages is lack of support for concurrency - though concurrency is required for scalability and interacting with remote services. This paper reports on the design and implementation of Thorn, a novel programming language targeting the JVM. Our principal contributions are a careful selection of features that support the evolution of scripts into industrial grade programs e.g., an expressive module system, an optional type annotation facility for declarations, and support for concurrency based on message passing between lightweight, isolated processes. On the implementation side, Thorn has been designed to accommodate the evolution of the language itself through a compiler plugin mechanism and target the Java virtual machine.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

Experiments with pro-active declarative meta-programming 09

Experiments with pro-active declarative meta-programming

引用

International workshop on Smalltalk Technologies 2009, IWST'09

作者： Gómez, Verónica Uquillas Kellens, Andy Gybels, Kris D'Hondt, Theo Software Languages Lab. Vrije Universiteit Brussel Pleinlaan 2 1050 Brussel Belgium

ISBN: (纸本)9781605588995

Program querying has become a valuable asset in the programmer's toolbox. Using dedicated querying languages, developers can reason about their source code in order to find errors, refactoring opportunities and so on. Within Smalltalk, the SOUL language has been proposed as one such language that offers a declarative and expressive means to query the source code of object-oriented programs. Ever since its inception, SOUL has been used as the underlying technique for a number of academic software engineering tools. Despite its success, one of the problems of SOUL is that, due to its backward chained implementation, it is less suited as a basis for such pro-active software tools. Using SOUL, a developer has to launch the queries over the system manually, rather than automatically receiving feedback whenever the underlying source code is changed. In this paper we present PARACHUT, an alternative logic query language that is based on forward chaining and temporal logic and that allows developers to express queries over the change history of the system. Furthermore, PARACHUT's data-driven nature makes it possible to provide instant feedback to developers when the source code is changed, thus providing better support for pro-active software tools. Copyright 2009 acm.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共28页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：