2211 search results - page 35 / 443 » The state of peer-to-peer simulators and simulations |
DAC
1997
ACM
14 years 20 days ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
SI3D
1995
ACM
14 years 1 days ago
1995
ACM
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
PADS
2003
ACM
14 years 1 months ago
2003
ACM
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...
ICC
2007
IEEE
14 years 11 days ago
2007
IEEE
Stateful tracking is a popular technique in firewall filtering and state replication is used to provide reliable connectivity. This paper proposes a new approach for improving exis...
VLSID
1997
IEEE
14 years 21 days ago
1997
IEEE
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...