Sciweavers

12264 search results - page 136 / 2453
» Analysis of the rubberband algorithm
Sort
View
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
14 years 1 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 3 months ago
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks
The importance of stochasticity within biological systems has been shown repeatedly during the last years and has raised the need for efficient stochastic tools. We present SABRE, ...
Frédéric Didier, Thomas A. Henzinger...
CIDR
2011
230views Algorithms» more  CIDR 2011»
14 years 10 months ago
Consistency Analysis in Bloom: a CALM and Collected Approach
Distributed programming has become a topic of widespread interest, and many programmers now wrestle with tradeoffs between data consistency, availability and latency. Distributed...
Peter Alvaro, Neil Conway, Joe Hellerstein, Willia...
DAC
2011
ACM
14 years 6 months ago
Efficient incremental analysis of on-chip power grid via sparse approximation
In this paper, a new sparse approximation technique is proposed for incremental power grid analysis. Our proposed method is motivated by the observation that when a power grid net...
Pei Sun, Xin Li, Ming Yuan Ting
SIAMIS
2010
190views more  SIAMIS 2010»
15 years 1 months ago
Analysis and Generalizations of the Linearized Bregman Method
This paper analyzes and improves the linearized Bregman method for solving the basis pursuit and related sparse optimization problems. The analysis shows that the linearized Bregma...
Wotao Yin