Search Results - [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Cover Image

    Deadlock analysis of unbounded process networks by Kobayashi, Naoki, Laneve, Cosimo

    ISSN: 0890-5401, 1090-2651
    Published: Elsevier Inc 01.02.2017
    Published in Information and computation (01.02.2017)
    “…Deadlock detection in concurrent programs that create networks with arbitrary numbers of nodes is extremely complex and solutions either give imprecise answers…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers by Marc Pouzet, Timothy Bourke, Jun Inoue

    ISSN: 2075-2180
    Published: Open Publishing Association 31.12.2018
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Developmental Design of Synthetic Bacterial Architectures by Morphogenetic Engineering by Pascalie, Jonathan, Potier, Martin, Kowaliw, Taras, Giavitto, Jean-Louis, Michel, Olivier, Spicher, Antoine, Doursat, René

    ISSN: 2161-5063, 2161-5063
    Published: United States 19.08.2016
    Published in ACS synthetic biology (19.08.2016)
    “…Synthetic biology is an emerging scientific field that promotes the standardized manufacturing of biological components without natural equivalents. Its goal…”
    Get more information
    Journal Article
    Save to List
    Saved in:
  4. 4
    Cover Image

    A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

    ISBN: 3030473600, 9783030473600
    Published: Switzerland Springer International Publishing AG 2020
    Get full text
    Book Chapter
    Save to List
    Saved in:
  5. 5
    Cover Image

    Formal security proofs with minimal fuss: Implicit computational complexity at work by Nowak, David, Zhang, Yu

    ISSN: 0890-5401
    Published: Elsevier BV 01.04.2015
    Published in Information and Computation (01.04.2015)
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

    Systematic Development of Correct Bulk Synchronous Parallel Programs by Gesbert, L, Zhenjiang Hu, Loulergue, Frédéric, Matsuzaki, K, Tesson, J

    ISBN: 142449110X, 9781424491100
    ISSN: 2379-5352
    Published: IEEE 01.12.2010
    “…With the current generalisation of parallel architectures arises the concern of applying formal methods to parallelism. The complexity of parallel, compared to…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: