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

  • Treffer 1 - 6 von 6
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    ISSN: 0890-5401, 1090-2651
    Veröffentlicht: Elsevier Inc 01.02.2017
    Veröffentlicht 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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    ISSN: 2075-2180
    Veröffentlicht: Open Publishing Association 31.12.2018
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    ISSN: 2161-5063, 2161-5063
    Veröffentlicht: United States 19.08.2016
    Veröffentlicht 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 …”
    Weitere Angaben
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    ISSN: 0890-5401
    Veröffentlicht: Elsevier BV 01.04.2015
    Veröffentlicht in Information and Computation (01.04.2015)
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    ISBN: 3030473600, 9783030473600
    Veröffentlicht: Switzerland Springer International Publishing AG 2020
    Volltext
    Buchkapitel
    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

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

    ISBN: 142449110X, 9781424491100
    ISSN: 2379-5352
    Veröffentlicht: 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 …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: