Brian Randell  Home/Search
Context Related
| www3.oup.co.uk/computer_jo...430095.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www3.oup.co.uk/computer_journa... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: o the overall work of Bletchley Park. After the war, Turing reappeared on the public scene, so to speak, and was instrumental in initiating the work at the National Physical Laboratory (NPL) on electronic computers. This provided me with another point of contact with him, since---aside from a brief flirtation with the IBM 650, a boringly easy computer to program---my initial years as a programmer were spent trying to cope with the English Electric DEUCE computer. This computer was a direct... (Update)
Cited by: More
Bridging Industrial Design And Software Engineering Through.. - Besnard, Lawrie (2002) (Correct)
A Formal Basis for Some Dependability Notions - Jones (2003) (Correct)
Thinking Tools for the Future of Computing Science - Jones (2000) (Correct)
Active bibliography (related documents): More All
0.5: Dependable Pervasive Systems - Jones, Randell (2004) (Correct)
0.5: Implementing Atomic Actions in Ada 95 - Wellings, Burns (1996) (Correct)
0.3: Formal Methods and the Certification of Critical Systems - Rushby (1993) (Correct)
Similar documents based on text: More All
0.4: Edsger Dijkstra - Randell (2003) (Correct)
0.4: Fundamental Concepts of Dependability - Avizienis, Laprie, Randell (2000) (Correct)
0.1: Taxonomies of Logically Defined Qualitative Spatial Relations - Cohn, Randell, Cui (1994) (Correct)
Related documents from co-citation: More All
4: Using model checking to help discover mode confusions and other automation surpr.. - Rushby - 1999
3: Managing the Risks of Organisational Accidents (context) - Reason - 1997
3: Cambridge University Press (context) - James, Topology - 1989
BibTeX entry: (Update)
B. Randell. Facing Up to Faults. Turing Lecture, 2000. http://citeseer.ist.psu.edu/randell00facing.html More
@article{ randell00facing,
author = "Randell",
title = "Facing Up to Faults",
journal = "COMPJ: The Computer Journal",
volume = "43",
year = "2000",
url = "citeseer.ist.psu.edu/randell00facing.html" }
Citations (may not include all citations):901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
293 System structure for software fault tolerance (context) - Randell - 1975
69 Fault tolerance in concurrent object-oriented software throu.. - Xu, Randell et al. - 1995
60 Probabilistic logic and the synthesis of reliable organisms .. (context) - von Neumann - 1956
57 Computer Related Risks (context) - Neumann - 1995
49 Data processing spheres of control (context) - Davies - 1978
44 Error recovery in asynchronous systems (context) - Campbell, Randell - 1986
26 Conceptual modelling of coincident failures in multi-version.. (context) - Littlewood, Miller - 1989
21 version programming: a fault-tolerance approach to reliabili.. (context) - Chen, Avizienis - 1978
18 Checking a large routine (context) - Turing - 1949
17 Dependability: basic concepts and terminology---in English (context) - Laprie - 1992
17 Dependability: basic concepts and associated terminology (context) - Laprie - 1991
17 Co-ordinated exception handling in distributed object system.. - Xu, Romanovsky et al. - 1998
11 Rigorous development of a safety-critical system based on co.. - Xu, Randell et al. - 1999
10 The Origins of Digital Computers: Selected Papers (context) - Randell - 1982
10 Using co-ordinated atomic actions to design complex safety-c.. - Zorzo, Romanovsky et al. - 1999
9 Chaos: the dollar drain of IT project failures (context) - Johnson - 1995
7 An early program proof by Alan Turing (context) - Morris, Jones - 1984
6 Dependable computing: concepts (context) - Laprie - 1995
6 Iterative multi-level modelling: a methodology for computer .. (context) - Zurcher, Randell - 1968
5 Developing control software for production cell II: failure .. - Xu, Randell et al. - 1999
2 Dependability of software-based critical systems (context) - Laprie - 1999
2 Process structuring (context) - Lomet - 1977
1 How to cheat at the lottery (context) - Anderson - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/): More
Overcoming the Curse of Dimensionality in Clustering by.. - Murtagh, Starck, BERRY (2000) (Correct)
Wait-Free Handshaking using Rainbow Coloring - Papatriantafilou, Tsigas (2000) (Correct)
Data Placement Schemes to Reduce Conflicts in Interleaved Memories - John (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC