Search Results - Bonenfant, Armelle

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Modelling and proving the monotonicity of processor pipelines in Coq

    Modelling and proving the monotonicity of processor pipelines in Coq by Gruin, Alban, Bonenfant, Armelle, Carle, Thomas, Rochange, Christine

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore

    Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore by Ungerer, Theo, Bradatsch, Christian, Frieb, Martin, Kluge, Florian, Mische, Jörg, Stegmeier, Alexander, Jahr, Ralf, Gerdes, Mike, Zaykov, Pavel, Matusova, Lucie, Li, Zai Jian Jia, Petrov, Zlatko, Böddeker, Bert, Kehr, Sebastian, Regler, Hans, Hugl, Andreas, Rochange, Christine, Ozaktas, Haluk, Cassé, Hugues, Bonenfant, Armelle, Sainrat, Pascal, Lay, Nick, George, David, Broster, Ian, Quiñones, Eduardo, Panic, Milos, Abella, Jaume, Hernandez, Carles, Cazorla, Francisco, Uhrig, Sascha, Rohde, Mathias, Pyka, Arthur

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Normalisation of Loops with Covariant Variables

    Normalisation of Loops with Covariant Variables by De Michiel, Marianne, Bonenfan, Armelle, Cassé, Hugues

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation

    Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation by de Michiel, Marianne, Bonenfant, Armelle, Casse, Hugues, Sainrat, Pascal

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: