29046 search results - page 221 / 5810 » Computable Models |
158
Voted
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
107
Voted
WSC
1997
15 years 5 months ago
1997
This paper discusses the efficiency of various batching methods for estimating performance parameters from steady-state simulation output, e.g., the steadystate mean. Our primary ...
137
Voted
IJON
2000
15 years 3 months ago
2000
We present a software package for the simulation of very large neuronal networks on parallel computers. The package can be run on any system with an implementation of the Message ...
CGA
2006
15 years 3 months ago
2006
128
Voted
SAC
2011
ACM
14 years 6 months ago
2011
ACM
