Anne Mignotte

According to our database, Anne Mignotte authored at least 11 papers between 1988 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2004

Temporal Bounds for TTA: Validation.

Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive.

Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte

Proceedings of the Forum on specification and Design Languages, 2004

2001

Loop fusion for memory space optimization.

Antoine Fraboulet, Karen Kodary, Anne Mignotte

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

2000

Synthesis for Mixed Arithmetic.

Anne Mignotte, Jean-Michel Muller, Olivier Peyran

Des. Autom. Embed. Syst., 2000

1999

Loop Alignment for Memory Accesses Optimization.

Antoine Fraboulet, Guillaume Huard, Anne Mignotte

Proceedings of the 12th International Symposium on System Synthesis, 1999

1998

Retiming DAGs [direct acyclic graph].

Pierre-Yves Calland, Anne Mignotte, Olivier Peyran, Yves Robert, Frédéric Vivien

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

1997

Reducing the Complexity of ILP Formulations for Synthesis.

Anne Mignotte, Olivier Peyran

Proceedings of the 10th International Symposium on System Synthesis, 1997

Scheduling using mixed arithmetic: an ILP formulation.

Anne Mignotte, Olivier Peyran

Proceedings of the European Design and Test Conference, 1997

1992

Synthèse architecturale de circuits intégrés.

Anne Mignotte

PhD thesis, 1992

ASYL: A Control Driven RTL Synthesis System using Library Blocks.

Anne Mignotte, Marie-Claude Bertrand, Michel Crastes de Paulet, Jérôme Rampon, Gabriele Saucier

Proceedings of the Synthesis for Control Dominated Circuits, 1992

1988

New Testing Equipment for SMT PC Boards.

Luis Balme, Anne Mignotte, Jean-Yves Monari, Patrick Pondaven, Christophe Vaucher

Proceedings of the Proceedings International Test Conference 1988, 1988