489 search results - page 36 / 98 » Guiding Spin Simulation |
WSC
1998
13 years 9 months ago
1998
This paper discusses the development of a series of models that ultimately leads to an unusual simulation approach to modeling automated guided vehicles on a factory floor. A pede...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
WOSS
2004
ACM
14 years 1 months ago
2004
ACM
Traditionally, software models are associated with development and maintenance related activities. This paper demonstrates that models also serve a vital purpose in supporting the...
IFIP
2001
Springer
14 years 4 days ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
SUTC
2006
IEEE
14 years 1 months ago
2006
IEEE
- In this paper, we describe a group key management protocol for hierarchical sensor networks where instead of using pre-deployed keys, each sensor node generates a partial key dyn...