Tasty » Adam Sampson's papers bookmarks

How to Make Zuse's Z3 a Universal Computer edit / delete

As it says -- bearing in mind that the Z3 was effectively a four-function calculator with an instruction tape, this is an interesting proof.

to computation maths papers retrocomputing z3 zuse ... on 12 March 2012

Prof. W. Kahan's web pages edit / delete

Includes a variety of splendid publications on floating-point maths and how it's implemented. Worth referring to for occam-pi's maths implementation.

to compiler floating-point maths papers research ... on 13 December 2007

Gérard Boudol's Home Page edit / delete

Some concurrency-related papers, including "Non-interference for concurrent programs".

to concurrency papers research ... on 03 November 2007

CSAIL Publications edit / delete

... going back to 1959. Some very interesting reading here.

to ai compiler papers research retrocomputing ... on 02 June 2006

EuroSys2006 edit / delete

The systems conference Fred went to; some Singularity-related stuff.

to drivers os papers research systems ... on 30 April 2006

Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets - Norrish, Sewell, Wansbrough (ResearchIndex) edit / delete

to papers research ... on 18 August 2005

Computer Laboratory - Technical Report UCAM-CL-TR-453 edit / delete

"C formalised in HOL"

to papers research ... on 18 August 2005

The "Bug" Heard Round The World edit / delete

Tracking down a subtle bug in the Space Shuttle control system -- and a plea to development system designers.

to engineering failure papers research software ... on 03 August 2005

Concurrent Clustered Programming edit / delete

Need to have a look at this when I get back to Canterbury.

to concurrent papers programming research ... on 26 July 2005

Questions And Answers About BSP - Skillicorn, Hill, McColl (ResearchIndex) edit / delete

Handy introductory paper to BSP.

to bsp papers research ... on 23 July 2005