Actor Model of Computation: Scalable Robust Information Systems (2010) [pdf]arxiv.org·1 pts·steven741·0
DDD: A System for Mechanized Digital Design Derivation (1997) [pdf]pdfs.semanticscholar.org·1 pts·steven741·0
The Page-Fault Weird Machine: Lessons in Instruction-Less Computation(2013)[pdf]cs.dartmouth.edu·4 pts·steven741·0
Microsoft keeps it old-school with a pricey text adventure game (2010)arstechnica.com·1 pts·steven741·0
Hardware Trojans: Lessons Learned After One Decade of Research (2016) [pdf]jin.ece.ufl.edu·3 pts·steven741·0