44 search results - page 9 / 9 » Memory-Model-Sensitive Data Race Analysis |
CCGRID
2008
IEEE
13 years 6 months ago
2008
IEEE
Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the ...
HPCA
2006
IEEE
14 years 5 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
ISSTA
2010
ACM
13 years 8 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
ECIS
2003
13 years 6 months ago
2003
During the last decade, teams working on information technology (IT) development and implementation projects have experienced significant transformations. Nowadays, many members o...