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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

69 篇 会议
1 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

59 篇 工学
- 57 篇 软件工程
- 48 篇 计算机科学与技术...
- 4 篇 控制科学与工程
- 3 篇 信息与通信工程
- 1 篇 光学工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 纺织科学与工程
- 1 篇 生物工程
- 1 篇 安全科学与工程
11 篇 理学
- 8 篇 数学
- 3 篇 系统科学
- 1 篇 物理学
- 1 篇 生物学
- 1 篇 统计学（可授理学、...
7 篇 管理学
- 5 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 1 篇 工商管理

主题

5 篇 design
3 篇 program synthesi...
3 篇 languages
3 篇 probabilistic pr...
3 篇 software design
3 篇 java programming...
3 篇 programming by e...
3 篇 programming lang...
2 篇 object oriented ...
2 篇 experimentation
2 篇 performance
2 篇 compilers
2 篇 modules
2 篇 intel ixa
2 篇 parallel program...
2 篇 java
2 篇 register allocat...
2 篇 bank assignment
2 篇 composition
2 篇 end-user program...

机构

3 篇 univ michigan an...
3 篇 carnegie mellon ...
3 篇 univ penn philad...
2 篇 university of to...
2 篇 kyushu institute...
2 篇 kyushu universit...
2 篇 univ chicago il ...
2 篇 univ calif santa...
2 篇 univ texas austi...
1 篇 programming tool...
1 篇 google ca united...
1 篇 univ wisconsin d...
1 篇 univ southern ca...
1 篇 mpi sws saarbruc...
1 篇 univ wisconsin m...
1 篇 radboud univ nij...
1 篇 network speed te...
1 篇 institute for co...
1 篇 university of ma...
1 篇 university of tw...

作者

2 篇 wang xinyu
2 篇 sherwood timothy
2 篇 fursin grigori
2 篇 chong frederic t...
2 篇 alur rajeev
2 篇 hardekopf ben
2 篇 dillig isil
1 篇 milano matthew
1 篇 blinn andrew
1 篇 tao runzhou
1 篇 kashyap vineeth
1 篇 pailoor shankara
1 篇 campagna giovann...
1 篇 fedorova alexand...
1 篇 collins nick
1 篇 sewe andreas
1 篇 lerner sorin
1 篇 best micah j.
1 篇 f.r.m. barnes
1 篇 ekman torbjorn

语言

71 篇 英文

检索条件"任意字段=Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation"

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

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

详细简洁

排序：

Evaluating Iterative Optimization Across 1000 Data Sets 10

Evaluating Iterative Optimization Across 1000 Data Sets

引用

acm sigplan conference on programming language design and implementation

作者： Chen, Yang Huang, Yuanjie Eeckhout, Lieven Fursin, Grigori Peng, Liang Temam, Olivier Wu, Chengyong Chinese Acad Sci ICT LCSA Key Lab Comp Syst & Architecture Beijing Peoples R China Chinese Acad Sci Grad Sch Beijing Peoples R China INRIA Saclay France Univ Ghent Ghent Belgium

ISBN: (纸本)9781450300193

While iterative optimization has become a popular compiler optimization approach, it is based on a premise which has never been truly evaluated: that it is possible to learn the best compiler optimizations across data sets. Up to now, most iterative optimization studies find the best optimizations through repeated runs on the same data set. Only a handful of studies have attempted to exercise iterative optimization on a few tens of data sets. In this paper, we truly put iterative compilation to the test for the first time by evaluating its effectiveness across a large number of data sets. We therefore compose KDataSets, a data set suite with 1000 data sets for 32 programs, which we release to the public. We characterize the diversity of KDataSets, and subsequently use it to evaluate iterative optimization. We demonstrate that it is possible to derive a robust iterative optimization strategy across data sets: for all 32 programs, we find that there exists at least one combination of compiler optimizations that achieves 86% or more of the best possible speedup across all data sets using Intel's ICC (83% for GNU's GCC). This optimal combination is program-specific and yields speedups up to 1.71 on ICC and 2.23 on GCC over the highest optimization level (-fast and -03, respectively). This finding makes the task of optimizing programs across data sets much easier than previously anticipated, and it paves the way for the practical and reliable usage of iterative optimization. Finally, we derive pre-shipping and post-shipping optimization strategies for software vendors.

关键词： design Experimentation Measurement Performance

来源：评论

学校读者我要写书评

暂无评论

Archface: a contract place where architectural design and code meet together

Archface: a contract place where architectural design and co...

引用

International conference on Software Engineering (ICSE)

作者： Naoyasu Ubayashi Jun Nomura Tetsuo Tamai Kyushu University Fukuoka Japan Kyushu Institute of Technology Fukuoka Japan University of Tokyo Tokyo Japan

This paper proposes Archface, an interface mechanism for bridging the gap between architectural design and its implementation. Archface, which encapsulates design essence based on the component-and-connector architecture, is not only an ADL (Architecture Description language) but also a programming-level interface. Archface is effective for software evolution because traceability between design and its implementation can be realized by enforcing architectural constraints on program implementation, and this traceability is bidirectional. In Archface, a component exposes program points such as method call/execution and a connector defines how to coordinate exposed program points. A collaborative architecture consisting of components can be encapsulated into a group of interfaces and separated from implementation, because dynamic program points representing control flow can be specified in the interfaces. We can characterize the notion of Archface with the phrase "predicate coordination," in which program points are exposed by a predicate and coordinated by a trait-based connector.

关键词： Unified modeling language Computer architecture Observers Connectors Computational modeling Weaving Software

来源：评论

学校读者我要写书评

暂无评论

Communicating Process Architectures 2009 - WoTUG-32, Volume 67 Concurrent Systems Engineering Series

引用

丛书名： Concurrent Systems Engineering Series, v. 67

2009年

作者： H.W. Roebbers J.F. Broenink F.R.M. Barnes C.G. Ritson A.T. Sampson G.S. Stiles and B. Vinter P.H. Welch

ISBN: (纸本)9781607500650

This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and *** Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences

关键词： Transputers--Congresses Computer architecture--Congresses Parallel processing (Electronic computers)--Congresses occam (Computer program language)--Congresses

来源：评论

学校读者我要写书评

暂无评论

Aspects and class-based security A survey of interactions between adviceWeaving and the java 2 security model

Aspects and class-based security A survey of interactions be...

引用

2nd Workshop on Virtual Machines and Intermediate languages for Emerging Modularization Mechanisms, VMIL 2008

作者： Sewe, Andreas Bockisch, Christoph Mezini, Mira Technische Universität Darmstadt Hochschulstr. 10 64289 Darmstadt Germany

ISBN: (纸本)9781605583846

Various aspect-oriented languages, e.g., AspectJ, Aspect- Werkz, and JAsCo, have been proposed as extensions to one particular object-oriented base language, namely Java. But these extensions do not fully take the interactions with the Java 2 security model into account. In particular, the implementation technique of advice weaving gives rise to two security issues: the erroneous assignment of aspects to protection domains and the violation of namespace separation. Therefore, a comprehensive discussion of the design choices available with respect to interactions with the dynamic class loading facilities of the Java VM is provided. ©2008.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

design and implementation of context calculus in the GIPSY environment

Design and implementation of context calculus in the GIPSY e...

引用

32nd Annual IEEE International Computer Software and Applications conference, COMPSAC 2008

作者： Paquet, Joey Mokhov, Serguei A. Tong, Xin Department of Computer Science and Software Engineering Faculty of Engineering and Computer Science Concordia University Montreal QC Canada

ISBN: (纸本)9780769532622

GIPSY is a platform providing a framework for the compilation and execution of programs written in intensional programming languages of the Lucid family. While maintaining its use of intenskmality, over the years, Lucid constantly underwent changes in its syntax, and its semantics is getting more and more generalized. Throughout this hectic evolution of the language, various systems for the evaluation of Lucid programs were developed. Due to lack of ability to adapt to the syntax, and semantic changes of the language, all of them met with doom as new evolutions of the language were proposed. Set in this evolutionary aspect of Lucid, GIPSY aims at easing the development of the Lucid family of intensional programming languages by providing a common system into which variants of Lucid can be compiled and executed and, more interestingly, developed in the future. One of the latest evolutions of Lucid is the language Lucx, permitting the explicit use of contexts as first-class atomic entities. This paper presents the integration of Lucx's context calculus into GIPSY. We define the notion of context according to Lucx, its syntax and semantics, as well as operators on such contexts. We then present how context entities have been abstracted into implementation classes and embedded into GIPSY. © 2008 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A component-based model and language for wireless sensor network applications

A component-based model and language for wireless sensor net...

引用

32nd Annual IEEE International Computer Software and Applications conference, COMPSAC 2008

作者： Dearle, Alan Balasubramaniam, Dharini Lewis, Jonathan Morrison, Ron School of Computer Science University of St Andrews

ISBN: (纸本)9780769532622

Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, these users are expected to produce low-level software for a concurrent, real-time and resource-constrained computing environment. In this paper, we introduce a component-based model for wireless sensor network applications and a language, Insense, for supporting the model. An application is modelled as a composition of interacting components and the application model is preserved in the Insense implementation where active components communicate via typed channels. The primary design criteria for Insense include: to abstract over low-level concerns for ease of programming;to permit worst-case space and time usage of programs to be determinable;to support the fractal composition of components whilst eliminating implicit dependencies between them;and, to facilitate the construction of low footprint programs suitable for resource-constrained devices. This paper presents an overview of the component model and Insense, and demonstrates how they meet the above criteria. © 2008 IEEE.

关键词： Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

Can programming be liberated from the two-level style?: Multi-level programming with DeepJava 07

Can programming be liberated from the two-level style?: Mult...

引用

22nd International conference on Object-Oriented programming, Systems, languages and Applications

作者： Kuehne, Thomas Schreiber, Daniel Tech Univ Darmstadt Darmstadt Germany

ISBN: (纸本)9781595937865

Since the introduction of object-oriented programming few programming languages have attempted to provide programmers with more than objects and classes, i.e., more than two levels. Those that did, almost exclusively aimed at describing language properties - i. e., their metaclasses exert linguistic control on language concepts and mechanisms often in order to make the language extensible. In terms of supporting logical domain classification levels, however, they are still limited to two levels. In this paper we conservatively extend the object-oriented programming paradigm to feature an unbounded number of domain classification levels. We can therefore avoid the introduction of accidental complexity into programs caused by accommodating multiple domain levels within only two programming levels. We present a corresponding language design featuring "deep instantiation" and demonstrate its features with a running example. Finally, we outline the implementation of our compiler prototype and discuss the potentials of further developing our language design.

关键词： languages design domain metatypes ontological metamodeling deep characterization

来源：评论

学校读者我要写书评

暂无评论

The JastAdd Extensible Java Compiler 07

The JastAdd Extensible Java Compiler

引用

22nd International conference on Object-Oriented programming, Systems, languages and Applications

作者： Ekman, Torbjorn Hedin, Gorel Univ Oxford Programming Tools Grp Oxford England Lund Univ Dept Comp Sci S-22100 Lund Sweden

ISBN: (纸本)9781595937865

The JastAdd Extensible Java Compiler is a high quality Java compiler that is easy to extend in order to build static analysis tools for Java, and to extend Java with new language constructs. It is built modularly, with a Java 1.4 compiler that is extended to a Java 5 compiler. Example applications that are built as extensions include an alternative backend that generates Jimple, an extension of Java with AspectJ constructs, and the implementation of a pluggable type system for non-null checking and inference. The system is implemented using JastAdd, a declarative Java-like language. We describe the compiler architecture, the major design ideas for building and extending the compiler, in particular, for dealing with complex extensions that affect name and type analysis. Our extensible compiler compares very favorably concerning quality, speed and size with other extensible Java compiler frameworks. It also compares favorably in quality and size compared with traditional non-extensible Java compilers, and it runs within a factor of three compared to javac.

关键词： design languages OOP compilers extensibility declarative frameworks modularity Java

来源：评论

学校读者我要写书评

暂无评论

EXOCHI: Architecture and programming Environment for A Heterogeneous Multi-core Multithreaded System 07

EXOCHI: Architecture and Programming Environment for A Heter...

引用

conference on programming language design and implementation

作者： Wang, Perry H. Collins, Jamison D. Chinya, Gautham N. Jiang, Hong Tian, Xinmin Girkar, Milind Yang, Nick Y. Lueh, Guei-Yuan Wang, Hong Intel Corp Microprocessor Technol Labs Microarchitecture Res Lab Santa Clara CA 95051 USA

ISBN: (纸本)9781595936332

Future mainstream microprocessors will likely integrate specialized accelerators, such as GPUs, onto a single die to achieve better performance and power efficiency. However, it remains a keen challenge to program such a heterogeneous multi-core platform, since these specialized accelerators feature ISAs and functionality that are significantly different from the general purpose CPU cores. In this paper. we present EXOCHI: (1) Exoskeleton Sequencer (EXO), an architecture to represent heterogeneous accelerators as ISA-based MIMD architecture resources, and a shared virtual memory heterogeneous multithreaded program execution model that tightly couples specialized accelerator cores with general purpose CPU cores, and (2) C for Heterogeneous Integration (CHI), an integrated C/C++ programming environment that supports accelerator-specific inline assembly and domain-specific languages. The CHI compiler extends the OpenMP pragma for heterogeneous multithreading programming, and produces a single fat binary with code sections corresponding to different instruction sets. The runtime can judiciously spread parallel Computation across the heterogenous cores to optimize performance and power. We have prototyped the EXO architecture on a physical heterogeneous platform consisting of an Intel (R) Core (TM) 2 Duo Processor and an 8-core 32-thread Intel (R) Graphics Media Accelerator X3000. In addition. we have implemented the CHI integrated programming environment with the Intel (R) C++ Compiler, runtime toolset. and debugger. On the EXO prototype system, we have enhanced a suite of production-quality media kernels for video and image processing to utilize the accelerator through the CHI programming interface, achieving significant speedup (1.41x to 10.97x) over execution on the IA32 CPU alone.

关键词： Heterogeneous multi-cores GPU OpenMP

来源：评论

学校读者我要写书评

暂无评论

User-changeable visibility: Resolving unanticipated name clashes in traits 07

User-changeable visibility: Resolving unanticipated name cla...

引用

22nd International conference on Object-Oriented programming, Systems, languages and Applications

作者： Ducasse, Stephane Wuyts, Roel Bergel, Alexandre INRIA Futurs LISTIC Univ Savoie Language & Software evolut Le Bourget Du Lac France IMEC Louvain Belgium Univ Libre Bruxelles Brussels Belgium LERO Trinity Coll Dublin Ireland

ISBN: (纸本)9781595937865

A trait is a unit of behaviour that can be composed with other traits and used by classes. Traits offer an alternative to multiple inheritance. Conflict resolution of traits, while flexible, does not completely handle accidental method name conflicts: if a trait with method m is composed with another trait defining a different method m then resolving the conflict may prove delicate or infeasible in cases where both versions of m are still needed. In this paper we present freezeable traits, which provide an expressive composition mechanism to support unanticipated method composition conflicts. Our solution introduces private trait methods and lets the class composer change method visibility at composition time (from public to private and vice versa). Moreover two class composers may use different composition policies for the same trait, something which is not possible in mainstream languages. This approach respects the two main design principles of traits: the class composer is empowered and traits can be flattened away. We present an implementation of freezable traits in Smalltalk. As a side-effect of this implementation we introduced private (early-bound and invisible) methods to Smalltalk by distinguishing object-sends from self-sends. Our implementation uses compile-time bytecode manipulation and, as such, introduces no run-time penalties.

关键词： languages dynamic typing traits encapsulation information hiding composition

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：