1886 search results - page 185 / 378 » Verifying and Validating Simulation Models |
142
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we report preliminary findings of using cellular automata (CA) as an underlying architecture in controlling the motion of a fivelegged brittle star typed ro...
129
click to vote
CCGRID
2001
IEEE
15 years 7 months ago
2001
IEEE
Recent advances in computing and communication have given rise to the computational grid notion. The core of this computing paradigm is the design of a system for drawing compute ...
158
click to vote
CSFW
2008
IEEE
15 years 5 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
130
click to vote
SIMUTOOLS
2008
15 years 4 months ago
2008
New technologies such as IEEE 802.16 (Wi-MAX) [2] and IEEE 802.11e (Wi-Fi with QoS) [1] enable differentiated services. In this study we explore the potential for increasing the r...