Sciweavers

1920 search results - page 183 / 384
» The Range Constraint: Algorithms and Implementation
Sort
View
AICCSA
2008
IEEE
290views Hardware» more  AICCSA 2008»
15 years 11 months ago
Test of preemptive real-time systems
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mu...
ECRTS
2007
IEEE
15 years 10 months ago
Tardiness Bounds for FIFO Scheduling on Multiprocessors
FIFO scheduling is often considered to be inappropriate for scheduling workloads that are subject to timing constraints. However, FIFO is implemented in many generalpurpose OSs, a...
Hennadiy Leontyev, James H. Anderson
RTCSA
2005
IEEE
15 years 10 months ago
Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems
This paper presents an implementation of feedback control strategy on distributed static scheduling. The static schedule is created taking into account the average execution times...
Tolga Ayav, Yves Sorel
PPSN
2004
Springer
15 years 9 months ago
Constrained Evolutionary Optimization by Approximate Ranking and Surrogate Models
Abstract. The paper describes an evolutionary algorithm for the general nonlinear programming problem using a surrogate model. Surrogate models are used in optimization when model ...
Thomas Philip Runarsson
SAC
2010
ACM
15 years 9 months ago
Box consistency through adaptive shaving
The canonical algorithm to enforce box consistency over a constraint relies on a dichotomic process to isolate the leftmost and rightmost solutions. We identify some weaknesses of...
Alexandre Goldsztejn, Frédéric Goual...