Travelled to:3 × USA
Collaborated with:M.S.McKendry V.Stavridou H.Barringer G.J.Popek B.J.Walker J.M.Chow C.S.Kline G.Rudisin G.Thiel
Talks about:system (2) file (2) distribut (1) workload (1) transpar (1) reliabl (1) network (1) hardwar (1) exploit (1) specif (1)
Person: David A. Edwards
DBLP: Edwards:David_A=
Contributed to:
1989
19881981Wrote 3 papers:
- SOSP-1989-EdwardsM #file system
- Exploiting Read-Mostly Workloads in The FileNet File System (DAE, MSM), pp. 58–70.
- DAC-1988-StavridouBE #case study #comparative #hardware #specification #verification
- Formal Specification and Verification of Hardware: A Comparative Case Study (VS, HB, DAE), pp. 197–204.
- SOSP-1981-PopekWCERT #distributed #named #network #reliability
- LOCUS — A Network Transparent, High Reliability Distributed System (GJP, BJW, JMC, DAE, CSK, GR, GT), pp. 169–177.