2501 search results - page 359 / 501 » Logics with Rank Operators |
136
click to vote
FPGA
1998
ACM
15 years 9 months ago
1998
ACM
Current reconfigurable systems suffer from a significant overhead due to the time it takes to reconfigure their hardware. In order to deal with this overhead, and increase the com...
139
click to vote
PADS
1997
ACM
15 years 8 months ago
1997
ACM
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem ar...
145
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (flip-flops)...
125
click to vote
HYBRID
1997
Springer
15 years 8 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...
136
click to vote
PADS
1996
ACM
15 years 8 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...