Abstract
| Language | English |
|---|---|
| Title of host publication | Unknown Host Publication |
| Pages | 202-209 |
| Number of pages | 8 |
| DOIs | |
| Publication status | Published - 1994 |
| Event | Proceedings, second euromicro workshop on parallel and distributed processing - University of Malaga, Spain Duration: 1 Jan 1994 → … |
Conference
| Conference | Proceedings, second euromicro workshop on parallel and distributed processing |
|---|---|
| Period | 1/01/94 → … |
Fingerprint
Keywords
- n/a
Cite this
}
Rapid prototyping of parallel fault tolerant systems. / Nixon, Patrick; Birkinshaw, C; Croll, P; Marriott, D.
Unknown Host Publication. 1994. p. 202-209.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - Rapid prototyping of parallel fault tolerant systems
AU - Nixon, Patrick
AU - Birkinshaw, C
AU - Croll, P
AU - Marriott, D
PY - 1994
Y1 - 1994
N2 - The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be conceived which allows fault tolerance to be modelled quickly, and faults simulated to analyse the behaviour of the system. This paper concentrates on how a functional specification language, and its environment, can be used to describe and investigate the properties of parallel fault tolerant systems. The functional system used is grounded in the theory of parallel processing and functional programming.
AB - The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be conceived which allows fault tolerance to be modelled quickly, and faults simulated to analyse the behaviour of the system. This paper concentrates on how a functional specification language, and its environment, can be used to describe and investigate the properties of parallel fault tolerant systems. The functional system used is grounded in the theory of parallel processing and functional programming.
KW - n/a
U2 - 10.1109/EMPDP.1994.592491
DO - 10.1109/EMPDP.1994.592491
M3 - Conference contribution
SN - 9780818653704
SP - 202
EP - 209
BT - Unknown Host Publication
ER -