Bonjour et bienvenue
chez
Daniel de Rauglaudre
Ingénieur de recherche dans
l'équipe Aoste
,
INRIA Rocquencourt
.
Équipe Aoste
SynDEx.
Article
Vérification formelle de conditions d'ordonnançabilité de tâches temps réel périodiques strictes
- JFLA 2012 (
bib
).
Logiciels et autres
Ledit
, éditeur ligne en ocaml (2.03 -
08 fév 2012
).
Camlp5
, préprocesseur syntaxique pour ocaml (6.03 -
9 jan 2012
).
mlrogue
, rogue en ocaml (1.03 -
21 mai 2011
)
IoXML
, analyseurs syntaxiques et imprimeurs XML de types ocaml (0.9 -
16 déc 2010
).
Olibrt
, toolkit+jeux en ocaml (1.10 -
17 nov 2010
).
MLbrot
, fractales de Mandelbrot (1.00 -
8 nov 2010
).
Dameid
, simulation de tâches temps réel périodiques (0.00 -
6 nov 2011
).
Taskadd
, ordonnanceur de tâches temps-réel qui utilise l'algèbre de Patrick Meumeu (1.00 -
26 juil 2010
).
mldiff
, diff en ocaml (
5 juil 2007
).
GeneWeb
, logiciel de généalogie.
Site de Généalogie
- base de données "roglo".
Frères :
Nicolas
et
Laurent
.
Site des
Rauglaudre
.
BD-thèque
.
Clavier Unicode
.
Théâtre et Musique
Ancien comédien du
Théâtre des Deux Rives
de Versailles.
Interprétation de chansons de Brassens sur
YouTube
.
Curriculum Vitae
Ingénieur en développement d'applications
.
Comédien de Théâtre
.
Dernière modification : 8 fév 2012.