4299 search results - page 144 / 860 » Concurrent Test Generation |
217
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
126
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
138
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
With the recent technological feasibility of electronic commerce over the Internet, much attention has been given to the design of electronic markets for various types of electron...
125
Voted
SOSP
2007
ACM
16 years 12 days ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
154
click to vote
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...