23 search results - page 4 / 5 » Analytic real-time analysis and timed automata: a hybrid met... |
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
RTAS
2005
IEEE
14 years 2 months ago
2005
IEEE
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
IFIPTCS
2000
14 years 3 days ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...