1249 search results - page 65 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
ICCAD
1999
IEEE
14 years 1 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
WSC
2004
13 years 10 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
— Many distributed systems may be limited in their performance by the number of transactions they are able to support per unit of time. In order to achieve fault tolerance and to...
ETS
2002
IEEE
13 years 8 months ago
2002
IEEE
There is interplay between emotions and learning, but this interaction is far more complex than previous learning theories have articulated--this interplay interacts with other re...