« earlier | later » Page 1 of 2
How to Make Zuse's Z3 a Universal Computer
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
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
Some concurrency-related papers, including "Non-interference for concurrent programs".
to concurrency papers research ... on 03 November 2007
... going back to 1959. Some very interesting reading here.
to ai compiler papers research retrocomputing ... on 02 June 2006
The systems conference Fred went to; some Singularity-related stuff.
Computer Laboratory - Technical Report UCAM-CL-TR-453
"C formalised in HOL"
The "Bug" Heard Round The World
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
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)
Handy introductory paper to BSP.
« earlier | later » Page 1 of 2
| - papers | |
| 1 | ai |
| 1 | bsp |
| 1 | ca |
| 1 | certificate |
| 2 | compiler |
| 1 | computation |
| 1 | concurrency |
| 1 | concurrent |
| 1 | cryptography |
| 1 | drivers |
| 1 | encryption |
| 1 | engineering |
| 1 | failure |
| 1 | floating-point |
| 1 | gpg |
| 2 | maths |
| 1 | metaphors |
| 1 | os |
| 12 | papers |
| 1 | pgp |
| 1 | programming |
| 9 | research |
| 2 | retrocomputing |
| 2 | security |
| 1 | software |
| 1 | ssl |
| 1 | systems |
| 1 | teaching |
| 1 | testing |
| 1 | tls |
| 1 | z3 |
| 1 | zuse |
tasty by Adam Sampson.