3616 search results - page 312 / 724 » Conditional Memory Ordering |
133
Voted
CGI
2004
IEEE
15 years 8 months ago
2004
IEEE
Rendering geometric models with complex surface materials in arbitrary lighting environments is a challenging problem. In order to relight and render geometries covered with compl...
150
Voted
DFT
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper addresses the problem of test response compaction. In order to maximize compaction ratio, a single-output encoder based on check matrix of a (n, n1, m, 3) convolutional...
146
Voted
COLT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The present paper introduces a new model for teaching randomized learners. Our new model, though based on the classical teaching dimension model, allows to study the infl...
129
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
161
Voted
CSL
2006
Springer
15 years 8 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...