Index of /~bryan/papers2/computer-science

	Name	Last modified	Size	Description
	Parent Directory		-
	correctness/	2017-07-25 08:51	-
	type-theory/	2016-06-01 07:06	-
	url.txt	2018-01-20 19:54	407
	get.txt	2015-02-14 17:50	1.7K
	A survey of quantum programming languages - 2008.pdf	2014-07-27 08:10	91K
	mov is Turing-complete.pdf	2013-07-19 07:59	175K
	A solution of the P versus NP problem - 2017.pdf	2017-08-13 17:45	271K
	FCUDA: Enabling efficient compilations of CUDA kernels onto FPGAs.pdf	2017-09-25 14:38	325K
	A short primer on causal consistency.pdf	2015-10-31 06:19	328K
	A survey of rollback-recovery protocols in message-passing systems.pdf	2015-10-25 05:28	420K
	Communication patterns for embedded system design.pdf	2015-03-29 22:47	725K
	P =? NP - Scott Aaronson.pdf	2017-01-04 06:50	925K
	The limits of quantum computers - Scott Aaronson.pdf	2013-02-06 06:17	1.0M
	The world's technological capacity to store, communicate and compute information - 2011.pdf	2011-04-01 09:46	1.5M
	ModernC.pdf	2017-04-11 06:10	1.9M
	Probabilistic logics and the synthesis of reliable organisms from unreliable components - John von Neumann.pdf	2010-02-23 12:35	3.4M