5180 search results - page 196 / 1036 » Concurrency, Time, and Constraints |
230
click to vote
HYBRID
2005
Springer
16 years 22 days ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
196
click to vote
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a real-time task scheduling technique with a variable voltage processor which can vary its supply voltage dynamically. Using such a processor, running tasks wi...
169
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
In this paper, we present a new linear-time retiming algorithm that produces near-optimal results. Our implementation is specifically targeted at Altera's Stratix [1] FPGAbas...
180
click to vote
CP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
227
click to vote
SCCC
1998
IEEE
15 years 11 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...