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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

78 篇 会议
17 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

77 篇 工学
- 71 篇 计算机科学与技术...
- 53 篇 软件工程
- 8 篇 电子科学与技术（可...
- 7 篇 信息与通信工程
- 6 篇 控制科学与工程
- 4 篇 电气工程
- 4 篇 生物工程
- 3 篇 农业工程
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 动力工程及工程热...
- 1 篇 生物医学工程（可授...
- 1 篇 网络空间安全
32 篇 理学
- 22 篇 数学
- 8 篇 系统科学
- 4 篇 物理学
- 4 篇 生物学
- 1 篇 科学技术史(分学科...
- 1 篇 统计学（可授理学、...
23 篇 管理学
- 15 篇 管理科学与工程(可...
- 10 篇 工商管理
- 9 篇 图书情报与档案管...
3 篇 农学
- 3 篇 作物学
2 篇 文学
- 2 篇 中国语言文学
- 2 篇 外国语言文学
1 篇 哲学
- 1 篇 哲学
1 篇 法学
- 1 篇 社会学

主题

5 篇 semantics
4 篇 memory managemen...
4 篇 optimization
4 篇 instruction sets
4 篇 scheduling
3 篇 parallel program...
3 篇 locks (fasteners...
2 篇 dynamic optimiza...
2 篇 underspecificati...
2 篇 context free gra...
2 篇 tree description...
2 篇 languages
2 篇 programming
2 篇 application soft...
2 篇 modeling languag...
2 篇 software enginee...
2 篇 load modeling
2 篇 tracking
2 篇 acceleration
2 篇 specifications

机构

8 篇 programming syst...
4 篇 programming dist...
3 篇 programming syst...
3 篇 institute for pr...
3 篇 department of co...
2 篇 machine learning...
2 篇 max-planck-insti...
2 篇 vehicular system...
2 篇 programming syst...
2 篇 programming syst...
2 篇 programming syst...
2 篇 tu braunschweig ...
2 篇 programming syst...
2 篇 programming syst...
2 篇 dept. mathematic...
2 篇 programming dist...
2 篇 programming syst...
2 篇 programming syst...
1 篇 depts. of comput...
1 篇 distributed syst...

作者

12 篇 wu youfeng
10 篇 bauer bernhard
8 篇 wang cheng
8 篇 niehren joachim
6 篇 koller alexander
5 篇 smolka gert
5 篇 saha bratin
5 篇 lautenbacher flo...
4 篇 lochau malte
4 篇 breternitz jr. m...
4 篇 kuhlmann marco
3 篇 duchier denys
3 篇 cheng wang
3 篇 adl-tabatabai al...
3 篇 erk katrin
3 篇 rong hongbo
3 篇 youfeng wu
3 篇 debusmann ralph
3 篇 möhl mathias
3 篇 rajagopalan moha...

语言

95 篇 英文

检索条件"机构=programming Systems Lab"

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

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

详细简洁

排序：

Practical weak-atomicity semantics for Java STM 08

Practical weak-atomicity semantics for Java STM

引用

20th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA'08

作者： Menon, Vijay Adl-Tabatabait, Ali-Reza Balensiefer, Steven Hudson, Richard L. Shpeisman, Tatiana Saha, Bratin Welc, Adam Programming Systems Lab Intel Corporation Santa Clara CA 95054 Germany Department of Computer Science and Engineering University of Washington Seattle WA 98195 United States

ISBN: (纸本)9781595939739

As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transaction memory (TM) semantics are complicated by the fact that programs may access the same memory locations both inside and outside transactions. Strongly atomic semantics, where non-transactional accesses are treated as implicit single-operation transactions, remain difficult to provide without specialized hardware support or significant performance overhead. As an alternative, many in the community have informally proposed that a single global lock semantics [18, 10], where transaction semantics are mapped to those of regions protected by a single global lock, provide an intuitive and efficiently implementable model for programmers. In this paper, we explore the implementation and performance implications of single global lock semantics in a weakly atomic STM from the perspective of Java, and we discuss why even recent STM implementations fall short of these semantics. We describe a new weakly atomic Java STM implementation that provides single global lock semantics while permitting concurrent execution, but we show that this comes at a significant performance cost. We also propose and implement various alternative semantics that loosen single lock requirements while still providing strong guarantees. We compare our new implementations to previous ones, including a strongly atomic STM. [24] Copyright 2008 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Parallel programming environment: A key to translating tera-scale platforms into a big success 07

Parallel programming environment: A key to translating tera-...

引用

International Symposium on Code Generation and Optimization, CGO 2007

作者： Fang, Jesse Adl-Tabatabai, Ali Intel Programming Systems Lab.

ISBN: (纸本)0769527647

Moore's Law will continue to increase the number of transistors on die for a couple of decades, as silicon technology moves from 65nm today to 45nm, 32 nm and 22nm in the future. Since the power and thermal constraints increase with frequency, multi-core or many-core will be the way of the future microprocessor. In the near future, HW platforms will have many-cores (>16 cores) on die to achieve >1 TIPs computation power, which will communicate each other through an ondie interconnect fabric with >1 TB/s on-die bandwidth and <30 cycles latency. Off-die D-cache will employ 3D stacked memory technology to tremendously increase off-die cache/memory bandwidth and reduce the latency. Fast copper flex cables will link CPU-DRAM on socket and the optical silicon photonics will provide up to 1 Tb/s I/O bandwidth between boxes. The HW system with TIPs of compute power operating in Tera-bytes of data make this a "Tera-scale" platform. What are the SW implications with the HW changes from uniprocessor to Tera-scale platform with many-cores as "the way of the future?" It will be great challenge for programming environments to help programmers to develop concurrent code for most client software. A good concurrent programming environment should extend the existing programming languages that typical programmers are familiar with, and bring benefits for concurrent programming. There are lots of research topics. Examples of these topics include flexible parallel programming models based on needs from applications, better synchronization mechanisms like Transactional Memory to replace simple "Thread + Lock" structure, nested data parallel language primitives with new protocols, fine-grained synchronization mechanisms with HW support, maybe fine-grained message passing, advanced compiler optimizations for the threaded code, and SW tools in the concurrent programming environment. A more interesting problem is how to use such a many-core system to improve single-threaded performance. ©200

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Parallel programming environment: A key to translating tera-scale platforms into a big success 07

Parallel programming environment: A key to translating tera-...

引用

2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel programming, PPoPP'07

作者： Fang, Jesse Z. Programming Systems Lab. Intel Corporation

ISBN: (纸本)1595936025

Moore's Law will continue to increase the number of transistors on die for a couple of decades, as silicon technology moves from 65nm today to 45nm, 32 nm and 22nm in the future. Since power and thermal constraints increase with frequency, multi-core or many-core microprocessors will be the way of the future. In the near future, hardware platforms will have sixteen or more cores on die to achieve more than one Tera Instructions Per second (TIPs) computation power. These cores will communicate each other through an on-die interconnect fabric with more than one TB/s on-die bandwidth and less than 30 cycles latency. Off-die D-cache will employ 3D stacked memory technology to tremendously increase off-die cache/memory bandwidth and reduce the latency. Fast copper flex cables will link CPU-DRAM on socket and optical silicon photonics will provide up to one Tb/s I/O bandwidth between boxes. The hardware system with TIPs of compute power operating on terabytes of data make this a ?tera-scale? platform. What are the software implications with the hardware changes from uniprocessor to tera-scale platform with many cores as "the way of the future?" It will be a great challenge for programming environments to help programmers develop concurrent code for most client software. A good concurrent programming environment should extend existing programming languages that typical programmers are familiar with, and bring benefits for concurrent programming. There are many research topics. Examples topics include flexible parallel programming models based on needs from applications, better synchronization mechanisms such as Transactional Memory to replace simple ?Thread + Lock? structure, nested data parallel language primitives with new protocols, fine-grained synchronization mechanisms with hardware support, maybe fine-grained message passing, advanced compiler optimizations for the threaded code, and software tools in the concurrent programming environment. A more interesting proble

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

A survey on workflow annotation & composition approaches

A survey on workflow annotation & composition approaches

引用

Workshop on Semantic Business Process and Product Lifecycle Management, SBPM 2007 - Held in Conjunction with the 3rd European Semantic Web Conference, ESWC 2007

作者： Lautenbacher, Florian Bauer, Bernhard Programming Distributed Systems Lab. University of Augsburg Germany

Efficient business processes are key to economic success. With the need to frequently adapt or restructure business processes and workflows in a dynamic market, agile processes and (semi-)automatic workflow and process composition would be useful. Currently, this is a manual and time-consuming task. Automating and optimizing this task is of high interest in research communities. Nevertheless, the orientation differs: Some focus on semantic web services, others on Grid workflows or concentrate on business process management. In this paper we present a survey of available workflow annotation and composition approaches in all of these areas. We additionally categorize and compare them and describe future work.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Mildly context-sensitive dependency languages

Mildly context-sensitive dependency languages

引用

45th Annual Meeting of the Association for Computational Linguistics, ACL 2007

作者： Kuhlmann, Marco Möhl, Mathias Programming Systems Lab. Saarland University Saarbrücken Germany

ISBN: (纸本)9781932432862

Dependency-based representations of natural language syntax require a fine balance between structural flexibility and computational complexity. In previous work, several constraints have been proposed to identify classes of dependency structures that are wellbalanced in this sense;the best-known but also most restrictive of these is projectivity. Most constraints are formulated on fully specified structures, which makes them hard to integrate into models where structures are composed from lexical information. In this paper, we show how two empirically relevant relaxations of projectivity can be lexicalized, and how combining the resulting lexicons with a regular means of syntactic composition gives rise to a hierarchy of mildly context-sensitive dependency languages. © 2007 Association for Computational Linguistics.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

Impacts of multiprocessor configurations on workloads in bioinformatics

Impacts of multiprocessor configurations on workloads in bio...

引用

19th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD

作者： Wu, Youfeng Breternitz Jr., Mauricio Ying, Victor Programming Systems Lab. Microprocessor Technology Labs. Intel Corporation

ISBN: (纸本)9780769530147

Bioinformatics is among the most active research areas in computer science. In this study, we investigate a suite of workloads in bioinformatics on two multiprocessor systems with different configurations, and examine the effects of the configurations on the performance of the workloads. Our result indicates that the configurations of the multiprocessor systems have significant impact on the performance and scalability of the workloads. For example, a number of workloads have significantly higher scalability on one of the systems, but poorer absolute performance than on the other system. However, traditional scalability failed to capture the impacts of the system configurations on the workloads. We present insights on what kinds of workloads will run faster on which systems and propose new metrics to capture the impacts of multiple processor configurations on the workloads. These findings not only provide an easy way to compare results running on different systems, but also enable re-configuration of the underlying systems to run specific workloads efficiently. We also show how processor mapping and loop spreading may help map the workoads to the underlining multiprocessor configuration and achieve consistent scalability for these workloads. © 2007 IEEE.

关键词： Bioinformatics

来源：评论

学校读者我要写书评

暂无评论

Enabling scalability and performance in a large scale CMP environment 07

Enabling scalability and performance in a large scale CMP en...

引用

2007 Eurosys Conference

作者： Saha, Bratin Adl-Tabatabai, Ali-Reza Ghuloum, Anwar Rajagopalan, Mohan Hudson, Richard L. Petersen, Leaf Menon, Vijay Murphy, Brian Shpeisman, Tatiana Sprangle, Eric Rohillah, Anwar Carmean, Doug Fang, Jesse Programming Systems Lab. Intel Corporation Digital Enterprise Group Intel Corporation

ISBN: (纸本)159593636X

Hardware trends suggest that large-scale CMP architectures, with tens to hundreds of processing cores on a single piece of silicon, are iminent within the next decade. While existing CMP machines have traditionally been handled in the same way as SMPs, this magnitude of parallelism introduces several fundamental challenges at the architectural level and this, in turn, translates to novel challenges in the design of the software stack for these platforms. This paper presents the "Many Core Run Time" (McRT), a software prototype of an integrated language runtime that was designed to explore configurations of the software stack for enabling performance and scalability on large scale CMP platforms. This paper presents the architecture of McRT and discusses our experiences with the system, including experimental evaluation that lead to several interesting, non-intuitive findings, providing key insights about the structure of the system stack at this scale. A key contribution of this paper is to demonstrate how McRT enables near linear improvements in performance and scalability for desktop workloads such as the popular XviD encoder and a set of RMS (recognition, mining, and synthesis) applications. Another key contribution of this work is its use of McRT to explore non-traditional system configurations such as a light-weight executive in which McRT runs on "bare metal" and replaces the traditional OS. Such configurations are becoming an increasingly attractive alternative to leverage heterogeneous computing uints as seen in today's CPU-GPU configurations. Copyright 2007 ACM.

关键词： Large scale systems

来源：评论

学校读者我要写书评

暂无评论

Modeling semantic web services using UML 2

Modeling semantic web services using UML 2

引用

3rd International Workshop on Model-Driven Enterprise Information systems - MDEIS 2007;In Conjunction with ICEIS 2007

作者： Lautenbacher, Florian Bauer, Bemhard Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg Germany

ISBN: (纸本)9789898111005

The development of web services and especially semantic web services is a tremendous task for people who are not familiar with all language constructs. Especially with the growing mass of several semantic web service approaches a language-independent service development is needed. This gap can be filled by using model-driven software development. Therefore, in this paper we introduce a meta-model for semantic web services and show the benefits of automatic code generation on the basis of a small example.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Thread scheduling for multi-core platforms 11

Thread scheduling for multi-core platforms

引用

11th Workshop on Hot Topics in Operating systems, HotOS 2007

作者： Rajagopalan, Mohan Lewis, Brian T. Anderson, Todd A. Programming Systems Lab Intel Corporation Santa ClaraCA94054 United States

As multi-core processors with tens or hundreds of cores begin to proliferate, system optimization issues once faced only by the high-performance computing (HPC) community will become important to all programmers. However, unlike with HPC, the focus of the multi-core programmer will be on programming productivity and portability as much as performance. We introduce in this paper a novel scheduling framework for multi-core processors that strikes a balance between control over the system and the level of abstraction. Our framework uses high-level information supplied by the user to guide thread scheduling and also, where necessary, gives the programmer fine control over thread placement. © HotOS 2007.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Transactional programming in a multi-core environment 07

Transactional programming in a multi-core environment

引用

2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel programming, PPoPP'07

作者： Adl-Tabatabai, Ali-Reza Kozyrakis, Christos Saha, Bratin Programming Systems Lab. Microprocessor Technology Lab. Intel Corporation Computer Systems Lab. Electrical Engineering Department Stanford University

ISBN: (纸本)1595936025

With single thread performance starting to plateau, HW architects have turned to chip level multiprocessing (CMP) to increase processing power. All major microprocessor companies are aggressively shipping multi-core products in the mainstream computing market. Moore's law will largely be used to increase HW thread-level parallelism through higher core counts in a CMP environment. CMPs bring new challenges into the design of the software system stack. In this tutorial, we talk about the shift to multi-core processors and the programming implications. In particular, we focus on transactional programming. Transactions have emerged as a promising alternative to lock-based synchronization that eliminates many of the problems associated with lock-based synchronization. We discuss the design of both hardware and software transactional memory and quantify the tradeoffs between the different design points. We show how to extend the Java and C languages with transactional constructs, and how to integrate transactions with compiler optimizations and the language runtime (e.g., memory manager and garbage collection).

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：