The Retrocomputing Museumhttp://www.catb.org/retro/
even native support for distributed programs..." wenyan-lang Retro in a different direction: this programming language uses the orthography and mimics the syntax and gammar of Cla
A museum of archaic computer languages
Augmenting Long-term Memoryhttp://augmentingcognition.com/ltm.html
solve, and to create. Distributed practice Why does Anki work? In this section we briefly look at one of the key underlying ideas from cognitive science, known as distributed prac
synthcode bloghttp://synthcode.com/blog/
://en.wikipedia.org/wiki/Distributed_operating_system" title="Distributed operating system" distributed operating system</a , primarily used for research.</p '
Anshul Gandhihttp://www3.cs.stonybrook.edu/~anshul/
performance modeling in distributed systems, and is funded by an NSF Career award, an IBM Faculty award, and a Google Research award. His contributions to performance modeling wer
Regular Expression Matching Can Be Simple And Fasthttps://swtch.com/~rsc/regexp/regexp1.html
source, was not widely distributed. Pike himself did not realize that his technique was anything new. Henry Spencer reimplemented the Eighth Edition library interface from scratch
Bookmarks for grinhttps://grin.hu/bookmarks.html
TCL Archive CACHE - A Distributed Testbed for National Information Provisioning WWW Cache Services in Hungary Internet Software Consortium European Internet Registry Policies and
Spin - Formal Verificationhttp://spinroot.com/spin/old.html
formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center, starting in 1980. Th
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Great Works in Programming Languageshttps://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml
1978. Reprinted in ``Distributed Computing: Concepts and Implementations'' edited by McEntire, O'Reilly and Larson, IEEE, 1984. [ bib ] Thomas Johnsson. Lambda lifting: transformi
The Writings of Leslie Lamporthttps://lamport.azurewebsites.net/pubs/pubs.html
W. Dijkstra Prize in Distributed Computing (2005) (for paper [41] ) Honorary Doctorate, Università della Svizzera Italiana, Lugano (2006) ACM SIGOPS Hall of Fame Award (2007) (for
Ken Perrine: Papershttps://www.academiken.com/papers.html
Parallel and Distributed Processing Symposium (IPDPS), 2003. (abstract) Jones, Donald R., Elizabeth R. Jurrus, Brian D. Moon, and Kenneth A. Perrine, "Gigapixel-size Real-time Int
Ken Perrine's conference papers.
Find more...