Sciweavers

7557 search results - page 289 / 1512
» Modeling Timed Concurrent Systems
Sort
View
WSC
1998
15 years 8 months ago
Time Segmentation Parallel Simulation of Tandem Queues with Manufacturing Blocking
This paper studies the application of the time segmentation parallel simulation approach to efficient simulation of simple manufacturing queueing systems, namely systems of queues...
Mehdi Hoseyni-Nasab, Sigrún Andradót...
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 12 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
DATE
2010
IEEE
157views Hardware» more  DATE 2010»
15 years 11 months ago
RMOT: Recursion in model order for task execution time estimation in a software pipeline
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
Nabeel Iqbal, M. A. Siddique, Jörg Henkel
CLUSTER
2007
IEEE
16 years 29 days ago
Optimal synchronization frequency for dynamic pipelined computations on heterogeneous systems
— In this paper we give a theoretical model for determining the synchronization frequency that minimizes the parallel execution time of loops with uniform dependencies dynamicall...
Florina M. Ciorba, Ioannis Riakiotakis, Theodore A...
SIAMSC
2008
97views more  SIAMSC 2008»
15 years 6 months ago
Long-Time Simulations on High Resolution Meshes to Model Calcium Waves in a Heart Cell
Abstract. A model for the flow of calcium in an atrial heart cell is given by a system of timedependent reaction-diffusion equations coupled by non-linear reaction terms. Calcium i...
Matthias K. Gobbert