1114 search results - page 23 / 223 » Validating optimizations of concurrent C C programs |
PPOPP
2012
ACM
12 years 4 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
SC
1995
ACM
14 years 12 days ago
1995
ACM
Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of ...
ICFP
2007
ACM
14 years 21 days ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
Exponential increases in architectural design complexity threaten to make traditional processor design optimization techniques intractable. Genetically programmed response surface...
SIGMETRICS
2010
ACM
14 years 1 months ago
2010
ACM
We propose a new approach to optimize the deployment and the sampling rates of network monitoring tools, such as Netflow, on a large IP network. It reduces to solving a stochasti...