21 search results - page 5 / 5 » Extending Automatic Parallelization to Optimize High-Level A... |
117
Voted
CONCUR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...