Sciweavers

9842 search results - page 376 / 1969
» Compositional timing analysis
Sort
View
168
Voted
BMCBI
2008
89views more  BMCBI 2008»
15 years 5 months ago
R/parallel - speeding up bioinformatics analysis with R
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...
Gonzalo Vera, Ritsert C. Jansen, Remo Suppi
ICCAD
2006
IEEE
155views Hardware» more  ICCAD 2006»
16 years 1 months ago
Adaptive multi-domain thermal modeling and analysis for integrated circuit synthesis and design
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
Yonghong Yang, Changyun Zhu, Zhenyu (Peter) Gu, Li...
CADE
2008
Springer
15 years 7 months ago
Automated Implicit Computational Complexity Analysis (System Description)
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
Martin Avanzini, Georg Moser, Andreas Schnabl
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 7 months ago
Optimal control of a fedbatch fermentation process: Numerical methods, sufficient conditions and sensitivity analysis
Bang-bang and singular optimal controls in a fedbatch fermentation process are computed for a range of time horizons. Numerical algorithms for determining the optimal control struc...
Adam Korytowski, Maciej Szymkat, Helmut Maurer, Ge...
136
Voted
WSC
1998
15 years 6 months ago
Advanced Methods for Simulation Output Analysis
This paper reviews statistical methods for analyzing output data from computer simulations of single systems. In particular, it focuses on the problems of choosing initial conditi...
Christos Alexopoulos, Andrew F. Seila