设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(2)
CNKI会议论文(1)
CNKI期刊论文0611(12)
Springer电子图书(4)
CNKI学位论文(4398)
知网期刊论文(3717)
在“
SpringerLink电子期刊
”中,
命中:
143
条,耗时:0.0889566 秒
在所有数据库中总计命中:
8,134
条
1.
An Extended Polyhedral Model for SPMD Programs and Its Use in Static
Data
Race
Detection
关键词:
SPMD parallelism
;
Data
race
detection
;
Polyhedral model
;
Phase mapping
;
Space mapping
;
May happen in parallel relations
刊名:Lecture Notes in Computer Science
出版年:2017
2.
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
3.
High platelet count and high probability of CALR
detection
in myeloproliferative neoplasms
作者:
Reza Shirzad
;
Zari Tahan-nejad
;
Javad Mohamadi-asl…
关键词:
Calreticulin
;
JAK2v617f
;
BCR
;
ABL1
;
MPL
;
Myeloproliferative neoplasms
刊名:Comparative Clinical Pathology
出版年:2017
4.
DRDDR: a lightweight method to detect
data
race
s in Linux kernel
作者:
Yunyun Jiang
;
Yi Yang
;
Tian Xiao
;
Tianwei Sheng…
关键词:
Data
race
detection
;
Linux kernel
;
Synchronization
;
Debug register
;
Sample
刊名:The Journal of Supercomputing
出版年:2016
5.
User-Guided Dynamic
Data
Race
Detection
作者:
Markus Metzger (1)
Xinmin Tian (1) (2)
Walfred Tedeschi (1)
1. Intel Corp.
;
Ulm
;
Germany
2. Santa Clara
;
CA
;
USA
关键词:
Data
race
detection
;
Happens
;
before
;
Dynamic program analysis
;
Debugging
刊名:International Journal of Parallel Programming
出版年:2015
6.
Detecting harmful
data
race
s through parallel verification
作者:
Zhendong Wu
;
Kai Lu
;
Xiaoping Wang
;
Xu Zhou
;
Chen Chen
关键词:
Harmful
data
race
;
Concurrent program
;
Dynamic verification
;
Race
detection
刊名:The Journal of Supercomputing
出版年:2015
7.
Development of SCAR markers for rapid and specific
detection
of Pseudomonas syringae pv. morsprunorum
race
s 1 and 2, using conventional and real-time PCR
作者:
Monika Kałużna
;
Pedro Albuquerque…
关键词:
Dot blot hybridisation
;
Stone fruit tree pathogens
;
PCR MP
;
SCAR primers
;
Real
;
time PCR
刊名:Applied Microbiology and Biotechnology
出版年:2016
8.
Detection
of non-CLL-like monoclonal B cell lymphocytosis increases dramatically in the very elderly, while
detection
of CLL-like populations varies by
race
: findings in a multiethnic population-based cohort of elderly women
作者:
Kerstin L. Edlefsen
;
Sindhu Cherian
;
Anneclaire J. De Roos…
刊名:Annals of Hematology
出版年:2016
9.
Detection
of High-Level Synchronization Anomalies in Parallel Programs
作者:
Ali Jannesari (1) (2)
1. German Research School for Simulation Sciences
;
Aachen
;
Germany
2. RWTH Aachen University
;
Aachen
;
Germany
关键词:
Data
race
detection
;
Parallel programs
;
Dynamic analysis
;
Correlated variables
;
High
;
level
data
race
s
刊名:International Journal of Parallel Programming
出版年:2015
10.
Understanding and identifying latent
data
race
s cross-thread interleaving
作者:
Long Zheng
;
Xiaofei Liao
;
Song Wu
;
Xuepeng Fan
;
Hai Jin
关键词:
data
race
;
happens
;
before
;
thread interleaving
刊名:Frontiers of Computer Science in China
出版年:2015
1
2
3
4
5
6
7
8
9
按检索点细分(143)
题名(18)
关键词(13)
文摘(117)
按出版年细分(143)
2017年(3)
2016年(6)
2015年(14)
2014年(13)
2013年(14)
2012年(18)
2011年(8)
2010年(8)
2009年(13)
2008年(11)
2007年(8)
2006年(7)
2005年(3)
2004年(5)
2003年(1)
2002年(6)
2001年(2)
2000年(1)
2000年及以前(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.