Sciweavers

378 search results - page 24 / 76
» A framework for interactive analysis of timing constraints i...
Sort
View
WORDS
2003
IEEE
14 years 19 days ago
An Interactive Object Based Multimedia System for IP Networks
In this paper, we present the design of a flexible framework for an IP-based network that will support an interactive multimedia (MM) system. The system will enable end users to: ...
Magda El Zarki, Liang Cheng, Haining Liu, Xiaoping...
RTAS
2008
IEEE
14 years 1 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
RTCSA
2000
IEEE
13 years 11 months ago
ProtEx: a toolkit for the analysis of distributed real-time systems
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...
Yves Meylan, Aneema Bajpai, Riccardo Bettati
ISLPED
2009
ACM
188views Hardware» more  ISLPED 2009»
14 years 1 months ago
Transaction-based adaptive dynamic voltage scaling for interactive applications
In an interactive embedded system, special task execution patterns and scheduling constraints exist due to frequent human-computer interactions. This paper proposes a transaction-...
Xia Zhao, Yao Guo, Xiangqun Chen
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
14 years 1 months ago
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
Divya Arora, Srivaths Ravi, Anand Raghunathan, Nir...