1855 search results - page 259 / 371 » A coding theorem for distributed computation |
118
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
136
Voted
ESCIENCE
2005
IEEE
15 years 9 months ago
2005
IEEE
Existing Grid workflow tools assume that individual components either communicate by passing files from one application to another, or are explicitly linked using interprocess com...
122
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
119
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...
118
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A state-of-the-art integrated environment was created to study interaction among fire, structure and agent models in a fire evacuation from a typical office building. For...