Sciweavers

49 search results - page 4 / 10

» LUSTRE

14

EMSOFT
2003
Springer

86views Software Engineering» more EMSOFT 2003»

Clock-Driven Automatic Distribution of Lustre Programs

13 years 12 months ago

Clock-Driven Automatic Distribution of Lustre Programs

Download pop-art.inrialpes.fr

Alain Girault, Xavier Nicollin

claim paper

Read More »

16

EMSOFT
2003
Springer

101views Software Engineering» more EMSOFT 2003»

Translating Discrete-Time Simulink to Lustre

13 years 12 months ago

Translating Discrete-Time Simulink to Lustre

Download www-verimag.imag.fr

Paul Caspi, Adrian Curic, Aude Maignan, Christos S...

claim paper

Read More »

13

KORSO
1995

110views Software Engineering» more KORSO 1995»

13 years 10 months ago

Download wiki.lustre.org

Leszek Holenderski

claim paper

Read More »

18

ECRTS
2010
IEEE

192views Embedded Systems» more ECRTS 2010»

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

13 years 7 months ago

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

Download www-verimag.imag.fr

Karine Altisen, Matthieu Moy

claim paper

Read More »

20

FAST
2010

132views Operating System» more FAST 2010»

Efficient Object Storage Journaling in a Distributed Parallel File System

13 years 9 months ago

Efficient Object Storage Journaling in a Distributed Parallel File System

Download www.usenix.org

Journaling is a widely used technique to increase file system robustness against metadata and/or data corruptions. While the overhead of journaling can be masked by the page cache...

Sarp Oral, Feiyi Wang, David Dillow, Galen M. Ship...

claim paper

Read More »

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