Výsledky vyhledávání - "ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification"

  • Zobrazuji výsledky 1 - 6 z 6
Upřesnit hledání
  1. 1

    Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation

    Autoři: Charguéraud, Arthur Pottier, François Laboratoire de Recherche en Informatique (LRI) a další

    Přispěvatelé: Charguéraud, Arthur Pottier, François Laboratoire de Recherche en Informatique (LRI) a další

    Zdroj: 6th International Conference on Interactive Theorem Proving (ITP)
    https://inria.hal.science/hal-01245872
    6th International Conference on Interactive Theorem Proving (ITP), Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_9⟩

    Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geografické téma: Nanjing, China

    Dostupnost: https://inria.hal.science/hal-01245872
    https://inria.hal.science/hal-01245872v1/document
    https://inria.hal.science/hal-01245872v1/file/credits_itp15.pdf
    https://doi.org/10.1007/978-3-319-22102-1_9

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Reproducible and User-Controlled Software Environments in HPC with Guix

    Autoři: Courtès, Ludovic Wurmus, Ricardo Service Expérimentation et Développement Bordeaux (SED) a další

    Přispěvatelé: Courtès, Ludovic Wurmus, Ricardo Service Expérimentation et Développement Bordeaux (SED) a další

    Zdroj: 2nd International Workshop on Reproducibility in Parallel Computing (RepPar)
    https://inria.hal.science/hal-01161771
    2nd International Workshop on Reproducibility in Parallel Computing (RepPar), Aug 2015, Vienne, Austria
    http://reppar.org/

    Témata: hpc, reproducible research, package management, gestion de paquets, répétabilité, calcul intensif, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.5: Software configuration management, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Geografické téma: Vienne, Austria

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1506.02822; ARXIV: 1506.02822

    Dostupnost: https://inria.hal.science/hal-01161771
    https://inria.hal.science/hal-01161771v2/document
    https://inria.hal.science/hal-01161771v2/file/reproducible-hpc.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation

    Autoři: Charguéraud, Arthur Pottier, François Laboratoire de Recherche en Informatique (LRI) a další

    Přispěvatelé: Charguéraud, Arthur Pottier, François Laboratoire de Recherche en Informatique (LRI) a další

    Zdroj: 6th International Conference on Interactive Theorem Proving (ITP)
    https://inria.hal.science/hal-01245872
    6th International Conference on Interactive Theorem Proving (ITP), Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_9⟩

    Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geografické téma: Nanjing, China

    Dostupnost: https://inria.hal.science/hal-01245872
    https://inria.hal.science/hal-01245872v1/document
    https://inria.hal.science/hal-01245872v1/file/credits_itp15.pdf
    https://doi.org/10.1007/978-3-319-22102-1_9

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    Reproducible and User-Controlled Software Environments in HPC with Guix

    Autoři: Courtès, Ludovic Wurmus, Ricardo Service Expérimentation et Développement Bordeaux (SED) a další

    Přispěvatelé: Courtès, Ludovic Wurmus, Ricardo Service Expérimentation et Développement Bordeaux (SED) a další

    Zdroj: 2nd International Workshop on Reproducibility in Parallel Computing (RepPar)
    https://inria.hal.science/hal-01161771
    2nd International Workshop on Reproducibility in Parallel Computing (RepPar), Aug 2015, Vienne, Austria
    http://reppar.org/

    Témata: hpc, reproducible research, package management, gestion de paquets, répétabilité, calcul intensif, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.5: Software configuration management, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Geografické téma: Vienne, Austria

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1506.02822; hal-01161771; https://inria.hal.science/hal-01161771; https://inria.hal.science/hal-01161771v2/document; https://inria.hal.science/hal-01161771v2/file/reproducible-hpc.pdf; ARXIV: 1506.02822

    Dostupnost: https://inria.hal.science/hal-01161771
    https://inria.hal.science/hal-01161771v2/document
    https://inria.hal.science/hal-01161771v2/file/reproducible-hpc.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

    Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation

    Autoři: Charguéraud, Arthur Pottier, François Laboratoire de Recherche en Informatique (LRI) a další

    Přispěvatelé: Charguéraud, Arthur Pottier, François Laboratoire de Recherche en Informatique (LRI) a další

    Zdroj: 6th International Conference on Interactive Theorem Proving (ITP)
    https://hal.inria.fr/hal-01245872
    6th International Conference on Interactive Theorem Proving (ITP), Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_9⟩

    Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geografické téma: Nanjing, China

    Relation: hal-01245872; https://hal.inria.fr/hal-01245872; https://hal.inria.fr/hal-01245872/document; https://hal.inria.fr/hal-01245872/file/credits_itp15.pdf

    Dostupnost: https://hal.inria.fr/hal-01245872
    https://hal.inria.fr/hal-01245872/document
    https://hal.inria.fr/hal-01245872/file/credits_itp15.pdf
    https://doi.org/10.1007/978-3-319-22102-1_9

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation

    Autoři: Charguéraud, Arthur Pottier, François Laboratoire de Recherche en Informatique (LRI) a další

    Přispěvatelé: Charguéraud, Arthur Pottier, François Laboratoire de Recherche en Informatique (LRI) a další

    Zdroj: 6th International Conference on Interactive Theorem Proving (ITP)
    https://inria.hal.science/hal-01245872
    6th International Conference on Interactive Theorem Proving (ITP), Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_9⟩

    Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geografické téma: Nanjing, China

    Dostupnost: https://inria.hal.science/hal-01245872
    https://inria.hal.science/hal-01245872v1/document
    https://inria.hal.science/hal-01245872v1/file/credits_itp15.pdf
    https://doi.org/10.1007/978-3-319-22102-1_9

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: