Sciweavers

2355 search results - page 304 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
CCGRID
2006
IEEE
16 years 26 days ago
How the JSDL can Exploit the Parallelism?
The description of the jobs is a very important issue for the scheduling and management of Grid jobs. Since there are a lot of different languages for describing Grid jobs, the GG...
Ivan Rodero, Francesc Guim, Julita Corbalán...
DATE
2006
IEEE
81views Hardware» more  DATE 2006»
16 years 26 days ago
Lock-free synchronization for dynamic embedded real-time systems
We consider lock-free synchronization for dynamic embedded real-time systems that are subject to resource overloads and arbitrary activity arrivals. We model activity arrival beha...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
16 years 22 days ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
FORMATS
2003
Springer
16 years 7 hour ago
Analysis of Real Time Operating System Based Applications
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
Libor Waszniowski, Zdenek Hanzálek
IJMSO
2007
76views more  IJMSO 2007»
15 years 6 months ago
Towards an automatic monitoring for higher education Learning Design
: The development of new Information Technologies have originated new possibilities to develop pedagogical methodologies that provide the necessary knowledge and skills in the High...
David Camacho, María Dolores Rodrígu...