614 search results - page 13 / 123 » A Variable Rate Execution Model |
DRM
2007
Springer
15 years 4 months ago
2007
Springer
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
RAS
2007
14 years 9 months ago
2007
We use a decomposition approach to generate cooperative strategies for a class of multi-vehicle control problems. By introducing a set of tasks to be completed by the team of vehi...
SEUS
2010
IEEE
14 years 8 months ago
2010
IEEE
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...
130
click to vote
BIOTECHNO
2008
IEEE
15 years 4 months ago
2008
IEEE
We use the data collected by the Lung Image Database Consortium (LIDC) for modeling the radiologists’ nodule interpretations based on image content of the nodule by using decisi...