Bonjour et bienvenue
chez
Daniel de Rauglaudre
Ingénieur de recherche dans
l'équipe Aoste
,
INRIA Rocquencourt
.
Article
Vérification formelle de conditions d'ordonnançabilité de tâches temps réel périodiques strictes
- JFLA 2012 (
bib
).
Logiciels et autres
Camlp5
, préprocesseur syntaxique pour ocaml (6.08 -
6 mars 2013
).
Mldiff
, diff en ocaml (1.03 -
26 fév 2013
).
Taskadd
, ordonnanceur de tâches temps-réel qui utilise l'algèbre de Patrick Meumeu (1.03 -
5 mars 2012
).
Olibrt
, toolkit+jeux en ocaml (1.11 -
23 fév 2012
).
Ledit
, éditeur ligne en ocaml (2.03 -
08 fév 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
).
MLbrot
, fractales de Mandelbrot (1.00 -
8 nov 2010
).
SAS-Dameid
, simulation de tâches temps réel périodiques (0.00 -
6 nov 2011
).
GeneWeb
, logiciel de généalogie.
Ma première
suite d'entiers
sur
OEIS
(
23 mai 2012
) !
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 : 6 mars 2013.
