 | 2004 |
|---|
| 11 |       | Karen Godary,
Isabelle Augé-Blum,
Anne Mignotte:
Temporal Bounds for TTA: Validation.
DIPES 2004: 73-82 |
| 10 |  | Karen Godary,
Isabelle Augé-Blum,
Anne Mignotte:
SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive.
FDL 2004: 672-684 |
| 2001 |
|---|
| 9 | | Antoine Fraboulet,
Karen Kodary,
Anne Mignotte:
Loop fusion for memory space optimization.
ISSS 2001: 95-100 |
| 1999 |
|---|
| 8 | | Antoine Fraboulet,
Guillaume Huard,
Anne Mignotte:
Loop Alignment for Memory Accesses Optimization.
ISSS 1999: 71-77 |
| 1998 |
|---|
| 7 | | Pierre-Yves Calland,
Anne Mignotte,
Olivier Peyran,
Yves Robert,
Frédéric Vivien:
Retiming DAGs [direct acyclic graph].
IEEE Trans. on CAD of Integrated Circuits and Systems 17(12): 1319-1325 (1998) |
| 1997 |
|---|
| 6 | | Anne Mignotte,
Olivier Peyran:
Scheduling using mixed arithmetic: an ILP formulation.
ED&TC 1997: 621 |
| 5 | | Anne Mignotte,
Olivier Peyran:
Reducing the Complexity of ILP Formulations for Synthesis.
ISSS 1997: 58-64 |
| 1996 |
|---|
| 4 | | Luc Bougé,
Pierre Fraigniaud,
Anne Mignotte,
Yves Robert:
Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I
Springer 1996 |
| 3 | | Luc Bougé,
Pierre Fraigniaud,
Anne Mignotte,
Yves Robert:
Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume II
Springer 1996 |
| 1992 |
|---|
| 2 | | Anne Mignotte,
Marie-Claude Bertrand,
Michel Crastes de Paulet,
Jérôme Rampon,
Gabriele Saucier:
ASYL: A Control Driven RTL Synthesis System using Library Blocks.
Synthesis for Control Dominated Circuits 1992: 275-291 |
| 1988 |
|---|
| 1 | | Luis Balme,
Anne Mignotte,
Jean-Yves Monari,
Patrick Pondaven,
Christophe Vaucher:
New Testing Equipment for SMT PC Boards.
ITC 1988: 401-410 |
