DATE
2004
IEEE
14 years 9 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
ICANN
2007
Springer
14 years 11 months ago
2007
Springer
SpikeStream is a new simulator of biologically structured spiking neural networks that can be used to edit, display and simulate up to 100,000 neurons. This simulator uses a combin...
ICCAD
2001
IEEE
15 years 2 months ago
2001
IEEE
In this paper we propose a model to predict the performance of synchronous discrete event simulation. The model considers parameters including the number of active objects per cyc...