Sciweavers

2266 search results - page 95 / 454
» Generalizing parametric timing analysis
Sort
View
142
Voted
RC
2007
148views more  RC 2007»
15 years 3 months ago
Computing Population Variance and Entropy under Interval Uncertainty: Linear-Time Algorithms
In statistical analysis of measurement results, it is often necessary to compute the range [V , V ] of the population variance V = 1 n · n i=1 (xi −E)2 (where E = 1 n · n i=1 ...
Gang Xiang, Martine Ceberio, Vladik Kreinovich
148
Voted
EUROSYS
2011
ACM
14 years 7 months ago
Striking a new balance between program instrumentation and debugging time
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
Olivier Crameri, Ricardo Bianchini, Willy Zwaenepo...
139
Voted
DNA
2006
Springer
146views Bioinformatics» more  DNA 2006»
15 years 7 months ago
On Times to Compute Shapes in 2D Tile Self-assembly
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...
Yuliy M. Baryshnikov, Edward G. Coffman Jr., Boons...
BMCBI
2007
179views more  BMCBI 2007»
15 years 3 months ago
Automated smoother for the numerical decoupling of dynamics models
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...
Marco Vilela, Carlos Cristiano H. Borges, Susana V...
124
Voted
TR
2011
172views more  TR 2011»
14 years 10 months ago
Multi-State Reliability Systems Under Discrete Time Semi-Markovian Hypothesis
We consider repairable reliability systems with m components, the lifetimes and repair times of which are independent. The l-th component can be either in the failure state 0 or i...
Ourania Chryssaphinou, Nikolaos Limnios, Sonia Mal...