Sciweavers

231 search results - page 1 / 47
» Using Analytic CLP to Model and Analyze Hybrid Systems
Sort
View
EMSOFT
2009
Springer
13 years 10 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
LCPC
2005
Springer
13 years 9 months ago
Analytic Models and Empirical Search: A Hybrid Approach to Code Optimization
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
Arkady Epshteyn, María Jesús Garzar&...
GLOBECOM
2006
IEEE
13 years 10 months ago
Analytical Investigation with Markov Models of Selective Repeat Type II Hybrid ARQ
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...
Leonardo Badia, Marco Levorato, Michele Zorzi
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
13 years 8 months ago
Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
Alex Bobrek, Joshua J. Pieper, Jeffrey E. Nelson, ...