Sciweavers

17740 search results - page 243 / 3548
» Simulation Using Orchestration
Sort
View
FMCAD
1998
Springer
15 years 11 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
WSC
2007
15 years 9 months ago
Agent-based modeling and simulation: desktop ABMS
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
Charles M. Macal, Michael J. North
WSC
2008
15 years 9 months ago
Industrial enterprises business processes simulation with BPsim.MAS
Necessity to mind a huge amount of factors while developing modern enterprises models dictates new requirements for modeling software, which needs to process all data to achieve p...
Konstantin A. Aksyonov, Eugene A. Bykov, Elena F. ...
FPL
2008
Springer
163views Hardware» more  FPL 2008»
15 years 8 months ago
Towards an "early neural circuit simulator": A FPGA implementation of processing in the rat whisker system
We have constructed a FPGA-based "early neural circuit simulator" to model the first two stages of stimulus encoding and processing in the rat whisker system. Rats use t...
Brian Leung, Yan Pan, Chris Schroeder, Seda Ogrenc...
WSC
2004
15 years 8 months ago
On-Demand Computation of Policy Based Routes for Large-Scale Network Simulation
Routing table storage demands pose a significant obstacle for large-scale network simulation. On-demand computation of routes can alleviate those problems for models that do not r...
Michael Liljenstam, David M. Nicol