Sciweavers

8190 search results - page 44 / 1638
» From Timed to Hybrid Systems
Sort
View
HYBRID
2003
Springer
14 years 24 days ago
On the Application of Hybrid Control to CPU Reservations
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
Luigi Palopoli, Luca Abeni, Giuseppe Lipari
EPK
2006
114views Management» more  EPK 2006»
13 years 9 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
MICCAI
2008
Springer
14 years 8 months ago
Parallelized Hybrid TGRAPPA Reconstruction for Real-Time Interactive MRI
Abstract. Real-time parallel MRI reconstruction was demonstrated using a hybrid implementation of the TGRAPPA algorithm. The GRAPPA coefficients were calculated in k-space and appl...
Haris Saybasili, Peter Kellman, J. Andrew Derbys...
CSE
2011
IEEE
12 years 7 months ago
Performance Modeling of Hybrid MPI/OpenMP Scientific Applications on Large-scale Multicore Cluster Systems
In this paper, we present a performance modeling framework based on memory bandwidth contention time and a parameterized communication model to predict the performance of OpenMP, M...
Xingfu Wu, Valerie E. Taylor
RTAS
2008
IEEE
14 years 2 months ago
Hybrid-priority Scheduling of Resource-Sharing Sporadic Task Systems
A hybrid scheduling algorithm is proposed, which integrates features of the Fixed Priority (FP) and Earliest Deadline First (EDF) scheduling policies. It is shown that this hybrid...
Sanjoy K. Baruah, Nathan Fisher