Search Sciweavers | Sciweavers

698 search results - page 38 / 140

» dagstuhl 2007

click to vote

DAGSTUHL
2007

81views Software Engineering» more DAGSTUHL 2007»

Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications

15 years 7 months ago

Download drops.dagstuhl.de

Richard Urunuela, Gilles Muller, Julia L. Lawall

claim paper

Read More »

143

click to vote

DAGSTUHL
2007

120views Software Engineering» more DAGSTUHL 2007»

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification

15 years 7 months ago

Download drops.dagstuhl.de

Viorica Sofronie-Stokkermans, Carsten Ihlemann, Sw...

claim paper

Read More »

click to vote

DAGSTUHL
2007

78views Software Engineering» more DAGSTUHL 2007»

A Methodology to Improve Dependability in Spreadsheets

15 years 7 months ago

Download drops.dagstuhl.de

Margaret M. Burnett, Marc Fisher II, Gregg Rotherm...

claim paper

Read More »

click to vote

DAGSTUHL
2007

60views Software Engineering» more DAGSTUHL 2007»

Dependability in Web Software

15 years 7 months ago

Download drops.dagstuhl.de

Sebastian G. Elbaum, Marc Fisher II, Gregg Rotherm...

claim paper

Read More »

114

click to vote

DAGSTUHL
2007

70views Software Engineering» more DAGSTUHL 2007»

Divide-and-Conquer: A Proportional, Minimal-Envy Cake-Cutting Procedure

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers