Sciweavers

16822 search results - page 460 / 3365
» Designing Simulation Experiments
Sort
View
ITICSE
2000
ACM
15 years 11 months ago
Distance tutorials in a systems design course
An experiment with distance technology in a secondyear Object-Oriented Systems Design course is described. Video and computer conferencing were used in tutorial sessions where a t...
Joakim von Wright
SOSP
2003
ACM
16 years 3 months ago
Preserving peer replicas by rate-limited sampled voting
The LOCKSS project has developed and deployed in a worldwide test a peer-to-peer system for preserving access to journals and other archival information published on the Web. It c...
Petros Maniatis, David S. H. Rosenthal, Mema Rouss...
RTSS
2009
IEEE
16 years 1 months ago
Robustness of Model-Based Simulations
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
Georgios E. Fainekos, Sriram Sankaranarayanan, Fra...
FMICS
2009
Springer
16 years 1 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
WSC
2007
15 years 9 months ago
Cyber attack modeling and simulation for network security analysis
Cyber security methods are continually being developed. To test these methods many organizations utilize both virtual and physical networks which can be costly and time consuming....
Michael E. Kuhl, Jason Kistner, Kevin Costantini, ...