Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ankit Goel
Compactly Representing Parallel Program Executions
Related publications
Combining Hardware and Software Instrumentation to Classify Program Executions
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Impact of Process Replication on Executions of Large-Scale Parallel Applications With Coordinated Checkpointing
Future Generation Computer Systems
Hardware
Computer Networks
Software
Architecture
Communications
Reachability Analysis on Distributed Executions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compactly Supra B-K-Closed Sets
Al-Qadisiyah Journal Of Pure Science
Correction To: “Compactly Cogenerated LCA Groups”
Pacific Journal of Mathematics
Mathematics
Compactly Accessible Categories and Quantum Key Distribution
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Rough Sets for Trees of Executions
Quartz: A Tool for Tuning Parallel Program Performance
Performance Evaluation Review
Hardware
Computer Networks
Software
Architecture
Communications
