2916 search results - page 113 / 584 » The simulation power of automod |
149
click to vote
ICTAI
2005
IEEE
15 years 12 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
157
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
196
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
141
click to vote
WSC
2001
15 years 7 months ago
2001
Simulation models provide a powerful tool for the analysis of manufacturing systems, but their utility beyond the design stage of the system life cycle is hampered by the high cos...
197
click to vote
COMPENG
2010
15 years 10 months ago
2010
We estimate with a branching process model the propagation of load shed and the probability distribution of load shed in simulated blackouts of an electric power system. The avera...