Sciweavers

9716 search results - page 335 / 1944
» The Case for Energy-Proportional Computing
Sort
View
176
Voted
DSN
2005
IEEE
16 years 14 days ago
Fast Byzantine Consensus
— We present the first protocol that reaches asynchronous Byzantine consensus in two communication steps in the common case. We prove that our protocol is optimal in terms of bo...
Jean-Philippe Martin, Lorenzo Alvisi
ACSC
2002
IEEE
15 years 11 months ago
A Generalised Spreadsheet Verification Methodology
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
Nick Randolph, John Morris, Gareth Lee
171
Voted
ACMSE
2010
ACM
15 years 4 months ago
Adaptive stable marriage algorithms
Although it takes O(n2 ) worst-case time to solve a stable marriage problem instance with n men and n women, a trivial O(n) algorithm suffices if all men are known to have identic...
John Dabney, Brian C. Dean
FOSSACS
2004
Springer
16 years 7 days ago
Choice in Dynamic Linking
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
Martín Abadi, Georges Gonthier, Benjamin We...
ICCV
1999
IEEE
16 years 8 months ago
Structure and Motion from Lines under Affine Projections
In this paper we investigate the geometry and algebra of multiple projections of lines with affine cameras. Previously, the case of seven lines in three images has been studied. I...
Anders Heyden, Fredrik Kahl, Kalle Åströ...