Search Sciweavers | Sciweavers

15777 search results - page 452 / 3156

» The Reformulation-Optimization Software Engine

157

click to vote

CODES
2007
IEEE

108views Software Engineering» more CODES 2007»

Bridging gap between simulation and spreadsheet study

16 years 1 months ago

Download www.cs.york.ac.uk

Antoine Perrin, Frank Ghenassia

claim paper

Read More »

194

click to vote

EUROMICRO
2007
IEEE

173views Software Engineering» more EUROMICRO 2007»

Component-Based Design of Safe Real-Time Kernels for Embedded Systems

16 years 1 months ago

Download www.seg.mci.sdu.dk

Jesper Berthing, Christo Angelov

claim paper

Read More »

137

click to vote

LCTRTS
2007
Springer

88views System Software» more LCTRTS 2007»

Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose

16 years 1 months ago

Download perso.ens-lyon.fr

Christophe Alias, Fabrice Baray, Alain Darte

claim paper

Read More »

153

click to vote

LCTRTS
2007
Springer

77views System Software» more LCTRTS 2007»

DVSleak: combining leakage reduction and voltage scaling in feedback EDF scheduling

16 years 1 months ago

Download moss.csc.ncsu.edu

Yifan Zhu, Frank Mueller

claim paper

Read More »

146

click to vote

LCTRTS
2007
Springer

97views System Software» more LCTRTS 2007»

On the complexity of spill everywhere under SSA form

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers