Sciweavers

Share
25 search results - page 1 / 5
» pldi 2003
Sort
View
PLDI
2003
ACM
9 years 2 months ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí...
PLDI
2003
ACM
9 years 2 months ago
The nesC language: A holistic approach to networked embedded systems
David Gay, Philip Levis, J. Robert von Behren, Mat...
PLDI
2003
ACM
9 years 2 months ago
Optimizing indirect branch prediction accuracy in virtual machine interpreters
Interpreters designed for efficiency execute a huge number of indirect branches and can spend more than half of the execution time in indirect branch mispredictions. Branch target...
M. Anton Ertl, David Gregg
PLDI
2003
ACM
9 years 2 months ago
A provably sound TAL for back-end optimization
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang
books