6518 search results - page 89 / 1304 » Distributed Individual-Based Simulation |
GRID
2007
Springer
14 years 10 months ago
2007
Springer
The Southern California Earthquake Center digital library publishes scientific data generated by seismic wave propagation simulations. The output from a single simulation may be as...
MICCAI
2007
Springer
15 years 11 months ago
2007
Springer
Interventional neuroradiology is a growing field of minimally invasive therapies that includes embolization of aneurysms and arteriovenous malformations, carotid angioplasty and ca...
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
70
Voted
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
PDP
2008
IEEE
15 years 4 months ago
2008
IEEE
The match between a peer-to-peer overlay and the physical Internet infrastructure is a constant issue. Time-constrained peer-to-peer applications such as live streaming systems ar...