Parallel Expanded Event Simulation of Tightly Coupled Systems
نویسندگان
چکیده
منابع مشابه
Tightly-coupled and fault-tolerant communication in parallel systems
The demand for processing power is increasing steadily. In the past, single processor architectures clearly dominated the markets. As instruction level parallelism is limited in most applications, significant performance can only be achieved in the future by exploiting parallelism at the higher levels of thread or process parallelism. As a consequence, modern “processors” incorporate multiple p...
متن کاملStructured Parallel Simulation of Discrete-Event Systems
Parallel simulation has not been widely accepted by the simulation practitioners due to the lack of language support and tools necessary for developing eecient parallel simulators. This paper describes the design of SPaDES (Structured Parallel Discrete-Event Simulation), a struc-tured parallel simulation workbench for developing portable simulation models, and a platform for designing experimen...
متن کاملTightly coupled verification of pervasive systems
We consider the problem of verifying context-aware, pervasive, interactive systems when the interaction involves both system configuration and system use. Verification of configurable systems is more tightly coupled to design when the verification process involves reasoning about configurable formal models. The approach is illustrated with a case study: using the model checker SPIN [Hol03] and ...
متن کاملParallel Discrete Event Simulation
In simulating applications for execution on specific computing systems, the simulation performance figures must be known in a short period of time. One basic approach to the problem of reducing the required simulation time is the exploitation of parallelism. However, in parallelizing the simulation new problems arise. Due to the distributed generation of events causality errors can occur, as a ...
متن کاملParallel Discrete-Event Simulation
Parallel discrete-event simulation (PDES), simply referred to as parallel simulation, is concerned with the execution of discrete-event simulation on parallel computers. PDES has been recognized as a challenging research field bridging between modeling and simulation, and high-performance computing. By exploiting the potential parallelism in a simulation model, PDES can overcome the limitations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Modeling and Computer Simulation
سال: 2016
ISSN: 1049-3301,1558-1195
DOI: 10.1145/2832909