Difference between revisions of "Projects"
From LRDE
(Created page with "= Research Projects = You will find a more thorough presentation of the different projects by clicking each project name. == Olena == ...") |
|||
Line 3: | Line 3: | ||
You will find a more thorough presentation of the different [[Projects.WebHome|projects]] by clicking each project name. |
You will find a more thorough presentation of the different [[Projects.WebHome|projects]] by clicking each project name. |
||
− | == [[Olena |
+ | == [[Olena|Olena: a generic image processing library]] == |
%INCLUDE{"Olena.Olena" pattern="^.*?(<!-- OLNINTROSTART -->.*?<!-- OLNINTROSTOP -->).*"}% |
%INCLUDE{"Olena.Olena" pattern="^.*?(<!-- OLNINTROSTART -->.*?<!-- OLNINTROSTOP -->).*"}% |
||
Line 12: | Line 12: | ||
* Image processing |
* Image processing |
||
− | == [[Vaucanson |
+ | == [[Vaucanson|Vaucanson: a finite state machine manipulation platform]] == |
+ | Vaucanson is a finite state machine manipulation platform, consisting of a library and tools implemented on top of it. It benefits from the expertise we gained from our intensive work on high performance generic programming for Olena. On the other hand, its theoretical well-foundedness in the area of automata is ensured thanks to a collaboration with Jacques Sakarovitch, at Télécom ParisTech, and with Sylvain Lombardy at the Laboratoire Bordelais de Recherche en Informatique. |
||
− | %INCLUDE{"Vaucanson.Vaucanson" pattern="^.*?(<!-- VAUCINTROSTART -->.*?<!-- VAUCINTROSTOP -->).*"}% |
||
+ | About ten years after its first inception, the project is taking a new start with the Vaucanson 2 effort. This complete redesign aims at keeping the successful parts of its predecessor (especially genericity and large feature set) while addressing its shortcomings (compile-time and runtime efficiency, the flexibility). |
||
* Software design |
* Software design |
||
Line 22: | Line 23: | ||
− | == [[Spot |
+ | == [[Spot|Spot: a Model Checking library]] == |
− | |||
− | %INCLUDE{"Spot.WebHome" pattern="^.*?(<!-- SPOTINTROSTART -->.*?<!-- SPOTINTROSTOP -->).*"}% |
||
+ | Spot is an object-oriented model checking library written in C++. It offers a set of bricks to experiment with and develop your own model checker based on transition-based generalized Büchi automata. |
||
+ | Spot was born in the MoVe team at LIP6 and is now co-maintained by the LRDE. |
||
* Automata theory |
* Automata theory |
||
Line 31: | Line 32: | ||
− | == [[ |
+ | == [[Climb|Climb]] == |
+ | |||
+ | |||
+ | == [[Speaker ID|Speaker ID]] == |
||
− | %INCLUDE{"Transformers.Transformers" pattern="^.*?(<!-- TRANSINTROSTART -->.*?<!-- TRANSINTROSTOP -->).*"}% |
||
+ | == [[Old Projects|Old Projects]] == |
||
− | * Compilation |
||
− | * Program transformation |
Revision as of 15:01, 23 July 2013
Research Projects
You will find a more thorough presentation of the different projects by clicking each project name.
Olena: a generic image processing library
%INCLUDE{"Olena.Olena" pattern="^.*?(.*?).*"}%
- Software design
- Generic programming
- Design patterns
- Image processing
Vaucanson: a finite state machine manipulation platform
Vaucanson is a finite state machine manipulation platform, consisting of a library and tools implemented on top of it. It benefits from the expertise we gained from our intensive work on high performance generic programming for Olena. On the other hand, its theoretical well-foundedness in the area of automata is ensured thanks to a collaboration with Jacques Sakarovitch, at Télécom ParisTech, and with Sylvain Lombardy at the Laboratoire Bordelais de Recherche en Informatique. About ten years after its first inception, the project is taking a new start with the Vaucanson 2 effort. This complete redesign aims at keeping the successful parts of its predecessor (especially genericity and large feature set) while addressing its shortcomings (compile-time and runtime efficiency, the flexibility).
- Software design
- Generic programming
- Design patterns
- Automata theory
Spot: a Model Checking library
Spot is an object-oriented model checking library written in C++. It offers a set of bricks to experiment with and develop your own model checker based on transition-based generalized Büchi automata. Spot was born in the MoVe team at LIP6 and is now co-maintained by the LRDE.
- Automata theory
- Model Checking