Sciweavers

7429 search results - page 496 / 1486
» Embedded System Update
Sort
View
ECRTS
2000
IEEE
15 years 11 months ago
Prototyping distributed multimedia systems using communicating real-time state machines
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
Giancarlo Fortino, Libero Nigro
EMSOFT
2010
Springer
15 years 5 months ago
Load-based schedulability analysis of certifiable mixed-criticality systems
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
Haohan Li, Sanjoy K. Baruah
CBSE
2008
Springer
15 years 9 months ago
Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems
Efficiency with respect to energy consumption has increasingly been recognized as an important quality attribute for distributed software systems in embedded and pervasive environm...
Chiyoung Seo, Sam Malek, Nenad Medvidovic
JCP
2008
121views more  JCP 2008»
15 years 6 months ago
Towards Design Space Exploration for Biological Systems
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...
Simon Polstra, Tessa E. Pronk, Andy D. Pimentel, T...
RTCSA
2005
IEEE
16 years 15 days ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin