894 search results - page 118 / 179 » A Dependability-Driven System-Level Design Approach for Embe... |
104
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
ISLPED
2009
ACM
15 years 7 months ago
2009
ACM
In an interactive embedded system, special task execution patterns and scheduling constraints exist due to frequent human-computer interactions. This paper proposes a transaction-...
101
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
86
Voted
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
111
Voted
DRM
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we examine how copyright protection of digital items can be securely managed in a 3G mobile phone and other devices. First, the basic concepts, strategies, and requi...