Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs

Bibliografische gegevens

Gepubliceerd in:	arXiv.org (Jul 25, 2017), p. n/a
Hoofdauteur:	Chauhan, Himanshu
Andere auteurs:	Garg, Vijay
Gepubliceerd in:	Cornell University Library, arXiv.org
Onderwerpen:	Debugging Algorithms Program verification (computers) Computation Compilers Parallel programming Enumeration Exhausting Polynomials
Online toegang:	Citation/Abstract Full text outside of ProQuest
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!