250 search results - page 23 / 50 » Static Probabilistic Timing Analysis for Multi-path Programs |
103
click to vote
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
— 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...
177
click to vote
POPL
2006
ACM
15 years 11 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
114
click to vote
EMSOFT
2006
Springer
15 years 2 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
84
Voted
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
87
Voted
CC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...