18 search results - page 4 / 4 » A formal theory for estimating defeaturing-induced engineeri... |
PLDI
2009
ACM
14 years 10 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...