Sciweavers

698 search results - page 38 / 140
» dagstuhl 2007
Sort
View
46
Voted
DAGSTUHL
2007
15 years 2 months ago
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications
Richard Urunuela, Gilles Muller, Julia L. Lawall
89
Voted
DAGSTUHL
2007
15 years 2 months ago
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
Viorica Sofronie-Stokkermans, Carsten Ihlemann, Sw...
55
Voted
DAGSTUHL
2007
15 years 2 months ago
A Methodology to Improve Dependability in Spreadsheets
Margaret M. Burnett, Marc Fisher II, Gregg Rotherm...
53
Voted
DAGSTUHL
2007
15 years 2 months ago
Dependability in Web Software
Sebastian G. Elbaum, Marc Fisher II, Gregg Rotherm...
59
Voted
DAGSTUHL
2007
15 years 2 months ago
Divide-and-Conquer: A Proportional, Minimal-Envy Cake-Cutting Procedure
Steven J. Brams, Michael A. Jones, Christian Klaml...