8 papers:
LCTES-2012-GerardGPP #array #compilation #composition #data flow #memory management #optimisation- A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
HPDC-2009-DickensL #file system #library #named #performance- Y-lib: a user level library to increase the performance of MPI-IO in a lustre file system environment (PMD, JL), pp. 31–38.
- LCTES-2009-CaspiCGPR #memory management #policy #scheduling
- Synchronous objects with scheduling policies: introducing safe shared memory in lustre (PC, JLC, LG, MP, PR), pp. 11–20.
ASE-2008-Papailiopoulou #automation #generative #source code #testing- Automatic Test Generation for LUSTRE/SCADE Programs (VP), pp. 517–520.
- LCTES-2003-CaspiCMSTN #approach #distributed #embedded
- From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications (PC, AC, AM, CS, ST, PN), pp. 153–162.
FME-2001-Dupuy-ChessaB #modelling #uml #validation- Validation of UML Models Thanks to Z and Lustre (SDC, LdB), pp. 242–258.
- ASE-2000-MarreA #generative #sequence #testing
- Test Sequences Generation from LUSTRE Descriptions: GATeL (BM, AA), p. 229–?.
POPL-1987-CaspiPHP #declarative #named #programming- Lustre: A Declarative Language for Programming Synchronous Systems (PC, DP, NH, JP), pp. 178–188.
