95 search results - page 17 / 19 » Dynamic slicing of multithreaded programs for race detection |
212
Voted
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...
189
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
236
Voted
HVC
2005
Springer
16 years 1 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
211
click to vote
ICML
2008
IEEE
16 years 8 months ago
2008
IEEE
The infinite hidden Markov model is a nonparametric extension of the widely used hidden Markov model. Our paper introduces a new inference algorithm for the infinite Hidden Markov...
226
click to vote
ASPLOS
2012
ACM
14 years 3 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...