1980 search results - page 264 / 396 » Compositional Model Checking of Real Time Systems |
146
Voted
CGF
2008
15 years 2 months ago
2008
The paper describes a technique to generate high-quality light field representations from volumetric data. We show how light field galleries can be created to give unexperienced a...
145
click to vote
HPDC
2008
IEEE
15 years 3 months ago
2008
IEEE
Basic data flow patterns which we call idioms, such as stream, transpose, reduction, random access and stencil, are common in scientific numerical applications. We hypothesize tha...
166
click to vote
ICPPW
2005
IEEE
15 years 9 months ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
116
click to vote
SYNTHESE
2008
15 years 3 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
143
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...