Sciweavers

49 search results - page 4 / 10

» LUSTRE

73

EMSOFT
2003
Springer

86views Software Engineering» more EMSOFT 2003»

Clock-Driven Automatic Distribution of Lustre Programs

15 years 8 months ago

Clock-Driven Automatic Distribution of Lustre Programs

Download pop-art.inrialpes.fr

Alain Girault, Xavier Nicollin

claim paper

Read More »

88

EMSOFT
2003
Springer

101views Software Engineering» more EMSOFT 2003»

Translating Discrete-Time Simulink to Lustre

15 years 8 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 »

70

KORSO
1995

110views Software Engineering» more KORSO 1995»

15 years 6 months ago

Download wiki.lustre.org

Leszek Holenderski

claim paper

Read More »

106

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

15 years 3 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 »

116

FAST
2010

132views Operating System» more FAST 2010»

Efficient Object Storage Journaling in a Distributed Parallel File System

15 years 5 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 »