1321 search results - page 73 / 265 » Logic Simulation Using Networks of State Machines |
143
Voted
DSRT
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper proposes a novel Lightweight Time Warp (LTW) protocol for high-performance parallel optimistic simulation of large-scale DEVS and CellDEVS models. By exploiting the cha...
137
Voted
ANSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Simulation lag is a known issue in networked virtual environments where users are geographically distributed. When users collaborate across the network using haptics, there are al...
141
Voted
ISCC
2006
IEEE
15 years 8 months ago
2006
IEEE
Network resource management and control is a complex problem that requires robust, possibly intelligent, control methodologies to obtain satisfactory performance. While many Activ...
246
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
148
Voted
PVLDB
2010
15 years 1 months ago
2010
To enable smart environments and self-tuning data centers, we are developing the Aspen system for integrating physical sensor data, as well as stream data coming from machine logi...