Sciweavers

24 search results - page 1 / 5

» emsoft 2008

6

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

13 years 6 months ago

Event order abstraction for parametric real-time system verification

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

5

EMSOFT
2008
Springer

114views Software Engineering» more EMSOFT 2008»

Scratchpad memory management in a multitasking environment

13 years 6 months ago

Scratchpad memory management in a multitasking environment

Download aces.snu.ac.kr

Bernhard Egger, Jaejin Lee, Heonshik Shin

claim paper

Read More »

4

EMSOFT
2008
Springer

113views Software Engineering» more EMSOFT 2008»

Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors

13 years 6 months ago

Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors

Download www.eecs.berkeley.edu

Nadathur Satish, Kaushik Ravindran, Kurt Keutzer

claim paper

Read More »

4

EMSOFT
2008
Springer

124views Software Engineering» more EMSOFT 2008»

Model-based validation of QoS properties of biomedical sensor networks

13 years 6 months ago

Model-based validation of QoS properties of biomedical sensor networks

Download user.it.uu.se

Simon Tschirner, Liang Xuedong, Wang Yi

claim paper

Read More »

4

EMSOFT
2008
Springer

108views Software Engineering» more EMSOFT 2008»

DBS4video: dynamic luminance backlight scaling based on multi-histogram frame characterization for video streaming application

13 years 6 months ago

DBS4video: dynamic luminance backlight scaling based on multi-histogram frame characterization for video streaming application

Download www.cecs.uci.edu

Martino Ruggiero, Andrea Bartolini, Luca Benini

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »