168 search results - page 15 / 34 » Model Simplification Through Refinement |
105
click to vote
TC
2008
15 years 1 months ago
2008
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...
111
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
114
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
173
Voted
DPHOTO
2010
15 years 3 months ago
2010
Accurate noise level estimation is essential to assure good performance of noise reduction filters. Noise contaminating raw images is typically modeled as additive white and Gauss...
110
click to vote
PTS
2008
15 years 3 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...