| Home
Mathematic
methods for program analysis
Ehrhart
polynomials
Symbolic Bernstein Expansion
Behavior
modeling
Loop
nests and data layout transformations
Compilation
and optimisation for software controlled memory systems
Collaborative
static and dynamic analysis
The
Periodic-Linear Model
People
involved in the project
Publications
Partnerships
Propositions
de sujets de projets
|