1492 search results - page 109 / 299 » Concurrent programming in VISO |
132
Voted
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
123
Voted
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
A concurrent partitioner for partitioning unstructured finite element meshes on distributed memory architectures is developed. The partitioner uses an element-based partitioning st...
135
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
118
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...
92
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...