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 × France
1 × Portugal
1 × United Kingdom
2 × USA
3 × Germany
Collaborated with:
P.Fradet S.Andalam P.S.Roop D.Burlyaev V.Bebelis P.Poplavko G.Delaval M.Pouzet M.Tivoli G.Gößler C.Dima C.Lavarenne Y.Sorel R.Sinha J.Reineke
Talks about:
schedul (3) analysi (3) time (3) synchron (2) parametr (2) dataflow (2) program (2) redund (2) real (2) multithread (1)

Person: Alain Girault

DBLP DBLP: Girault:Alain

Contributed to:

DATE 20142014
LCTES 20142014
DAC 20132013
DATE 20122012
DATE 20112011
DATE 20102010
LCTES 20082008
TACAS 20072007
PDP 20012001

Wrote 10 papers:

Verification-guided voter minimization in triple-modular redundant circuits (DB, PF, AG), pp. 1–6.
LCTES-2014-BebelisFG #data flow #framework #manycore #parametricity #platform
A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
DAC-2013-AndalamGSRR #analysis #precise
Precise timing analysis for direct-mapped caches (SA, AG, RS, PSR, JR), p. 10.
DATE-2012-FradetGP #data flow #named #parametricity
SPDF: A schedulable parametric data-flow MoC (PF, AG, PP), pp. 769–774.
DATE-2011-AndalamRG #analysis #source code
Pruning infeasible paths for tight WCRT analysis of synchronous programs (SA, PSR, AG), pp. 204–209.
DATE-2010-AndalamRG #multi #predict #thread #using
Deterministic, predictable and light-weight multithreading using PRET-C (SA, PSR, AG), pp. 1653–1656.
LCTES-2008-DelavalGP #automation #data flow #higher-order #source code #type system
A type system for the automatic distribution of higher-order synchronous dataflow programs (GD, AG, MP), pp. 101–110.
TACAS-2007-TivoliFGG #adaptation #component #realtime #synthesis
Adaptor Synthesis for Real-Time Components (MT, PF, AG, GG), pp. 185–200.
PDP-2001-DimaGLS #fault tolerance #realtime #scheduling
Off-Line Real-Time Fault-Tolerant Scheduling (CD, AG, CL, YS), pp. 410–417.
PDP-2001-Girault #algorithm #static analysis
Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm (AG), pp. 178–185.

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.