搜索页_Concurrency

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(303)	SpringerLink电子期刊(1919)	NATURE电子期刊(3)	ACS电子期刊(2)
Springer电子图书(117)	ProQuest学位论文(201)	Elsevier电子期刊(1154)

在“SpringerLink电子期刊”中，命中：1,919条，耗时：小于0.01 秒

在所有数据库中总计命中：3,699条

1. Surveying concurrency bug detectors based on types of detected bugs

作者： Zhendong Wu ; Kai Lu ; Xiaoping Wang

关键词：concurrency bug detection ; data race ; atomicity violation ; order violation ; deadlock

刊名：SCIENCE CHINA Information Sciences

出版年：2017

2. Adapting concurrency throttling and voltage–frequency scaling for dense eigensolvers

作者： José I. Aliaga ; María Barreda ; M. Asunción Castaño…

关键词：Dense linear algebra ; Eigenvalue problems ; Concurrency throttling (CT) ; Dynamic voltage–frequency scaling (DVFS) ; Energy ; High performance

刊名：The Journal of Supercomputing

出版年：2017

3. Utilizing Concurrency: A New Theory for Memory Wall

刊名：Lecture Notes in Computer Science

出版年：2017

4. Independence Abstractions and Models of Concurrency

刊名：Lecture Notes in Computer Science

出版年：2017

5. Determinism at Standard-Library Level in TM-Based Applications

作者： Vesna Smiljković ; Osman Ünsal…

关键词：Transactional memory ; Deterministic multithreading ; Concurrency bugs ; Standard library ; Serialization

刊名：International Journal of Parallel Programming

出版年：2017

6. PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment

作者： Yan Hu ; Jun Yan ; Kim-Kwang Raymond Choo

关键词：Concurrency analysis ; Profiling ; Dynamic analysis ; Bug reproduction

刊名：Cluster Computing

出版年：2016

7. Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)

作者： Luca Aceto ; David de Frutos Escrig

刊名：Acta Informatica

出版年：2017

8. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

9. Multi-Core Parallel Particle Swarm Optimization for the Operation of Inter-Basin Water Transfer-Supply Systems

作者： Yong Peng ; Anbang Peng ; Xiaoli Zhang ; Huicheng Zhou…

关键词：Inter ; basin water transfer ; supply systems ; Multi ; core ; Parallel particle swarm optimization ; Joint operation model ; Fork/join framework

刊名：Water Resources Management

出版年：2017

10. 10 Years of research on debugging concurrent and multicore software: a systematic mapping study

作者： Sara Abbaspour Asadollah ; Daniel Sundmark ; Sigrid Eldh…

关键词：Concurrent ; Parallel ; Multicore ; Debugging process ; Bugs ; Fault ; Failure ; Systematic mapping study

刊名：Software Quality Journal

出版年：2017

按检索点细分(1919)

题名(363)

关键词(397)

文摘(1604)

按出版年细分(1919)

2017年(12)

2016年(101)

2015年(139)

2014年(145)

2013年(170)

2012年(162)

2011年(47)

2010年(91)

2009年(111)

2008年(112)

2007年(185)

2006年(168)

2005年(185)

2004年(54)

2003年(53)

2002年(51)

2001年(23)

2000年(21)

2000年及以前(89)