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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

738 篇 会议
127 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

777 篇 工学
- 742 篇 软件工程
- 568 篇 计算机科学与技术...
- 35 篇 控制科学与工程
- 19 篇 电气工程
- 19 篇 信息与通信工程
- 16 篇 生物工程
- 8 篇 土木工程
- 6 篇 建筑学
- 4 篇 化学工程与技术
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 3 篇 环境科学与工程（可...
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 农业工程
59 篇 理学
- 33 篇 数学
- 18 篇 生物学
- 6 篇 物理学
- 6 篇 化学
- 6 篇 系统科学
- 1 篇 大气科学
- 1 篇 地球物理学
- 1 篇 统计学（可授理学、...
58 篇 管理学
- 34 篇 图书情报与档案管...
- 26 篇 管理科学与工程(可...
- 8 篇 工商管理
12 篇 法学
- 12 篇 社会学
- 1 篇 法学
6 篇 教育学
- 6 篇 教育学
3 篇 农学
- 3 篇 作物学
1 篇 医学

主题

250 篇 languages
111 篇 object oriented ...
83 篇 performance
83 篇 design
52 篇 algorithms
46 篇 verification
43 篇 java
41 篇 experimentation
38 篇 reliability
36 篇 computer program...
34 篇 theory
19 篇 human factors
17 篇 concurrency
16 篇 parallel program...
16 篇 object-oriented ...
15 篇 measurement
14 篇 scala
13 篇 aspect oriented ...
13 篇 javascript
12 篇 type systems

机构

18 篇 univ washington ...
13 篇 ecole polytech f...
12 篇 tech univ darmst...
11 篇 microsoft res re...
9 篇 mit csail cambri...
8 篇 univ texas austi...
7 篇 princeton univ p...
7 篇 univ marburg d-3...
7 篇 univ texas austi...
7 篇 aarhus univ dk-8...
6 篇 johannes kepler ...
6 篇 suny binghamton ...
6 篇 harvard univ cam...
6 篇 purdue univ w la...
6 篇 univ calif berke...
5 篇 univ duisburg es...
5 篇 microsoft res ca...
5 篇 ecole polytech f...
5 篇 mcgill univ mont...
5 篇 univ hong kong p...

作者

12 篇 rajan hridesh
12 篇 odersky martin
11 篇 mezini mira
10 篇 hirschfeld rober...
10 篇 binder walter
9 篇 salvaneschi guid...
9 篇 aldrich jonathan
9 篇 ostermann klaus
8 篇 mckinley kathryn...
8 篇 marr stefan
8 篇 rompf tiark
7 篇 oliveira bruno c...
7 篇 noble james
7 篇 liu yu david
7 篇 kuncak viktor
7 篇 gulwani sumit
6 篇 bond michael d.
6 篇 ceze luis
6 篇 van der storm ti...
6 篇 coad peter

语言

747 篇 英文
116 篇 其他
2 篇 中文
1 篇 俄文

检索条件"任意字段=2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages"

共 866 条记录，以下是511-520 订阅

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

详细简洁

排序：

Learning OOP with weakly typed web programming languages adding concrete strategies to a PHP strategy design pattern

Learning OOP with weakly typed web programming languages add...

引用

acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10

作者： Sanders, William B. University of Hartford Multimedia Web Design and Development Dana Hall 310 200 Bloomfield Avenue West Hartford CT 06117 United States

ISBN: (纸本)9781450302401

While strongly typed languages such as C++ and Java are taught using OOP principles and design patterns;weakly typed Web programming languages like PHP and JavaScript often are not because of weak typing. As the weakly typed languages themselves incorporate more OOP structures, such as type hinting in PHP 5.1, educators need to consider ways to include OOP practices in courses where weakly typed languages are taught. This paper suggests one way to introduce OOP principles is through design patterns. Using design patterns educators can introduce both design pattern structures and OOP principles while revealing the practicality of both. © 2010 acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Translucid contracts for modular reasoning about aspect-oriented programs

Translucid contracts for modular reasoning about aspect-orie...

引用

acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10

作者： Bagherzadeh, Mehdi Rajan, Hridesh Leavens, Gary T. Mooney, Sean Iowa State University Ames IA United States University of Central Florida Orlando FL United States

ISBN: (纸本)9781450302401

Several proposals have advocated notion of aspect-oriented (AO) interfaces to solve modular reasoning problems, but have not shown how to specify these interfaces to facilitate modular reasoning. Our work on translucid contracts shows how to specify AO interfaces which allow modular understanding and enforcement of control flow interactions.

关键词： Computer systems programming

来源：评论

学校读者我要写书评

暂无评论

Enabling expressive aspect oriented modular reasoning by translucid contracts

Enabling expressive aspect oriented modular reasoning by tra...

引用

acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10

作者： Bagherzadeh, Mehdi Iowa State University Ames IA United States

ISBN: (纸本)9781450302401

Making assertions about the program's control flow is important for reasoning purposes, e.g. ensuring that an advice proceeds to the original join point. Obliviousness of the base modules to the aspects in aspect oriented languages, like As-pectJ, makes it difficult to make such assertions in a modular manner. Base-aspect interfaces like crosscutting interfaces (XPIs), augmented with blackbox behavioral contracts save modularity of the reasoning process to some extent, but are not expressive enough to specify base-aspect control interactions in their full generality. Translucid contracts are proposed to specify and enforce typical control flow properties.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Hera-JVM: A Runtime System for Heterogeneous Multi-Core Architectures 10

Hera-JVM: A Runtime System for Heterogeneous Multi-Core Arch...

引用

conference on object oriented programming systems, languages and Applications/SPLASH 2010

作者： McIlroy, Ross Sventek, Joe Microsoft Res Cambridge Cambridge England Univ Glasgow Glasgow G12 8QQ Lanark Scotland

ISBN: (纸本)9781450302036

Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores support different instruction set architectures, and the processor as a whole does not provide coherence between the different cores' local memories. We present Hera-JVM, an implementation of the Java Virtual Machine which operates over the Cell processor, thereby making this platforms more readily accessible to mainstream developers. Hera-JVM supports the full Java language;threads from an unmodified Java application can be simultaneously executed on both the main PowerPC-based core and on the additional SPE accelerator cores. Migration of threads between these cores is transparent from the point of view of the application, requiring no modification to Java source code or bytecode. Hera-JVM supports the existing Java Memory Model, even though the underlying hardware does not provide cache coherence between the different core types. We examine Hera-JVM's performance under a series of real-world Java benchmarks from the SpecJVM, Java Grande and Dacapo benchmark suites. These benchmarks show a wide variation in relative performance on the different core types of the Cell processor, depending upon the nature of their workload. Execution of these benchmarks on Hera-JVM can achieve speedups of up to 2.25x by using one of the Cell processor's SPE accelerator cores, compared to execution on the main PowerPC-based core. When all six SPE cores are exploited, parallel workloads can achieve speedups of up to 13x compared to execution on the single PowerPC core.

关键词： Design languages Performances

来源：评论

学校读者我要写书评

暂无评论

An Input-Centric Paradigm for Program Dynamic Optimizations 10

An Input-Centric Paradigm for Program Dynamic Optimizations

引用

conference on object oriented programming systems, languages and Applications/SPLASH 2010

作者： Tian, Kai Jiang, Yunlian Zhang, Eddy Z. Shen, Xipeng Coll William & Mary Dept Comp Sci Williamsburg VA 23185 USA

ISBN: (纸本)9781450302036

Accurately predicting program behaviors (e. g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of remarkable progress, prior studies have not systematically exploited program inputs, a deciding factor for program behaviors. Triggered by the strong and predictive correlations between program inputs and behaviors that recent studies have uncovered, this work proposes to include program inputs into the focus of program behavior analysis, cultivating a new paradigm named input-centric program behavior analysis. This new approach consists of three components, forming a three-layer pyramid. At the base is program input characterization, a component for resolving the complexity in program raw inputs and the extraction of important features. In the middle is input-behavior modeling, a component for recognizing and modeling the correlations between characterized input features and program behaviors. These two components constitute input-centric program behavior analysis, which (ideally) is able to predict the large-scope behaviors of a program's execution as soon as the execution starts. The top layer of the pyramid is input-centric adaptation, which capitalizes on the novel opportunities that the first two components create to facilitate proactive adaptation for program optimizations. By centering on program inputs, the new approach resolves a proactivity-adaptivity dilemma inherent in previous techniques. Its benefits are demonstrated through proactive dynamic optimizations and version selection, yielding significant performance improvement on a set of Java and C programs.

关键词： languages Performance Program inputs Dynamic optimizations Java Virtual Machine Proactivity Seminal behaviors Dynamic version selection Just-In-Time compilation

来源：评论

学校读者我要写书评

暂无评论

The object-oriented trivia show (TOOTS)

The object-oriented trivia show (TOOTS)

引用

acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10

作者： Gray, Jeff White, Jules University of Alabama Department of Computer Science Tuscaloosa AL United States Virginia Tech. Dept. of Electrical and Computer Engineering Blacksburg VA United States

ISBN: (纸本)9781450302401

OOPSLA has a longstanding tradition of being a forum for discussing the cutting edge of technology in a fun and participatory environment. The type of events sponsored by OOPSLA sometimes border on the unconventional. This event represents an atypical panel that conforms to the concept of a game show that is focused on questions and answers related to SPLASH, OOPSLA, and Onward! themes. The goal of the panel is to provide an educational opportunity for attendees to learn about a broad range of topics in a style that encourages audience participation.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Guiding modelers through conflict resolution: A recommender for model versioning

Guiding modelers through conflict resolution: A recommender ...

引用

acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10

作者： Brosch, Petra Seidl, Martina Wieland, Konrad Business Informatics Group Vienna University of Technology Austria

ISBN: (纸本)9781450302401

Like traditional code, software models are usually developed in teams requiring collaboration support in terms of version control systems (VCS). One use case of such a system is integrating concurrently evolved versions of one model into one consistent version. When the modifications are contradicting, then the VCS reports the conflict, but the cumbersome resolution process is left to the user. We present a rec-ommender system which suggests automatically executable conflict resolution patterns.

关键词： Design languages

来源：评论

学校读者我要写书评

暂无评论

Extending abstract GPU APIs to shared memory

Extending abstract GPU APIs to shared memory

引用

acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10

作者： Jacob, Ferosh University of Alabama Department of Computer Science Tuscaloosa AL United States

ISBN: (纸本)9781450302401

Parallel programming is used extensively for general-purpose computations. However, performance of parallel APIs varies for a given problem and a given architecture. This gives rise to the need for having an abstract way to express the parallel problems. This poster presents a new approach through which programmers can access these APIs without having to focus on the technical or platform-specific details. Our earlier approach of Abstract Application programming Interface (API) targeted for Graphical Processing Unit (GPU) programming is extended to shared memory using OpenMP.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Harnessing emergence for manycore programming: Early experience integrating ensembles, adverbs, and object-based inheritance

Harnessing emergence for manycore programming: Early experie...

引用

acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10

作者： Ungar, David Adams, Sam S. IBM Research United States

ISBN: (纸本)9781450302401

We believe that embracing nondeterminism and harnessing emergence have great potential to simplify the task of programming manycore processors. To that end, we have designed and implemented Ly, pronounced "Lee", a new parallel programming language built around two new concepts: (i) ensembles which provide for parallel execution and replace all collections and (ii) iterators, and adverbs, which modify the parallel behavior of messages sent to ensembles. The broad issues around programming in this fashion still need investigation, but, after our initial Ly programming experience, we have identified some specific issues that must be addressed in integrating these concepts into an object-based language, including empty ensembles, partial message understanding, non-local returns from ensemble members, and unintended ensembles. © 2010 acm.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Rulemakers and toolmakers: Adaptive object-models as an agile division of labor

Rulemakers and toolmakers: Adaptive object-models as an agil...

引用

acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10

作者： Yoder, Joseph Wirfs-Brock, Rebecca Refactory Inc. United States Wirfs-Brock Associates United States

ISBN: (纸本)9781450302401

Agile practices liberate us from the straightjackets of top-down design. But, the ease with which requirements can change encourages users to overwhelm us with requests for features. The result: featuritis, which promotes hasty construction of poorly designed software to support those features. The design of an expressive domain model might get lost in the rush to write working code. Adaptive object-Models support changeable domain modules by casting business rules as interpreted data and representing objects, properties and relationships in external declarations. Now users can change the system domain models themselves as their business dictates without having to deal with programmers at all. It's the ultimate in agility!

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共87页 << < 48 49 50 51 52 53 54 55 56 57 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：