Sciweavers

4081 search results - page 357 / 817
» Scheduling in polling systems
Sort
View
RTSS
2008
IEEE
16 years 1 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
KBSE
2006
IEEE
16 years 24 days ago
Integrating and Scheduling an Open Set of Static Analyses
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
Michael Eichberg, Mira Mezini, Sven Kloppenburg, K...
ISORC
2005
IEEE
16 years 10 days ago
On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
Binoy Ravindran, E. Douglas Jensen, Peng Li
CODES
1998
IEEE
15 years 11 months ago
Combining multiple models of computation for scheduling and allocation
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
Dirk Ziegenbein, Rolf Ernst, Kai Richter, Jür...
ICCAD
1997
IEEE
94views Hardware» more  ICCAD 1997»
15 years 11 months ago
High-level scheduling model and control synthesis for a broad range of design applications
This paper presents a versatile scheduling model and an efficient control synthesis methodology which enables architectural (high-level) design/synthesis systems to seamlessly su...
Chih-Tung Chen, Kayhan Küçük&cced...