1321 search results - page 32 / 265 » Logic Simulation Using Networks of State Machines |
162
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
133
click to vote
LCN
2006
IEEE
16 years 12 days ago
2006
IEEE
Simulators for wireless sensor networks are a valuable tool for system development. However, current simulators can only simulate a single level of a system at once. This makes sy...
133
Voted
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
A simple but accurate pseudo-passive mismatch-shaping D/A converter is described. A digital state machine is used to control the switching sequence of a symmetric two-capacitor ne...
147
click to vote
PADS
2004
ACM
15 years 11 months ago
2004
ACM
Parallel discrete event simulation techniques have enabled the realization of large-scale models of communication networks containing millions of end hosts and routers. However, t...
173
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...