2858 search results - page 426 / 572 » Logics with Aggregate Operators |
164
click to vote
PADS
1997
ACM
15 years 10 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...
170
click to vote
ICCAD
1996
IEEE
15 years 10 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)...
155
click to vote
HYBRID
1997
Springer
15 years 10 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...
164
click to vote
PADS
1996
ACM
15 years 10 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...
165
click to vote
HICSS
1994
IEEE
15 years 10 months ago
1994
IEEE
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...