Sciweavers

3370 search results - page 155 / 674
» Correlation Embedding Analysis
Sort
View
130
Voted
ECRTS
2003
IEEE
15 years 8 months ago
Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
Traian Pop, Petru Eles, Zebo Peng
119
Voted
RTAS
2002
IEEE
15 years 8 months ago
A Measurement-Based Analysis of the Real-Time Performance of Linux
This paper presents an experimental study of the latency behavior of the Linux OS. We identify major sources of latency in the kernel with the goal of providing real-time performa...
Luca Abeni, Ashvin Goel, Charles Krasic, Jim Snow,...
113
Voted
ECRTS
1998
IEEE
15 years 7 months ago
Facilitating worst-case execution times analysis for optimized code
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
Jakob Engblom, Andreas Ermedahl, Peter Altenbernd
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 7 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
ECRTS
2004
IEEE
15 years 7 months ago
An Event Stream Driven Approximation for the Analysis of Real-Time Systems
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
Karsten Albers, Frank Slomka