72 search results - page 1 / 15 » Modular Performance Analysis of Energy-Harvesting Real-Time ... |
ICMCS
2005
IEEE
14 years 4 months ago
2005
IEEE
The ever-increasing complexity of generic MultimediaContent-Analysis-based (MCA) solutions, their processing power demanding nature and the need to prototype and assess solutions ...
CAV
2003
Springer
14 years 2 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
WORDS
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
ICDCS
1998
IEEE
14 years 3 months ago
1998
IEEE
Novel real-time applications require highperformance real-time distributed systems, and therefore high-performance real-time networks. We examine a Hard Real-Time Distributed Mult...
RTAS
2005
IEEE
14 years 4 months ago
2005
IEEE
During real-world design of embedded real-time systems, it cannot be expected that all performance data required for scheduling analysis is fully available up front. In such situa...