BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Ireland
1 × USA
Collaborated with:
M.Pouzet A.Guatto C.Pasteur P.Caspi J.Colaço P.Raymond B.Zheng W.Li P.Deng Q.Zhu N.Shankar
Talks about:
synchron (2) memori (2) lustr (2) transport (1) introduc (1) schedul (1) modular (1) languag (1) system (1) polici (1)

Person: Léonard Gérard

DBLP DBLP: G=eacute=rard:L=eacute=onard

Contributed to:

DAC 20152015
LCTES 20122012
LCTES 20092009

Wrote 3 papers:

DAC-2015-ZhengLDGZS #design #security #verification
Design and verification for transportation system security (BZ, WL, PD, LG, QZ, NS), p. 6.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.