2650 search results - page 186 / 530 » Simulation and Control of Reactive Systems |
154
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
118
click to vote
CCR
2008
15 years 3 months ago
2008
Anomalous events that affect the performance of networks are a fact of life. It is therefore not surprising that recent years have seen an explosion in research on network anomaly...
117
click to vote
IWSOC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a case study of a single-chip 3G WCDMA/FDD basestation implementation based on a circuit-switched network on chip. As the amount of transistors on a chip conti...
126
click to vote
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
As research begins to explore potential nanotechnologies for future post-CMOS integrated systems, modeling and simulation environments must be developed that can accommodate the c...
126
click to vote
ISER
2000
Springer
2000
Springer
Simulation and Experimental Evaluation of Complete Sensor-Based Coverage in Rectilinear Environments
15 years 7 months ago
: Although sensor-based coverage is a skill which is applicable to a variety of robot tasks, its implementation has so far been limited, mostly by the physical limitations of tradi...