Sciweavers

5964 search results - page 57 / 1193
» A theory of speculative computation
Sort
View
CIA
2006
Springer
15 years 10 months ago
Egalitarian Allocations of Indivisible Resources: Theory and Computation
We present a mechanism for collaboration and coordination amongst agents in multi-agent societies seeking social equity. This mechanism allows to compute egalitarian allocations of...
Paul-Amaury Matt, Francesca Toni
SAT
2007
Springer
68views Hardware» more  SAT 2007»
16 years 10 days ago
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
111
Voted
SIGMETRICS
2010
ACM
174views Hardware» more  SIGMETRICS 2010»
15 years 10 months ago
Detecting sources of computer viruses in networks: theory and experiment
Devavrat Shah, Tauhid Zaman