683 search results - page 54 / 137 » A Fine-grained Analysis of a Simple Independent Set Algorith... |
114
Voted
SAS
2000
Springer
15 years 7 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
162
Voted
DAGSTUHL
1996
15 years 5 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
141
Voted
SODA
2008
ACM
15 years 5 months ago
2008
ACM
We analyze several distributed, continuous time protocols for a fair allocation of bandwidths to flows in a network (or resources to agents). Our protocols converge to an allocati...
132
click to vote
ECCC
2010
15 years 3 months ago
2010
Suppose a decision maker has to purchase a commodity over time with varying prices and demands. In particular, the price per unit might depend on the amount purchased and this pri...
172
Voted
ESA
2011
Springer
14 years 3 months ago
2011
Springer
In this work we study the problem of Bipartite Correlation Clustering (BCC), a natural bipartite counterpart of the well studied Correlation Clustering (CC) problem. Given a bipart...