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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

197 篇 会议
109 篇 期刊文献
8 册 图书

馆藏范围

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

日期分布

学科分类号

215 篇 工学
- 157 篇 计算机科学与技术...
- 112 篇 软件工程
- 37 篇 信息与通信工程
- 29 篇 控制科学与工程
- 19 篇 生物医学工程（可授...
- 18 篇 电气工程
- 15 篇 生物工程
- 14 篇 电子科学与技术（可...
- 12 篇 机械工程
- 10 篇 土木工程
- 8 篇 化学工程与技术
- 7 篇 建筑学
- 6 篇 材料科学与工程（可...
- 5 篇 仪器科学与技术
- 5 篇 动力工程及工程热...
126 篇 理学
- 80 篇 数学
- 20 篇 生物学
- 20 篇 统计学（可授理学、...
- 19 篇 系统科学
- 16 篇 物理学
- 6 篇 化学
52 篇 管理学
- 36 篇 管理科学与工程(可...
- 20 篇 工商管理
- 18 篇 图书情报与档案管...
13 篇 医学
- 11 篇 临床医学
- 10 篇 基础医学(可授医学...
- 6 篇 药学(可授医学、理...
8 篇 法学
- 7 篇 社会学
7 篇 经济学
- 7 篇 应用经济学
5 篇 教育学
- 5 篇 教育学
3 篇 文学
2 篇 哲学
2 篇 农学
2 篇 艺术学
1 篇 军事学

主题

11 篇 artificial intel...
6 篇 computer science
5 篇 support vector m...
4 篇 programming prof...
4 篇 compilers
4 篇 reliability
4 篇 concurrent compu...
4 篇 computer archite...
4 篇 neural networks
4 篇 computational in...
4 篇 optimization
4 篇 monitoring
4 篇 decision making
4 篇 dipper throated ...
4 篇 software design
4 篇 artificial neura...
4 篇 functional progr...
3 篇 safety
3 篇 grey wolf optimi...
3 篇 automation

机构

16 篇 department of sy...
10 篇 department of ap...
7 篇 department of ma...
6 篇 programming meth...
6 篇 department of co...
6 篇 computer enginee...
6 篇 computer techniq...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
4 篇 school of electr...
4 篇 department of co...
4 篇 computer enginee...
4 篇 university of lü...
4 篇 department of ap...
4 篇 national institu...
3 篇 university spbpu...
3 篇 department of ap...
3 篇 zuse institute b...

作者

9 篇 maiti manoranjan
8 篇 mostafa abotaleb
8 篇 pal madhumangal
8 篇 abdelhameed ibra...
7 篇 scholz sven-bodo
7 篇 grelck clemens
7 篇 abotaleb mostafa
5 篇 pal anita
5 篇 el-sayed m.el-ke...
5 篇 abdelaziz a.abde...
5 篇 börcsök j.
5 篇 de meuter wolfga...
5 篇 van cutsem tom
5 篇 doaa sami khafag...
4 篇 choe km
4 篇 bergstra j.a.
4 篇 schwarz m.h.
4 篇 hayek ali
4 篇 dybjer peter
4 篇 mostinckx stijn

语言

306 篇 英文
5 篇 其他
2 篇 中文
1 篇 日文

检索条件"机构=Computer Programming Technology"

共 314 条记录，以下是211-220 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

On optimising shape-generic array programs using symbolic structural information

引用

18th International Symposium on Implementation and Application of Functional Languages, IFL 2006

作者： Trojahner, Kai Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages University of Hertfordshire Department of Computer Science

ISBN: (纸本)9783540741299

Shape-generic programming and high run time performance do match if generic source code is systematically specialised into nongeneric executable code. However, as soon as we drop the assumption of whole-world knowledge or refrain from specialisation for other reasons, compiled generic code is substantially less efficient. Limited effectiveness of code optimisation techniques due to the inherent lack of knowledge about the structural properties of arrays can be identified as the single most important source of inefficiency. However, in many cases partial structural information or structural relationships between arrays would actually suffice for optimisation. We propose symbolic array attributes as a uniform scheme to infer and to represent partial and relational structural information in shape-generic array code. By reusing the regular language to express structural properties in intermediate code, existing optimisations benefit from symbolic array attributes with little or no alteration. In fact, program optimisation and identification of structural properties cross-fertilise each other. We outline our approach in the context of the functional array language SAC and demonstrate its effectiveness by a small case study. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Information analysis

来源：评论

学校读者我要写书评

暂无评论

Mirages: Behavioral intercession in a mirror-based architecture

Mirages: Behavioral intercession in a mirror-based architect...

引用

2007 ACM SIGPLAN International Conference on Object-Oriented programming, Systems, Languages and Applications, OOPSLA - 2007 Dynamic Languages Symposium, DLS

作者： Mostinckx, Stijn Van Cutsem, Tom Timbermont, Stijn Tanter, Éric Programming Technology Lab. Vrije Universiteit Brussel Belgium Computer Science Dept. DCC/CWR University of Chile Chile

ISBN: (纸本)9781595938688

Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, loose coupling with base-level objects and whose structure and design corresponds to the system being mirrored. However, support for behavioral intercession has been limited in contemporary mirror-based architectures, in spite of its many interesting applications. This is due to the fact that mirror-based architectures only support explicit reflection, while behavioral intercession requires implicit reflection. This work reconciles mirrors with behavioral intercession. We discuss the design of a mirror-based architecture with implicit mirrors that can be absorbed in the interpreter, and mirages, base objects whose semantics are defined by implicit mirrors. We describe and illustrate the integration of this reflective architecture for the distributed object-oriented programming language AmbientTalk. © 2007 ACM.

关键词： Mirrors

来源：评论

学校读者我要写书评

暂无评论

Optics in computer architectures: Basis of WDM, technologies and potentials

Optics in computer architectures: Basis of WDM, technologies...

引用

2nd International Conference on Systems, ICONS 2007

作者： Wang, Y. Kusserrow, T. Irmer, S. Hasse, A. Bartels, M. Dharmarasu, N. Hillmer, H. Börcsök, J. Mikami, O. University of Kassel Kassel Germany Department of Computer Architecture and System Programming University of Kassel Germany Department of Information Telecommunication and Electronics School of Information Science and Technology Tokai University Hiratsuka-shi Japan

ISBN: (纸本)0769528074

We present novel concepts, technologies and potentials of optical data communication, especially for future computer architectures. The WDM (wavelength division multiplexing) and the optical wiring technologies are explained in detail. Experimental results of tunable optical filters, which play a major role in WDM systems, are reported. New concepts for novel optical interconnectors and novel miniaturized lasers for direct generation of green light are proposed as examples for possible next generation components to improve the performance of optical communication based computer architecture. © 2007 IEEE.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates

Tranquility: A low disruptive alternative to quiescence for ...

引用

作者： Vandewoude, Yves Ebraert, Peter Berbers, Yolande D'Hondt, Theo Department of Computer Science Katholieke Universiteit Leuven Celestijnenlaan 200A 3001 Heverlee Belgium Programming Technology Lab. Vrije Universiteit Brussel Plainlaan 2 B1050 Brussels Belgium

This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes. We show that their notion of quiescence as a necessary and sufficient condition for safe runtime changes is too strict and results in a significant disruption in the application being updated. In this paper, we introduce a weaker condition: tranquility. We show that tranquility is easier to obtain and less disruptive for the running application but still a sufficient condition to ensure application consistency. We present an implementation of our approach on a component middleware platform and experimentally verify the validity and practical applicability of our approach using data retrieved from a case study. © 2007 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

SAC: Off-the-shelf support for data-parallelism on multicores

SAC: Off-the-shelf support for data-parallelism on multicore...

引用

DAMP 2007: Workshop on Declarative Aspects of Multicore programming

作者： Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages Ratzeburger Allee 160 23538 Lübeck Germany University of Hertfordshire Department of Computer Science College Lane Hatfield AL10 9AB United Kingdom University of Hertfordshire United Kingdom

ISBN: (纸本)1595936904

The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional array processing language SaC. Its compiler technology is geared towards highly runtime-efficient support for shared memory multiprocessors and, thus, is readily applicable to today's off-the-shelf multicore systems. Copyright 2007 ACM.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language 07

Code Generation and Optimization for Transactional Memory Co...

引用

International Symposium on Code Generation and Optimization (CGO)

作者： Cheng Wang Wei-Yu Chen Youfeng Wu Bratin Saha Ali-Reza Adl-Tabatabai Programming System Lab Microprocessor Technology Laboratories Intel Corporation Santa Clara CA USA Computer Science Division University of California Berkeley USA

ISBN: (纸本)9780769527642

Transactional memory offers significant advantages for concurrency control compared to locks. This paper presents the design and implementation of transactional memory constructs in an unmanaged language. Unmanaged languages pose a unique set of challenges to transactional memory constructs - for example, lack of type and memory safety, use of function pointers, aliasing of local variables, and others. This paper describes novel compiler and runtime mechanisms that address these challenges and optimize the performance of transactions in an unmanaged environment. We have implemented these mechanisms in a production-quality C compiler and a high-performance software transactional memory runtime. We measure the effectiveness of these optimizations and compare the performance of lock-based versus transaction-based programming on a set of concurrent data structures and the SPLASH-2 benchmark suite. On a 16 processor SMP system, the transaction-based version of the SPLASH-2 benchmarks scales much better than the coarse-grain locking version and performs comparably to the fine-grain locking version. Compiler optimizations significantly reduce the overheads of transactional memory so that, on a single thread, the transaction-based version incurs only about 6.4% overhead compared to the lock-based version for the SPLASH-2 benchmark suite. Thus, our system is the first to demonstrate that transactions integrate well with an unmanaged language, and can perform as well as fine-grain locking while providing the programming ease of coarse-grain locking even on an unmanaged environment

关键词： Yarn Safety Optimizing compilers Application software Environmental management Runtime environment Power engineering computing Concurrent computing Java Cloning

来源：评论

学校读者我要写书评

暂无评论

Artificial Immune Based Support Vector Machine Algorithm for Fault Diagnosis of Induction Motors

Artificial Immune Based Support Vector Machine Algorithm for...

引用

2007 International Aegean Conference on Electrical Machines and Power Electronics, vol.2

作者： I. AYDIN M. KARAKOSE E. AKIN Computer Technology and Programming Education ProgramKemaliye H. A. AKIN Technical Vocational School of Higher Education Erzincan University Kemaliye Erzincan Turkey Computer Engineering Department Firat University Elazig Turkey

The use of induction motors is widespread in industry. Many researchers have studied the condition monitoring and detecting the faults of induction motors at an early stage. Early detection of motor faults results in fast unscheduled maintenance. In this study, a new artificial immune based support vector machine algorithm is proposed for fault diagnosis of induction motors. Support vector machines (SVMs) have become one of the most popular classification methods in soft computing, recently. However, classification accuracy depends on kernel and penalty parameters. Artificial immune system has abilities of learning, memory and self adaptive control. The kernel and penalizes parameters of support vector machine are tuned using artificial immune system. The training data of support vector machine are extracted from three phase motor current. The new feature vector is constructed based on park's vector approach. The phase space of this feature vector is constructed using nonlinear time series analysis. Broken rotor bar and stator short circuit faults are classified in combined phase space using support vector machines. The experimental data are taken from a three phase induction motor. One, two and three broken rotor bar faults and 10% short circuit of stator faults are detected successfully.

关键词： Support vector machines Artificial immune system Time series analysis Fault detection and diagnosis Induction motors Stator and broken rotor bar faults

来源：评论

学校读者我要写书评

暂无评论

McRT-malloc - A scalable transactional memory allocator 06

McRT-malloc - A scalable transactional memory allocator

引用

ISMM 2006 - 2006 International Symposium on Memory Management

作者： Hudson, Richard L. Saha, Bratin Adl-Tabatabai, Ali-Reza Hertzberg, Benjamin C. Programming System Lab Microprocessor Technology Lab Intel Corporation Computer Architecture Lab Stanford University Palo Alto CA

ISBN: (纸本)1595932216

Emerging multi-core processors promise to provide an exponentially increasing number of hardware threads with every generation. Applications will need to be highly concurrent to fully use the power of these processors. To enable maximum concurrency, libraries (such as malloc-free packages) would therefore need to use non-blocking algorithms. But lock-free algorithms are notoriously difficult to reason about and inappropriate for average programmers. Transactional memory promises to significantly ease concurrent programming for the average programmer. This paper describes a highly efficient non-blocking malloc/free algorithm that supports memory allocation and deallocation inside transactional code blocks. Thus this paper describes a memory allocator 1 that is suitable for emerging multicore applications, while supporting modem concurrency constructs. This paper makes several novel contributions. It is the first to integrate a software transactional memory system with a malloc/free based memory allocator. We present the first algorithm which ensures that space allocated in an aborted transaction is properly freed and does not lead to a space blowup. Unlike previous lock-free malloc packages, our algorithm avoids atomic operations on typical code paths, making our algorithm substantially more efficient. Copyright © 2006 ACM.

关键词： Storage allocation (computer)

来源：评论

学校读者我要写书评

暂无评论

AmbientTalk: Language support for mobile computing

AmbientTalk: Language support for mobile computing

引用

International Workshop on System Support for Future Mobile Computing Applications, FUMCA 2006

作者： Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn De Meuter, Wolfgang D'Hondt, Theo Fund for Scientific Research Flanders Belgium Belgium Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium

ISBN: (纸本)0769527299

An important aspect of system support for mobile computing involves alleviating the issues related to programming the underlying distributed system. Our approach to dealing with these issues is by means of programming language support. To this end, we have designed a high-level, distributed object-oriented programming language - called Ambient Talk - which has been designed specifically for mobile networks. We motivate the need for such dedicated language support based on the fundamental characteristics of mobile distributed systems. Subsequently, we describe the salient features of Ambient Talk with respect to distributed programming by means of an exemplar mobile computing application. © 2006 IEEE.

关键词： Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共32页 << < 18 19 20 21 22 23 24 25 26 27 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：