4745 search results - page 580 / 949 » Discretization: An Enabling Technique |
209
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
196
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
172
click to vote
CAIP
1995
Springer
15 years 11 months ago
1995
Springer
A particle tracking technique at high particle concentration for the evaluation of flow fields beneath water waves is described. A 14 cm thick light sheet parallel to the main wa...
183
click to vote
ICCAD
1995
IEEE
15 years 11 months ago
1995
IEEE
This paper addresses the problem of speeding up functional (delayindependent)logic simulation for synchronousdigital systems. The problem needs very little new motivation – cycl...
229
click to vote
GROUP
1991
ACM
15 years 11 months ago
1991
ACM
: This paper reports an attempt to move computer-based techniques for supporting the analysis of group cognitive processes and decision-making from being specialist applications to...