50 search results - page 6 / 10 » Producing scheduling that causes concurrent programs to fail |
140
click to vote
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
130
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
107
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
141
Voted
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Statistical debugging uses machine learning to model program failures and help identify root causes of bugs. We approach this task using a novel Delta-Latent-Dirichlet-Al...
171
Voted
XPU
2010
Springer
15 years 2 months ago
2010
Springer
Experimentation is one way to gain insight into how processes perform for a team, but industry teams rarely do experiments, fearing that such educational excursions will incur extr...