1222 search results - page 205 / 245 » Verifying a File System Implementation |
111
click to vote
HPDC
2008
IEEE
14 years 12 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...
104
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
CGF
2006
14 years 11 months ago
2006
Within computer graphics, the field of predictive rendering is concerned with those methods of image synthesis which yield results that do not only look real, but are also radiome...
SAB
2010
Springer
14 years 10 months ago
2010
Springer
Playing table tennis is a difficult motor task which requires fast movements, accurate control and adaptation to task parameters. Although human beings see and move slower than mos...
CAV
2009
Springer
16 years 9 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...