288 search results - page 40 / 58 » The WarpIV Simulation Kernel |
EMMCVPR
2011
Springer
12 years 8 months ago
2011
Springer
The challenge of recovering the topology of massive neuronal circuits can potentially be met by high throughput Electron Microscopy (EM) imagery. Segmenting a 3-dimensional stack o...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we present a high fidelity and efficient emulation framework called TWINE, which combines the accuracy and realism of emulated and physical networks and the scala...
ASAP
2009
IEEE
14 years 6 months ago
2009
IEEE
—Simulating spiking neural networks is of great interest to scientists wanting to model the functioning of the brain. However, large-scale models are expensive to simulate due to...
PADS
2000
ACM
14 years 1 months ago
2000
ACM
In this paper, we introduce a new Time Warp system called ROSS: Rensselaer’s Optimistic Simulation System. ROSS is an extremely modular kernel that is capable of achieving event...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...