Sciweavers

18 search results - page 3 / 4
» Spreadsheet simulation
Sort
View
FMCAD
1998
Springer
13 years 10 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
2004
13 years 7 months ago
On Using Monte Carlo Methods for Scheduling
Monte Carlo techniques have long been used (since Buffon's experiment to approximate the value of by tossing a needle onto striped paper) to analyze phenomena which, due to ...
Samarn Chantaravarapan, Ali K. Gunal, Edward J. Wi...
WSC
2004
13 years 7 months ago
HDPS, an XML/XSLT Based Hierarchal Modeling System
HDPS is a practical system for designing modeling paradigms, creating hierarchal model definitions, and evaluating multi-paradigm models - particularly in business and finance. HD...
Richard Evan Curry, Kiriakos Vlahos
TOOLS
1997
IEEE
13 years 10 months ago
Propagator: A Family of Patterns
PROPAGATOR is a family of patterns for consistently updating objects in a dependency network. The propagator patterns are found in such diverse applications as MAKE, WWW, spreadsh...
Peter H. Feiler, Walter F. Tichy
WSC
1997
13 years 7 months ago
AutoStat: Output Statistical Analysis for AutoMod Users
AutoStat™ is an extension package for AutoMod™ and AutoSched™ models that provides complete support for simulation model experimentation and statistical analysis of outputs....
John S. Carson II