Sciweavers

20 search results - page 1 / 4

» emsoft 2001

11

EMSOFT
2001
Springer

139views Software Engineering» more EMSOFT 2001»

Embedded Systems and Real-Time Programming

13 years 9 months ago

Embedded Systems and Real-Time Programming

Download rtsys.informatik.uni-kiel.de

Niklaus Wirth

claim paper

Read More »

10

EMSOFT
2001
Springer

95views Software Engineering» more EMSOFT 2001»

Verification of Embedded Software: Problems and Perspectives

13 years 9 months ago

Verification of Embedded Software: Problems and Perspectives

Download embedded.eecs.berkeley.edu

Patrick Cousot, Radhia Cousot

claim paper

Read More »

8

EMSOFT
2001
Springer

109views Software Engineering» more EMSOFT 2001»

Embedded Software Market Transformation through Reusable Frameworks

13 years 9 months ago

Embedded Software Market Transformation through Reusable Frameworks

Download embeddedcmmi.at

Wolfgang Pree, Alessandro Pasetti

claim paper

Read More »

9

EMSOFT
2001
Springer

121views Software Engineering» more EMSOFT 2001»

Directions in Functional Programming for Real(-Time) Applications

13 years 9 months ago

Directions in Functional Programming for Real(-Time) Applications

Download embedded.eecs.berkeley.edu

Walid Taha, Paul Hudak, Zhanyong Wan

claim paper

Read More »

9

EMSOFT
2001
Springer

84views Software Engineering» more EMSOFT 2001»

Hierarchical Hybrid Modeling of Embedded Systems

13 years 9 months ago

Hierarchical Hybrid Modeling of Embedded Systems

Download www.cis.upenn.edu

Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B...

claim paper

Read More »

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