Search Sciweavers | Sciweavers

15777 search results - page 452 / 3156

» The Reformulation-Optimization Software Engine

105

click to vote

CODES
2007
IEEE

108views Software Engineering» more CODES 2007»

Bridging gap between simulation and spreadsheet study

15 years 11 months ago

Download www.cs.york.ac.uk

Antoine Perrin, Frank Ghenassia

claim paper

Read More »

125

click to vote

EUROMICRO
2007
IEEE

173views Software Engineering» more EUROMICRO 2007»

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

15 years 11 months ago

Download www.seg.mci.sdu.dk

Jesper Berthing, Christo Angelov

claim paper

Read More »

101

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

15 years 10 months ago

Download perso.ens-lyon.fr

Christophe Alias, Fabrice Baray, Alain Darte

claim paper

Read More »

113

click to vote

LCTRTS
2007
Springer

77views System Software» more LCTRTS 2007»

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

15 years 10 months ago

Download moss.csc.ncsu.edu

Yifan Zhu, Frank Mueller

claim paper

Read More »

103

click to vote

LCTRTS
2007
Springer

97views System Software» more LCTRTS 2007»

On the complexity of spill everywhere under SSA form

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers