Zobrazeno 1 - 10
of 287
pro vyhledávání: '"Gene Cooperman"'
Publikováno v:
2022 IEEE/ACM Third International Symposium on Checkpointing for Supercomputing (SuperCheck).
Publikováno v:
2021 SC Workshops Supplementary Proceedings (SCWS).
MANA-2.0 is a scalable, future-proof design for transparent checkpointing of MPI-based computations. Its network transparency ("network-agnostic") feature ensures that MANA-2.0 will provide a viable, efficient mechanism for transparently checkpointin
Autor:
J. Beck, Gene Cooperman
Publikováno v:
Proceedings of the International Symposium on Combinatorial Search. 4:x
Abstracts of the invited speaker talks Modeling, Global Constraints, and Decomposition by J. Christopher Beck and Applications of Graph Search in Group Theory and Proteomics by Gene Cooperman, presented that the 2013 SoCS Symposium.
Autor:
Twinkle Jain, Gene Cooperman
Publikováno v:
SC
The share of the top 500 supercomputers with NVIDIA GPUs is now over 25% and continues to grow. While fault tolerance is a critical issue for supercomputing, there does not currently exist an efficient, scalable solution for CUDA applications on NVID
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7259050adfa78182a4d6477037b74082
http://arxiv.org/abs/2008.10596
http://arxiv.org/abs/2008.10596
Publikováno v:
IEEE International Conference on Mobile Cloud Computing
IEEE International Conference on Mobile Cloud Computing, Apr 2020, Oxford, United Kingdom
MobileCloud
IEEE International Conference on Mobile Cloud Computing, Apr 2020, Oxford, United Kingdom
MobileCloud
International audience; In fog computing environments container deployment is a frequent operation which often lies in the critical path of services being delivered to an end user. Although creating a container can be very fast, the container's appli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fda24f856b9b18c77295a592941f36b3
https://hal.inria.fr/hal-02473333/file/main.pdf
https://hal.inria.fr/hal-02473333/file/main.pdf
Autor:
Shripad Nadgowda, Peter Desnoyers, Sona Varma, Gene Cooperman, Orran Krieger, Sahil Suneja, Ata Turk, Apoorve Mohan, Bhautik Pipaliya, Canturk Isci
Publikováno v:
IC2E
Continuous verification and security analysis of software systems are of paramount importance to many organizations. The state-of-the-art for such operations implements agent-based approaches to inspect the provisioned software stack for security and
Autor:
Martin Quinson, Gene Cooperman
Publikováno v:
The Art, Science, and Engineering of Programming
The Art, Science, and Engineering of Programming, aosa, Inc., In press, ⟨10.22152/programming-journal.org/2020/4/13⟩
The Art, Science, and Engineering of Programming, In press, ⟨10.22152/programming-journal.org/2020/4/13⟩
The Art, Science, and Engineering of Programming, aosa, Inc., In press, ⟨10.22152/programming-journal.org/2020/4/13⟩
The Art, Science, and Engineering of Programming, In press, ⟨10.22152/programming-journal.org/2020/4/13⟩
International audience; This work strives to make formal verification of POSIX multithreaded programs easily accessible to general programmers. Sthread operates directly on multithreaded C/C++ programs, without the need for an intermediate formal mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::87541a7b43b17e7f3a6f540e3246a811
Autor:
Caitlyn L. Mills, Liang Tian, Joslynn S. Lee, Alexander I. Suciu, Rohan Garg, Gene Cooperman, Penny J. Beuning, Mary Jo Ondrechen
Publikováno v:
Protein Science : A Publication of the Protein Society
As a result of high‐throughput protein structure initiatives, over 14,400 protein structures have been solved by Structural Genomics (SG) centers and participating research groups. While the totality of SG data represents a tremendous contribution
Publikováno v:
HPDC
Transparently checkpointing MPI for fault tolerance and load balancing is a long-standing problem in HPC. The problem has been complicated by the need to provide checkpoint-restart services for all combinations of an MPI implementation over all netwo
Publikováno v:
Docu-menta. Repositorio Institucional del CIEMAT
Consejo Superior de Investigaciones Científicas (CSIC)
Docu-menta: Repositorio Institucional del CIEMAT
Centro de Investigaciones Energéticas, Medioambientales y Tecnológicas (CIEMAT)
Consejo Superior de Investigaciones Científicas (CSIC)
Docu-menta: Repositorio Institucional del CIEMAT
Centro de Investigaciones Energéticas, Medioambientales y Tecnológicas (CIEMAT)
Until now, jobs running on HPC clusters were tied to the node where their execution started. We have removed that limitation by integrating a user-level checkpoint/ restart library into a resource manager, fully transparent to both the user and runni
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc4c138bb4d28f67d836774ebcf465f6
https://doi.org/10.1007/s11227-019-02857-y
https://doi.org/10.1007/s11227-019-02857-y