Alvin M. Despain
- High-performance logic programming with the Aquarius Prolog compiler
1992/01/01 by Peter Van Roy, Alvin M. Despain · 2 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Parallel Computing and Optimization Techniques
- A Parallel Quantum Computer Simulator
1998/04/16 by Kevin Obenland, Kevin M. Obenland, Alvin M. Despain +2 · 2 citations
Computer Science · Physics and Astronomy · #FOS: Physical sciences #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #quant-ph