2300 search results - page 118 / 460 » Maximally Concurrent Programs |
100
Voted
ICCAD
2006
IEEE
15 years 9 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...
80
Voted
TPHOL
2009
IEEE
15 years 7 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,...
87
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
87
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
102
click to vote
LICS
2000
IEEE
15 years 5 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...