6704 search results - page 234 / 1341 » Testing Scenario-Based Models |
154
click to vote
ISPA
2004
Springer
15 years 12 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
143
click to vote
DPHOTO
2010
15 years 8 months ago
2010
Conventional point spread function (PSF) measurement methods often use parametric models for the estimation of the PSF. This limits the shape of the PSF to a specific form provide...
198
click to vote
VC
2008
15 years 6 months ago
2008
We present an efficient approach to reduce the number of elementary tests for continuous collision detection between rigid and deformable models. Our algorithm exploits the connect...
151
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
189
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....