1321 search results - page 87 / 265 » Logic Simulation Using Networks of State Machines |
119
Voted
EWRL
2008
15 years 4 months ago
2008
If one possesses a model of a controlled deterministic system, then from any state, one may consider the set of all possible reachable states starting from that state and using any...
105
Voted
AIIDE
2008
15 years 5 months ago
2008
OpenNERO is an open source game platform designed for game AI research. The software package combines features commonly available in modern game engines (such as 3D graphics, phys...
102
click to vote
WSC
1998
15 years 4 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
139
click to vote
IICAI
2003
15 years 4 months ago
2003
Abstract: Democratic societies throughout the world, it appears, are facing a new type of threat dubbed "asymmetric threat." In this new threat environment the world gove...
121
click to vote
ISPASS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we introduce PTLsim, a cycle accurate full system x86-64 microprocessor simulator and virtual machine. PTLsim models a modern superscalar out of order x86-64 proces...