Sciweavers

9842 search results - page 431 / 1969
» Compositional timing analysis
Sort
View
194
Voted
BMCBI
2008
107views more  BMCBI 2008»
15 years 7 months ago
Extended Newick: it is time for a standard representation of phylogenetic networks
Background: Phylogenetic trees resulting from molecular phylogenetic analysis are available in Newick format from specialized databases but when it comes to phylogenetic networks,...
Gabriel Cardona, Francesc Rosselló, Gabriel...
JMLR
2008
129views more  JMLR 2008»
15 years 6 months ago
Finite-Time Bounds for Fitted Value Iteration
In this paper we develop a theoretical analysis of the performance of sampling-based fitted value iteration (FVI) to solve infinite state-space, discounted-reward Markovian decisi...
Rémi Munos, Csaba Szepesvári
AICCSA
2006
IEEE
106views Hardware» more  AICCSA 2006»
16 years 28 days ago
Stable Analysis Patterns
Software analysis patterns are believed to play a major role in reducing the cost and condensing the time of software product lifecycles. However, analysis patterns have not reali...
Haitham S. Hamza, Mohamed E. Fayad
DATE
2004
IEEE
134views Hardware» more  DATE 2004»
15 years 10 months ago
Context-Aware Performance Analysis for Efficient Embedded System Design
Performance analysis has many advantages in theory compared to simulation for the validation of complex embedded systems, but is rarely used in practice. To make analysis more att...
Marek Jersak, Rafik Henia, Rolf Ernst
RTSS
2002
IEEE
15 years 11 months ago
Approximate Schedulability Analysis
The schedulability analysis problem for many realistic task models is intractable. Therefore known algorithms either have exponential complexity or at best can be solved in pseudo...
Samarjit Chakraborty, Simon Künzli, Lothar Th...