Hello and Welcome
to
Daniel de Rauglaudre
Research engineer in
Aoste team
,
INRIA Rocquencourt
.
Aoste team
SynDEx.
Paper
Vérification formelle de conditions d'ordonnançabilité de tâches temps réel périodiques strictes
- JFLA 2012 (
bib
).
Softwares and other
Ledit
, line editor in ocaml (2.03 -
08th Feb 2010
).
Camlp5
, syntactic preprocessor for OCaml (6.03 -
9th Jan 2012
).
mlrogue
, rogue game in ocaml (1.03 -
21st May 2011
).
IoXML
, XML parsers and printers of ocaml types (0.9 -
16th Dec 2010
).
Olibrt
, toolkit+games in ocaml (1.10 -
17th Nov 2010
).
MLbrot
, Mandelbrot fractals (1.00 -
8th Nov 2010
).
Dameid
, Simulation of real-time periodic tasks (0.00 -
6th Nov 2011
).
Taskadd
, scheduler of real-time tasks using Patrick Meumeu's algebra (1.00 -
26th Jul 2010
).
mldiff
, diff in ocaml (
5th Jul 2007
).
GeneWeb
, a software of genealogy.
My
YouTube
entry.
Genealogy site
- database "roglo".
Unicode keyboard
.
PZ Myers
, american biologist and atheist's blog.
Last modified: 8th Feb 2012.