Výsledky vyhľadávania - [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

  • Zobrazené výsledky 1 - 6 z 6
Upresniť hľadanie
  1. 1
    Obálka

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

    ISSN: 0890-5401, 1090-2651
    Vydavateľské údaje: Elsevier Inc 01.02.2017
    Vydané v 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…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

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

    ISSN: 2075-2180
    Vydavateľské údaje: Open Publishing Association 31.12.2018
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  3. 3
    Obálka

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

    ISSN: 2161-5063, 2161-5063
    Vydavateľské údaje: United States 19.08.2016
    Vydané v 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…”
    Zistit podrobnosti o prístupe
    Journal Article
    Pridať do obľúbených
    Uložené v:
  4. 4
    Obálka

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

    ISSN: 0890-5401
    Vydavateľské údaje: Elsevier BV 01.04.2015
    Vydané v Information and Computation (01.04.2015)
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  5. 5
    Obálka

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

    ISBN: 3030473600, 9783030473600
    Vydavateľské údaje: Switzerland Springer International Publishing AG 2020
    Získať plný text
    Kapitola
    Pridať do obľúbených
    Uložené v:
  6. 6
    Obálka

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

    ISBN: 142449110X, 9781424491100
    ISSN: 2379-5352
    Vydavateľské údaje: 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…”
    Získať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: