Sciweavers

321 search results - page 21 / 65
» Test scheduling for core-based systems
Sort
View
ICESS
2004
Springer
15 years 4 months ago
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
Qingxu Deng, Mingsong Lv, Ge Yu
CORR
2010
Springer
140views Education» more  CORR 2010»
14 years 9 months ago
Scheduling Multi-Mode Real-Time Systems upon Uniform Multiprocessor Platforms
In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together wit...
Patrick Meumeu Yomsi, Vincent Nélis, Jo&eum...
PATAT
2000
Springer
103views Education» more  PATAT 2000»
15 years 2 months ago
Examination Timetables and Tabu Search with Longer-Term Memory
The examination scheduling problem has been examined and a four-phase system using a tabu search algorithm, OTTABU, has been implemented. This system uses both recency-based short-...
George M. White, Bill S. Xie
APPT
2003
Springer
15 years 4 months ago
Scheduling Outages in Distributed Environments
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...
Anthony Butler, Hema Sharda, David Taniar
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 4 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...