The SCEAS System
Navigation Menu

Search the dblp DataBase


Anne Mignotte: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    Synthesis for Control Dominated Circuits, 1992, pp:275-291 [Conf]
  2. Karen Godary, Isabelle Augé-Blum, Anne Mignotte
    Temporal Bounds for TTA: Validation. [Citation Graph (0, 0)][DBLP]
    DIPES, 2004, pp:73-82 [Conf]
  3. Anne Mignotte, Olivier Peyran
    Reducing the Complexity of ILP Formulations for Synthesis. [Citation Graph (0, 0)][DBLP]
    ISSS, 1997, pp:58-64 [Conf]
  4. Antoine Fraboulet, Guillaume Huard, Anne Mignotte
    Loop Alignment for Memory Accesses Optimization. [Citation Graph (0, 0)][DBLP]
    ISSS, 1999, pp:71-77 [Conf]
  5. Antoine Fraboulet, Karen Kodary, Anne Mignotte
    Loop fusion for memory space optimization. [Citation Graph (0, 0)][DBLP]
    ISSS, 2001, pp:95-100 [Conf]
  6. Luis Balme, Anne Mignotte, Jean-Yves Monari, Patrick Pondaven, Christophe Vaucher
    New Testing Equipment for SMT PC Boards. [Citation Graph (0, 0)][DBLP]
    ITC, 1988, pp:401-410 [Conf]
  7. Pierre-Yves Calland, Anne Mignotte, Olivier Peyran, Yves Robert, Frédéric Vivien
    Retiming DAGs [direct acyclic graph]. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1998, v:17, n:12, pp:1319-1325 [Journal]

  8. Scheduling using mixed arithmetic: an ILP formulation. [Citation Graph (, )][DBLP]

  9. SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002