3991 search results - page 294 / 799 » Bounding homogeneous models |
191
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
151
click to vote
COLING
2008
15 years 8 months ago
2008
Psycholinguistic studies suggest a model of human language processing that 1) performs incremental interpretation of spoken utterances or written text, 2) preserves ambiguity by m...
189
click to vote
NETWORKING
2007
15 years 8 months ago
2007
This paper addresses the study of fundamental properties of stream-based content distribution services. We assume the presence of an overlay network with limited connectivity degre...
201
click to vote
SNPD
2008
15 years 8 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
177
click to vote
CVGIP
2010
15 years 6 months ago
2010
We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...