Sciweavers

431 search results - page 12 / 87
» We have always been transgenic
Sort
View
SAGT
2010
Springer
181views Game Theory» more  SAGT 2010»
13 years 7 months ago
On the Complexity of Pareto-optimal Nash and Strong Equilibria
We consider the computational complexity of coalitional solution concepts in scenarios related to load balancing such as anonymous and congestion games. In congestion games, Paret...
Martin Hoefer, Alexander Skopalik
INFOCOM
2009
IEEE
14 years 3 months ago
Experimental Comparison of Bandwidth Estimation Tools for Wireless Mesh Networks
—Measurement of available bandwidth in a network has always been a topic of great interest. This knowledge can be applied to a wide variety of applications and can be instrumenta...
Dhruv Gupta, Di Wu, Prasant Mohapatra, Chen-Nee Ch...
OOPSLA
2004
Springer
14 years 2 months ago
Finding bugs is easy
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
David Hovemeyer, William Pugh
JUCS
2002
123views more  JUCS 2002»
13 years 8 months ago
Synchronization and Stability of Finite Automata
: Let G = (V, E) be a strongly connected and aperiodic directed graph of uniform out-degree k. A deterministic finite automaton is obtained if the edges are colored with k colors i...
Jarkko Kari
COMGEO
2011
ACM
13 years 3 months ago
Characterizations of restricted pairs of planar graphs allowing simultaneous embedding with fixed edges
A set of planar graphs share a simultaneous embedding if they can be drawn on the same vertex set V in the Euclidean plane without crossings between edges of the same graph. Fixed ...
J. Joseph Fowler, Michael Jünger, Stephen G. ...