2004 |
11 | | Karen Godary,
Isabelle Augé-Blum,
Anne Mignotte:
Temporal Bounds for TTA: Validation.
DIPES 2004: 73-82 |
10 | EE | 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 | EE | Antoine Fraboulet,
Guillaume Huard,
Anne Mignotte:
Loop Alignment for Memory Accesses Optimization.
ISSS 1999: 71-77 |
1998 |
7 | EE | 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 | EE | Anne Mignotte,
Olivier Peyran:
Scheduling using mixed arithmetic: an ILP formulation.
ED&TC 1997: 621 |
5 | EE | 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 |