1114 search results - page 24 / 223 » Validating optimizations of concurrent C C programs |
SAC
2010
ACM
13 years 10 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
EUROGP
2003
Springer
14 years 2 months ago
2003
Springer
NAR
2007
13 years 8 months ago
2007
MolProbity is a general-purpose web server offering quality validation for 3D structures of proteins, nucleic acids and complexes. It provides detailed all-atom contact analysis o...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
CAV
2010
Springer
14 years 5 days ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...