Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Timothy K. Zirkel"'
Autor:
Timothy K. Zirkel, Stephen F. Siegel
Publikováno v:
Mathematics in Computer Science. 5:395-426
The Toolkit for Accurate Scientific Software (TASS) is a suite of integrated tools for the formal verification of programs used in computational science, including numerically-intensive message-passing-based parallel programs. While TASS can verify a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d2096201e3ccad7b74c378f70a971596
https://doi.org/10.1007/s11786-011-0100-7
https://doi.org/10.1007/s11786-011-0100-7
Autor:
John G. Edenhofner, Manchun Zheng, Matthew B. Dwyer, Stephen F. Siegel, Michael S. Rogers, Timothy K. Zirkel, Ziqing Luo, Andre V. Marianiello
Publikováno v:
SC
There are many ways to express parallel programs: message-passing libraries (MPI) and multithreading/GPU language extensions such as OpenMP, Pthreads, and CUDA, are but a few. This multitude creates a serious challenge for developers of software veri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02072055b93ed93d58bf0cec39b4fad3
https://doi.org/10.1145/2807591.2807635
https://doi.org/10.1145/2807591.2807635
Autor:
Stephen F. Siegel, Timothy K. Zirkel
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642279393
VMCAI
VMCAI
Techniques for verifying program assertions using symbolic execution exhibit a significant limitation: they typically require that (small) bounds be imposed on the number of loop iterations. For sequential programs, there is a way to overcome this li
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::854b085f0718d699a73f43318cbbc0cb
https://doi.org/10.1007/978-3-642-27940-9_27
https://doi.org/10.1007/978-3-642-27940-9_27
Autor:
Stephen F. Siegel, Timothy K. Zirkel
Publikováno v:
PPOPP
The Toolkit for Accurate Scientific Software (TASS) is a suite of tools for the formal verification of MPI-based parallel programs used in computational science. TASS can verify various safety properties as well as compare two programs for functional
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::639269453d1479ae48346c5f4d2f46ce
https://doi.org/10.1145/1941553.1941603
https://doi.org/10.1145/1941553.1941603
Autor:
Stephen F. Siegel, Timothy K. Zirkel
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642182747
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24e60417d52f53c56d68356d3ac0919a
https://doi.org/10.1007/978-3-642-18275-4_27
https://doi.org/10.1007/978-3-642-18275-4_27