Sciweavers

2379 search results - page 33 / 476
» Modeling, scheduling, and simulation of switched processing ...
Sort
View
ACSC
2008
IEEE
14 years 3 months ago
Relative simulation and model checking of real-time processes
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
Colin J. Fidge
TSE
1998
128views more  TSE 1998»
13 years 8 months ago
Modeling and Evaluating Design Alternatives for an On-Line Instrumentation System: A Case Study
—This paper demonstrates the use of a model-based evaluation approach for instrumentation systems (ISs). The overall objective of this study is to provide early feedback to tool ...
Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsw...
SIMUTOOLS
2008
13 years 10 months ago
An overview of the OMNeT++ simulation environment
The OMNeT++ discrete event simulation environment has been publicly available since 1997. It has been created with the simulation of communication networks, multiprocessors and ot...
András Varga, Rudolf Hornig
ICNS
2007
IEEE
14 years 3 months ago
Erlang Reduced Load Model for Optical Burst Switched Grids
—This paper presents an Erlang reduced load model to analyze Optical Burst Switched Grid networks. The model allows the evaluation of job blocking probabilities, in which blockin...
Marc De Leenheer, Chris Develder, Filip De Turck, ...