169
click to vote
TACAS
13 years 11 months ago
2012 Springer 
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
212
Voted
SODA
13 years 6 months ago
2012 ACM 
We give a constant factor approximation algorithm for the following generalization of the k-median problem. We are given a set of clients and facilities in a metric space. Each fa...
143
Voted
TACAS
13 years 11 months ago
2012 Springer 
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
159
Voted
SODA
13 years 6 months ago
2012 ACM
A Nash Equilibrium is a joint strategy profile at which each agent myopically plays a best response to the other agents’ strategies, ignoring the possibility that deviating fro...
167
click to vote
TACAS
13 years 11 months ago
2012 Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
|
Algorithms