Publications (6) Publications auxquelles un chercheur a participé

1992

  1. Automatic diagnosis of the lung mechanical function

    Proceedings of SPIE - The International Society for Optical Engineering

  2. Basic superposition is complete

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Design control in a high level synthesis system

    Microprocessing and Microprogramming, Vol. 34, Núm. 1-5, pp. 93-96

  4. HEURISTICS FOR BRANCH-AND-BOUND GLOBAL ALLOCATION

    EURO-DAC 92 : EUROPEAN DESIGN AUTOMATION CONFERENCE

  5. Heuristics for branch-and-bound global allocation

    European Design Automation Conference

  6. Theorem proving with ordering constrained clauses

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)