Anne Mignotte

Publication Activity (10 Years)

Years Active: 1988-2004
Publications (10 Years): 0

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Karen Godary, Isabelle Augé-Blum, Anne Mignotte
Temporal Bounds for TTA: Validation. DIPES (2004)
Karen Godary, Isabelle Augé-Blum, Anne Mignotte
SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. FDL (2004)
Antoine Fraboulet, Karen Kodary, Anne Mignotte
Loop fusion for memory space optimization. ISSS (2001)
Anne Mignotte, Jean-Michel Muller, Olivier Peyran
Synthesis for Mixed Arithmetic. Des. Autom. Embed. Syst. 5 (1) (2000)
Antoine Fraboulet, Guillaume Huard, Anne Mignotte
Loop Alignment for Memory Accesses Optimization. ISSS (1999)
Pierre-Yves Calland, Anne Mignotte, Olivier Peyran, Yves Robert, Frédéric Vivien
Retiming DAGs [direct acyclic graph]. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (12) (1998)
Anne Mignotte, Olivier Peyran
Scheduling using mixed arithmetic: an ILP formulation. ED&TC (1997)
Anne Mignotte, Olivier Peyran
Reducing the Complexity of ILP Formulations for Synthesis. ISSS (1997)
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)
Luis Balme, Anne Mignotte, Jean-Yves Monari, Patrick Pondaven, Christophe Vaucher
New Testing Equipment for SMT PC Boards. ITC (1988)