William Pierce

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 1

Top Topics

Computational Science

Error Detection

Top Venues

Publications

Richard Roth, William Pierce
Bringing Harmony to Computational Science Pedagogy. ICCS (7) (2020)
Osama Khan, Randal C. Burns, James S. Plank, William Pierce, Cheng Huang
Rethinking erasure codes for cloud file systems: minimizing I/O for recovery and degraded reads. FAST (2012)
William Pierce
Toward Mechanical Methods for Streamlining Proofs. CADE (1990)
Bishop Brock, Shaun Cooper, William Pierce
Analogical Reasoning and Proof Discovery. CADE (1988)