365 search results - page 16 / 73 » Semi-automatic derivation of timing models for WCET analysis |
90
Voted
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
WABI
2005
Springer
15 years 3 months ago
2005
Springer
d Abstract] Tamir Tuller , Efrat Oron , Erez Makavy , Daniel A. Chamovitz † , and Benny Chor ‡ Tel-Aviv University, Tel-Aviv 69978, Israel. Abstract. We study gene expression d...
91
Voted
WCNC
2010
IEEE
15 years 1 months ago
2010
IEEE
—It is well known that symbol timing offsets larger than the cyclic prefix as well as carrier frequency offsets between transmitter and receiver stations destroy the orthogonali...
73
Voted
SNPD
2008
14 years 11 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
107
click to vote
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...