Sciweavers

8928 search results - page 355 / 1786
» Modeling Current Events
Sort
View
WSC
1998
15 years 6 months ago
Military Simulation Worlds and Organizational Learning
The operational benefits of having a learning organization include at the very minimum increased organizational competitiveness and responsiveness in a given realm of competition....
Michael D. Proctor, Justin C. Gubler
DAC
2008
ACM
16 years 5 months ago
Driver waveform computation for timing analysis with multiple voltage threshold driver models
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...
Peter Feldmann, Soroush Abbaspour, Debjit Sinha, G...
ICDCSW
2009
IEEE
15 years 11 months ago
A Dynamic Battery Model for Co-design in Cyber-Physical Systems
We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model supports a co-design approach for ...
Fumin Zhang, Zhenwu Shi, Wayne Wolf
164
Voted
FMICS
2009
Springer
15 years 8 months ago
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
Pavel Parizek, Tomás Kalibera
ICCS
2009
Springer
15 years 11 months ago
Simulating Individual-Based Models of Epidemics in Hierarchical Networks
Current mathematical modeling methods for the spreading of infectious diseases are too simplified and do not scale well. We present the Simulator of Epidemic Evolution in Complex ...
Rick Quax, David A. Bader, Peter M. A. Sloot