40 search results - page 4 / 8 » Abstraction and Completeness for Real-Time Maude |
PATMOS
2007
Springer
14 years 1 months ago
2007
Springer
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
FCCM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
IPPS
2000
IEEE
13 years 12 months ago
2000
IEEE
Abstract. Real-time main-memory databases are useful in real-time environments. They are often faster and provide more predictable execution of transactions than disk-based databas...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—Motivated by the increasing usage of wireless broadcast networks for multicast real-time applications like video, this paper considers a canonical real-time multicast sc...