Sciweavers

2419 search results - page 64 / 484
» A Simple DOCSIS Simulator
Sort
View
HICSS
2003
IEEE
98views Biometrics» more  HICSS 2003»
14 years 3 months ago
On the Limits of Bottom-Up Computer Simulation: Towards a Nonlinear Modeling Culture
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
Kurt A. Richardson
SENSYS
2003
ACM
14 years 3 months ago
TOSSIM: accurate and scalable simulation of entire tinyOS applications
Accurate and scalable simulation has historically been a key enabling factor for systems research. We present TOSSIM, a simulator for TinyOS wireless sensor networks. By exploitin...
Philip Levis, Nelson Lee, Matt Welsh, David E. Cul...
FPGA
2003
ACM
116views FPGA» more  FPGA 2003»
14 years 3 months ago
Hardware-assisted simulated annealing with application for fast FPGA placement
To truly exploit FPGAs for rapid turn-around development and prototyping, placement times must be reduced to seconds; latebound, reconfigurable computing applications may demand p...
Michael G. Wrighton, André DeHon
FMCAD
1998
Springer
14 years 2 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore
TACAS
1998
Springer
98views Algorithms» more  TACAS 1998»
14 years 2 months ago
Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation
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...
Miroslav N. Velev, Randal E. Bryant