4520 search results - page 326 / 904 » Algebraic Techniques for Timed Systems |
215
Voted
GRID
2004
Springer
16 years 26 days ago
2004
Springer
In this paper, we present a resource conscious dynamic scheduling strategy for handling large volume computationally intensive loads in a Grid system involving multiple sources an...
195
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Dynamic voltage scaling (DVS) is one of the most effective techniques for reducing energy consumption in embedded and real-time systems. However, traditional DVS algorithms have in...
189
Voted
EOR
2006
15 years 7 months ago
2006
Consider unmanned airborne vehicle (UAV) control agents in a dynamic multi-agent system. The agents must have a set of goals such as destination airport and intermediate positions...
199
Voted
RSP
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
178
click to vote
EUROMICRO
2000
IEEE
15 years 12 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...