Search Results - Barollet, Theo

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    EasyTracker: A Python Library for Controlling and Inspecting Program Execution

    EasyTracker: A Python Library for Controlling and Inspecting Program Execution by Barollet, Theo, Guillon, Christophe, Selva, Manuel, Broquedis, Francois, Bouchez-Tichadou, Florent, Rastello, Fabrice

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models

    Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models by Kommrusch, Steve, Barollet, Théo, Louis-Noël Pouchet

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model

    Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model by Kommrusch, Steve, Barollet, Théo, Louis-Noël Pouchet

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: