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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

236 篇 期刊文献
147 篇 会议
11 篇 学位论文
2 册 图书

馆藏范围

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

日期分布

学科分类号

352 篇 工学
- 303 篇 计算机科学与技术...
- 170 篇 软件工程
- 90 篇 电气工程
- 14 篇 控制科学与工程
- 13 篇 信息与通信工程
- 4 篇 电子科学与技术（可...
- 3 篇 材料科学与工程（可...
- 2 篇 机械工程
- 2 篇 仪器科学与技术
- 1 篇 核科学与技术
- 1 篇 生物医学工程（可授...
26 篇 理学
- 21 篇 数学
- 5 篇 物理学
- 1 篇 化学
13 篇 管理学
- 12 篇 管理科学与工程(可...
- 1 篇 图书情报与档案管...
11 篇 教育学
- 11 篇 教育学
3 篇 医学
- 2 篇 临床医学
- 1 篇 基础医学(可授医学...

主题

396 篇 concurrent progr...
26 篇 parallel program...
23 篇 synchronization
19 篇 transactional me...
16 篇 distributed prog...
14 篇 parallel process...
11 篇 threads
11 篇 verification
10 篇 java
10 篇 semantics
9 篇 message passing
9 篇 petri nets
9 篇 functional progr...
9 篇 programming lang...
8 篇 reliability
8 篇 software transac...
7 篇 performance
7 篇 actors
7 篇 mutual exclusion
7 篇 distributed syst...

机构

6 篇 purdue univ dept...
5 篇 digital equipmen...
5 篇 univ calif davis...
4 篇 univ calif santa...
3 篇 microsoft corp r...
3 篇 george mason uni...
3 篇 univ cambridge c...
3 篇 ecole polytech f...
3 篇 tula state univ ...
3 篇 kth royal inst t...
2 篇 swiss fed inst t...
2 篇 salzburg univ de...
2 篇 georgia inst tec...
2 篇 univ glasgow dep...
2 篇 univ fed pelotas...
2 篇 hebei univ sci &...
2 篇 virtuslab smolen...
2 篇 univ lisbon ines...
2 篇 univ porto fac s...
2 篇 inst super tecn ...

作者

8 篇 lamport l
7 篇 olsson ra
5 篇 gehani nh
5 篇 haller philipp
5 篇 jagannathan sure...
4 篇 ricci alessandro
4 篇 nanz sebastian
4 篇 silva josep
4 篇 ziarek lukasz
4 篇 meyer bertrand
4 篇 tamarit salvador
4 篇 hansen pb
3 篇 oliver j.
3 篇 abadi m
3 篇 silva j.
3 篇 ivutin alexey n.
3 篇 llorens marisa
3 篇 raynal michel
3 篇 morandi benjamin
3 篇 troshina anna g.

语言

363 篇 英文
30 篇 其他
2 篇 中文
1 篇 西班牙文

检索条件"主题词=Concurrent Programming"

共 396 条记录，以下是281-290 订阅

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

详细简洁

排序：

Functional verification with completely self-checking tests

Functional verification with completely self-checking tests

引用

1997 IEEE International Verilog HDL Conference

作者： Zhang, E Yogev, E Cisco Systems Inc

ISBN: (纸本)0818679557

Writing thorough testbenches ro verify complex systems is becoming increasingly difficult and lime-consuming. This paper analyzes existing functional verification methodologies, as well as some fundamental problems of functional verification of complex systems. This paper proposes a more powerful and efficient approach for writing fully self-checking tests, using a transaction-based verification method, and concurrent programming techniques, A generic 32x32 cell-based switch fabric system is used as an example to illustrate this methodology.

关键词： verification concurrent programming self-checking transaction-based multi-threaded functional verification testbench Verilog Vera ATM ASIC switches

来源：评论

学校读者我要写书评

暂无评论

Estimation of Parallel Algorithms Efficiency Based on Modified Petri Nets 6

Estimation of Parallel Algorithms Efficiency Based on Modifi...

引用

6th Mediterranean Conference on Embedded Computing (MECO)

作者： Ivutin, Alexey N. Troshina, Anna G. Yesikov, Dmitry O. Vasiliev, Sergey N. Tula State Univ Dept Comp Technol Tula Russia

ISBN: (纸本)9781509067428

Parallel computers have a significantly higher limiting speed of processing compared to sequential ones. However, it is not always possible to realize the potential of parallelism in practice. It can be due to the difference in the types of parallelism between the algorithm and the computer, the inability to parallelize the algorithm onto given number of executive devices or due to non-optimal representation of the program in the computer code. The authors propose an approach to analyzing of the time characteristics of parallel algorithms. They also describe the particular case often missed in considering when the overhead for parallelization may exceed the effect of parallelization. The proposed method allows to assess the influence of indirect factors of estimating and accounting for the overhead costs for the execution of a parallel algorithm.

关键词： concurrent programming semantic Petri-Markov nets semantic relations simulation overhead parallelization optimization problem

来源：评论

学校读者我要写书评

暂无评论

A Tracking Semantics for CSP

A Tracking Semantics for CSP

引用

10th International Conference on Mathematics of Program Construction

作者： Llorens, Marisa Oliver, Javier Silva, Josep Tamarit, Salvador Univ Politecn Valencia E-46022 Valencia Spain

ISBN: (纸本)9783642133206

CSP is a powerful language for specifying complex concurrent systems. Due to the non-deterministic execution order of processes and to synchronizations, many analyses such as deadlock analysis, reliability analysis, and program slicing try to predict properties of the specification which can guarantee the quality of the final system. These analyses often rely on the use of CSP's traces. In this work, we introduce the theoretical basis for tracking concurrent and explicitly synchronized computations in process algebras such as CSP. Tracking computations is a difficult task due to the subtleties of the underlying operational semantics which combines concurrency, non-determinism and non-termination. We define an instrumented operational semantics that generates as a side-effect an appropriate data structure (a track) which can be used to track computations. Formal definition of a tracking semantics improves the understanding of the tracking process, but also, it allows to formally prove the correctness of the computed tracks.

关键词： concurrent programming CSP Semantics Tracking

来源：评论

学校读者我要写书评

暂无评论

The OpenMP Cluster programming Model 22

The OpenMP Cluster Programming Model

引用

Workshop Proceedings of the 51st International Conference on Parallel Processing

作者： Hervé Yviquel Marcio Pereira Emílio Francesquini Guilherme Valarini Gustavo Leite Pedro Rosso Rodrigo Ceccato Carla Cusihualpa Vitoria Dias Sandro Rigo Alan Souza Guido Araujo Institute of Computing UNICAMP Brazil Center for Mathematics Computing and Cognition UFABC Brazil CENPES PETROBRAS Brazil

ISBN: (纸本)9781450394451

Despite the various research initiatives and proposed programming models, efficient solutions for parallel programming in HPC clusters still rely on a complex combination of different programming models (e.g., OpenMP and MPI), languages (e.g., C++ and CUDA), and specialized runtimes (e.g., Charm++ and Legion). On the other hand, task parallelism has shown to be an efficient and seamless programming model for clusters. This paper introduces OpenMP Cluster (OMPC), a task-parallel model that extends OpenMP for cluster programming. OMPC leverages OpenMP’s offloading standard to distribute annotated regions of code across the nodes of a distributed system. To achieve that it hides MPI-based data distribution and load-balancing mechanisms behind OpenMP task dependencies. Given its compliance with OpenMP, OMPC allows applications to use the same programming model to exploit intra- and inter-node parallelism, thus simplifying the development process and maintenance. We evaluated OMPC using Task Bench, a synthetic benchmark focused on task parallelism, comparing its performance against other distributed runtimes. Experimental results show that OMPC can deliver up to 1.53x and 2.43x better performance than Charm++ on CCR and scalability experiments, respectively. Experiments also show that OMPC performance weakly scales for both Task Bench and a real-world seismic imaging application.

关键词： concurrent programming Parallel programming HPC

来源：评论

学校读者我要写书评

暂无评论

Analysis of Students' Preconceptions of Concurrency 1

Analysis of Students' Preconceptions of Concurrency

引用

1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI)

作者： Libert, Cedric Vanhoof, Wim Univ Namur Namur Belgium

ISBN: (纸本)9781450368520

In previous literature, several authors have recommended teaching concurrent programming, as the current evolution of IT involves concurrency. However, in order to teach concurrent programming properly, in a constructivist educational learning framework, we need to know the preconceptions students have regarding it. In this paper, we report on the results found from data collected through a questionnaire submitted in secondary schools to 101 students aged from 12 to 15. We detail the preconceptions of concurrent programming we extracted from the questionnaire answers and formulate recommendations toward creating a course teaching concurrent programming.

关键词： concurrency preconception teaching concurrent programming

来源：评论

学校读者我要写书评

暂无评论

The Extension of Java Annotated Concurrency Specification

The Extension of Java Annotated Concurrency Specification

引用

International Forum on Computer Science-Technology and Applications

作者： Liu Ruixiang Liu Wei Zhu Hong BUU Informat Coll Beijing 100101 Peoples R China Beijing Univ Posts & Telecommun Sch Informat & Commun Engn Beijing PT-100876 Peoples R China China Univ Mining & Technol CUMT Sch Comp Sci & Technol Xuzhou PT-221008 Peoples R China

ISBN: (纸本)9780769539300

JAC is an extended Java that introduces a higher level of concurrency, hiding threads and separating thread synchronization from application logic in a declarative fashion. It attracts people's attention as soon as it appears. But its present version could not support the sharing class static attribute of class object. This paper discusses how to extend JAC specification, how to improve JAC compiler, so that JAC can describe the concurrent programming of sharing class static attribute of class object

关键词： Java comments concurrent programming JAC class static attribute

来源：评论

学校读者我要写书评

暂无评论

Symbolic Reasoning for Automatic Signal Placement 2018

Symbolic Reasoning for Automatic Signal Placement

引用

39th ACM SIGPLAN Conference on programming Language Design and Implementation (PLDI)

作者： Ferles, Kostas Van Geffen, Jacob Dillig, Isil Smaragdakis, Yannis Univ Texas Austin Austin TX 78712 USA Univ Athens Athens Greece

ISBN: (纸本)9781450356985

Explicit signaling between threads is a perennial cause of bugs in concurrent programs. While there are several runtime techniques to automatically notify threads upon the availability of some shared resource, such techniques are not widely-adopted due to their run-time overhead. This paper proposes a new solution based on static analysis for automatically generating a performant explicit-signal program from its corresponding implicit-signal implementation. The key idea is to generate verification conditions that allow us to minimize the number of required signals and unnecessary context switches, while guaranteeing semantic equivalence between the source and target programs. We have implemented our method in a tool called Expresso and evaluate it on challenging benchmarks from prior papers and open-source software. Expresso-generated code significantly outperforms past automatic signaling mechanisms (avg. 1.56x speedup) and closely matches the performance of hand-optimized explicit-signal code.

关键词： Implicit signal monitors concurrent programming symbolic reasoning verification conditions abductive reasoning monitor invariant

来源：评论

学校读者我要写书评

暂无评论

AspectAda: aspect oriented programming for ada95 05

AspectAda: aspect oriented programming for ada95

引用

Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies

作者： Knut H. Pedersen Constantinos Constantinides Concordia University Montreal Quebec Canada

ISBN: (纸本)9781595931856

Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to allow a modular implementation of these concerns. Existing programming languages has been extended with new language features to support aspect-orientation. The most dominant of these language extensions are AspectJ for the Java programming language. However, Java is not ideal for all types of applications, or there exists legacy systems that need to be *** paper presents AspectAda a new language extension to Ada95 and an AspectAda weaver tool built with the Ada Semantic Interface Specifciation (ASIS). The AspectAda language provides powerful language elements to facilitate aspect oriented programming in domains where Ada's capabilities are of high interest and the AspectAda weaver tool demonstrates the AspectAda language in action.

关键词： ada95 aspect-oriented programming (AOP) concurrent programming ada semantic interface specification (ASIS) inheritance anomaly

来源：评论

学校读者我要写书评

暂无评论

Single Operation Multiple Data - Data Parallelism at Subroutine Level

Single Operation Multiple Data - Data Parallelism at Subrout...

引用

14th IEEE International Conference on High Performance Computing and Communications (HPCC) / IEEE 9th International Conference on Embedded Software and Systems (ICESS)

作者： Marques, Eduardo Paulino, Herve Univ Nova Lisboa Fac Ciencias & Tecnol CITI Dept Informat P-2829516 Caparica Portugal

ISBN: (纸本)9780769547497

The parallel nature of the multi-core architectural design can only be fully exploited by concurrent applications. This status quo pushed productivity to the forefront of the language design concerns. The community is demanding for new solutions in the design, compilation, and implementation of concurrent languages, making this research area one of great importance and impact. To that extent this paper proposes the expression of data parallelism at subroutine level. The calling of a subroutine in this context spawns several execution flows, each operating on distinct partitions of the input dataset. Such computations can be expressed by simply annotating sequential subroutines with data distribution and reduction policies, delegating the management of the parallel execution to a dedicated runtime system. The paper overviews the key concepts of the model, illustrating them with some small programming examples, and describes a Java implementation built on top of the X10 [1] runtime system. A performance evaluation attests that this approach can provide good performance gains without burdening the programmer with the writing of specialized code.

关键词： concurrent programming Data Parallelism Single Operation - Multiple Data

来源：评论

学校读者我要写书评

暂无评论

Transparent Runtime Deadlock Elimination 12

Transparent Runtime Deadlock Elimination

引用

21st International Conference on Parallel Architectures and Compilation Techniques (PACT)

作者： Pyla, Hari. K. Varadarajan, Srinidhi Virginia Tech Blacksburg VA 24061 USA

ISBN: (纸本)9781450311823

Thread based concurrent programming is hard due to the potential of concurrency bugs (e.g., data races, atomicity violations, deadlocks, and order violations). While data races and atomicity violations can be ameliorated with appropriate synchronization (a non-trivial problem in itself !), deadlocks require fairly complex avoidance techniques which may fail when the order of lock acquisition is not known apriori [2]. The goal of this research is to present an efficient and practical system that transparently detects and eliminates deadlocks in real-world multi-threaded applications.

关键词： Deadlock Detection and Recovery concurrent programming Program Analysis and Runtime Systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共40页 << < 25 26 27 28 29 30 31 32 33 34 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：