×

ModernC.pdf

Home / Discover /diyhpl.us/~bryan/papers2/computer-science/

  Parent Folder


ModernC.pdf
PDF 4 years ago 1.86 MB
Copy Link   
FCUDA: Enabling efficient compilations of CUDA kernels onto FPGAs.pdf
PDF 4 years ago 325.25 kB
Copy Link   
P =? NP - Scott Aaronson.pdf
PDF 4 years ago 924.97 kB
Copy Link   
Communication patterns for embedded system design.pdf
PDF 4 years ago 725.06 kB
Copy Link   
Probabilistic logics and the synthesis of reliable organisms from unreliable components - John von Neumann.pdf
PDF 4 years ago 3.45 MB
Copy Link   
A survey of rollback-recovery protocols in message-passing systems.pdf
PDF 4 years ago 419.73 kB
Copy Link   
The limits of quantum computers - Scott Aaronson.pdf
PDF 4 years ago 1.04 MB
Copy Link   
A survey of quantum programming languages - 2008.pdf
PDF 4 years ago 91.34 kB
Copy Link   
The world's technological capacity to store, communicate and compute information - 2011.pdf
PDF 4 years ago Get Size
Copy Link   
A solution of the P versus NP problem - 2017.pdf
PDF 4 years ago 270.57 kB
Copy Link   
mov is Turing-complete.pdf
PDF 4 years ago 174.60 kB
Copy Link   
A short primer on causal consistency.pdf
PDF 4 years ago 328.18 kB
Copy Link   
A trustworthy proof checker.pdf
PDF 4 years ago 175.84 kB
Copy Link   
Foundational proof checkers with small witnesses.pdf
PDF 4 years ago 199.90 kB
Copy Link   
Proof checking and logic programming.pdf
PDF 4 years ago 296.39 kB
Copy Link   
curry-howard.pdf
PDF 4 years ago 1.33 MB
Copy Link   

Join FilePursuit on FilePursuit Discord Server chat for discussions and more information.