 | ftp://ftp.cs.duke.edu/dist/techreport/1991/1991-13.ps.Z, 19920831
CS-1991-13 Page Placement for Non-Uniform Memory Access Time (NUMA) Shared Memory Multiprocessors Richard P. LaRowe Jr. Department of Computer Science Duke University Durham, North Carolina 27708-0129 March 27, 1991 PAGE PLACEMENT FOR NON-UNIFORM MEMORY ACCESS TIME (NUMA) SHARED MEMORY MULTIPROCESSORS |
| ftp://ftp.cs.duke.edu/dist/techreport/1988/1988-23.ps.Z, 19920831
CS{1988{23 Prefetching in File Systems for MIMD Multiprocessors Carla Schlatter Ellis David Kotz Department of Computer Science Duke University Durham, North Carolina 27708-0129 November 1988 Prefetching in File Systems for MIMD Multiprocessors Carla Schlatter Ellis David Kotz July 1988 |
| ftp://ftp.cs.duke.edu/dist/techreport/1987/1987-30.ps.Z, 19920831
CS-1987-30 Evaluation of Concurrent Pools David Kotz Carla Schlatter Ellis Department of Computer Science Duke University Durham, North Carolina 27708-0129 October 8, 1987 Evaluation of Concurrent Pools David Kotz Carla Schlatter Ellis October 8, 1987 |
| ftp://ftp.cs.duke.edu/dist/techreport/1991/1991-16.ps.Z, 19920831
CS{1991{16 Prefetching and Caching Techniques in File Systems for MIMD Multiprocessors David F. Kotz Department of Computer Science Duke University Durham, North Carolina 27706 April 2, 1991 1 NOTE: this report is meant to be printed 2-sided. For best effect, make a copy this report using a copier that |
| ftp://ftp.cs.duke.edu/dist/techreport/1986/86Abstr.ps.Z, 19920903
Technical Reports for 1986 Duke University Department of Computer Science Durham, North Carolina 27706 CS-1986-1 - Feasibility Study: Applying a Small BVM to an Atmospheric Chemistry Problem", Robert A. Wagner. A study of the feasibility of using a small BVM for solution of the EPA atmospheric |
| ftp://ftp.cs.duke.edu/dist/techreport/1985/85Abstr.ps.Z, 19920903
Technical Reports for 1985 Duke University Department of Computer Science Durham, North Carolina 27706 CS-1985-1 - Performance Models for Software/Hardware Codesign", Connie U. Smith. The software/hardware codesign methodology is described. It is oriented to the design of both software algorithms and |
| ftp://ftp.cs.duke.edu/dist/techreport/1992/1992-05.ps.Z, 19921006
CS-1992-5 Arithmetic Circuit Complexity and Motion Planning Stephen R. Tate Department of Computer Science Duke University Durham, North Carolina 27708-0129 Arithmetic Circuit Complexity and Motion Planning Stephen R. Tate Dissertation successfully defended March 26, 1991 to the committee: John Reif |
| ftp://ftp.cs.duke.edu/dist/techreport/1992/1992-08.ps.Z, 19921021
CS-1992-08 Implicit Point Location in Arrangements of Line Segments, with an Application to Motion Planning Pankaj K. Agarwal Marc van Kreveld Department of Computer Science Duke University Durham, North Carolina 27708-0129 April 27, 1992 Implicit Point Location in Arrangements of Line Segments, with an |
| ftp://ftp.cs.duke.edu/dist/techreport/1992/1992-16.ps.Z, 19921120
Department of Computer Science Duke University Durham, North Carolina CS-1992-16 A Method for Deriving Systolic Algorithms Robert A. Wagner Michael D. Landis A Method for Deriving Systolic Algorithms Robert A. Wagner and Michael D. Landis1 |
| ftp://ftp.cs.duke.edu/dist/techreport/1992/1992-18.ps.Z, 19921201
CS-1992-18 Performance Evaluation of Hierarchical Ring-Based Shared Memory Multiprocessors Mark Holliday Michael Stumm Department of Computer Science Duke University Durham, North Carolina 27708-0129 November 1992 Performance Evaluation of Hierarchical Ring-Based Shared Memory Multiprocessors Mark |
| ftp://ftp.cs.duke.edu/dist/techreport/1992/1992-21.ps.Z, 19930112
CS{1992{21 Investigations in Model Elimination based Theorem Proving Owen L. Astrachan Department of Computer Science Duke University Durham, North Carolina 27708-0129 December 8, 1992 Investigations in Model Elimination Based Theorem Proving Owen L. Astrachan December 8, 1992 Supervised by Donald W. |
| ftp://ftp.cs.duke.edu/dist/techreport/1992/1992-04.ps.Z, 19930121
CS-1992-04 Searching in an Unknown Environment: An Optimal Randomized Algorithm for The Cow-Path Problem Ming-Yang Kao John H. Reif Stephen R. Tate Department of Computer Science Duke University Durham, North Carolina 27708-0129 February 27, 1992 Searching in an Unknown Environment: An Optimal |
| ftp://ftp.cs.duke.edu/dist/techreport/1992/1992-03.ps.Z, 19930121
CS-1992-03 Planar Strong Connectivity Helps in Parallel Depth-First Search Ming-Yang Kao Department of Computer Science Duke University Durham, North Carolina 27708-0129 February 26, 1992 PLANAR STRONG CONNECTIVITY HELPS IN PARALLEL DEPTH-FIRST SEARCH MING-YANG KAO |
| ftp://ftp.cs.duke.edu/dist/techreport/1992/1992-20.ps.Z, 19930125
CS-1992-20 Near-Horn Prolog and the Ancestry Family of Procedures David W. Reed Donald W. Loveland Department of Computer Science Duke University Durham, North Carolina 27708-0129 December 1992 Near-Horn Prolog and the Ancestry Family of Procedures David W. Reed Department of Computer Science Duke |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-03.ps.Z, 19930215
CS-1993-03 Can Visibility Graphs Be Represented Compactly Pankaj K. Agarwal Noga Alon Boris Aronov Subhash Suri Department of Computer Science Duke University Durham, North Carolina 27708-0129 February 5, 1993 Can Visibility Graphs Be Represented Compactly Pankaj K. Agarwaly Noga Alonz Boris Aronovx |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-02.ps.Z, 19930215
CS{1993{02 Algorithms for Parallel Memory II: Hierarchical Multilevel Memories Jeffrey Scott Vitter, Elizabeth A. M. Shriver Department of Computer Science Duke University Durham, North Carolina 27708-0129 January 20, 1993 Algorithms for Parallel Memory II: Hierarchical Multilevel Memories Jeffrey Scott |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-01.ps.Z, 19930215
CS{1993{01 Algorithms for Parallel Memory I: Two-Level Memories Jeffrey Scott Vitter, Elizabeth A. M. Shriver Department of Computer Science Duke University Durham, North Carolina 27708-0129 January 20, 1993 Algorithms for Parallel Memory I: Two-Level Memories Jeffrey Scott Vitter y Dept. of Computer |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-08.ps.Z, 19930412
CS-1993-08 Ray Shooting Amidst Convex Polygons in 2D Pankaj K. Agarwal Micha Sharir Department of Computer Science Duke University Durham, North Carolina 27708{0129 April 6, 1993 Ray Shooting Amidst Convex Polygons in 2D Pankaj K. Agarwaly Micha Sharirz April 6, 1993 |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-09.ps.Z, 19930504
CS-1993-09 On Stabbing Lines for Convex Polyhedra in 3D Pankaj K. Agarwal Department of Computer Science Duke University Durham, North Carolina 27708{0129 May 4, 1993 On Stabbing Lines for Convex Polyhedra in 3D 1 Pankaj K. Agarwal Department of Computer Science Duke University Durham, NC 27706 May 4, |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-10.ps.Z, 19930511
CS{1993{10 Performance and Reliability Modeling using Markov Regenerative Stochastic Petri Nets Hoon Choi Department of Computer Science Duke University Durham, North Carolina 27708{0129 May 10, 1993 Performance and Reliability Modeling using Markov Regenerative Stochastic Petri Nets Hoon Choi May 10, |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-12.ps.Z, 19930513
CS{1993{12 Specification and Solution of Dependability Models of Fault-Tolerant Systems Manish Malhotra Department of Computer Science Duke University Durham, North Carolina 27708{0129 May 14, 1993 Specification and Solution of Dependability Models of Faul-Tolerant Systems Manish Malhotra May 14, 1993 |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-19.ps.Z, 19930825
CS-1993-19 Star Unfolding of a Polytope with Applications Pankaj K. Agarwal Boris Aronov Joseph O'Rourke Catherine A. Schevon Department of Computer Science Duke University Durham, North Carolina 27708{0129 August 16, 1993 Star Unfolding of a Polytope with Applications Pankaj K. Agarwaly Boris Aronovz |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-20.ps.Z, 19930826
CS-1993-20 An Efficient Multi-Dimensional Searching Technique and its Applications Pankaj K. Agarwal Micha Sharir Sivan Toledo Department of Computer Science Duke University Durham, North Carolina 27708{0129 August 16, 1993 An Efficient Multi-Dimensional Searching Technique and its Applications Pankaj |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-15.ps.Z, 19930922
CS{1993{15 Design and Development of Spoken Natural-Language Dialog Parsing Systems Dwayne Richard Hipp Department of Computer Science Duke University Durham, North Carolina 27708-0129 June 21, 1993 Design and Development of Spoken Natural-Language Dialog Parsing Systems Dwayne Richard Hipp June 21, |
| ftp://ftp.cs.duke.edu/dist/techreport/1992/1992-06.ps.Z, 19930924
CS-1992-06 Evaluating Uniform Expressions Within Two Steps of Minimum Parallel Time Robert A. Wagner Duke University Durham, NC 27706 February 27, 1992 hhhhhhhhhhhhhhh Supported in part by DARPA/ISTO contract N00014-91-C-0114. Evaluating Uniform Expressions Within Two Steps of Minimum Parallel Time |
| ftp://ftp.cs.duke.edu/dist/techreport/1991/1991-11.ps.Z, 19930928
CS{1991{11 An Alternative Characterization of Disjunctive Logic Programs David W. Reed, Donald W. Loveland, Bruce T. Smith Department of Computer Science Duke University Durham, North Carolina 27708{0129 March 12, 1991 Revised: July, 1991 This paper appeared in Proc. of the 1991 Int'l Logic Programming |
| ftp://ftp.cs.duke.edu/dist/techreport/1989/1989-14.ps.Z, 19930928
CS{1989{14 A near-Horn Prolog for Compilation Donald W. Loveland, David W. Reed Department of Computer Science Duke University Durham, North Carolina 27708{0129 July 1989 Revised: March 1990 This paper appeared in Computational Logic: Essays in Honor of Alan Robinson, Lassez and Plotkin (eds.), MIT |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-13.ps.Z, 19931022
CS-1993-132 TR 93-0063 An Architecture-Independent Analysis of False Sharing1 Vivek Khera2 Richard P. LaRowe Jr.3 Carla Schlatter Ellis2 Department of Computer Science Duke University Durham, North Carolina 27708{0129 October 1993 1Partially funded by ARPA (formerly DARPA) under contract number DAAL |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-26.ps.Z, 19931216
CS{1993{26 Optimal Prediction for Prefetching in the Worst Case P. Krishnan Jeffrey Scott Vitter Brown University Duke University Department of Computer Science Duke University Durham, North Carolina 27708{0129 Optimal Prediction for Prefetching in the Worst Case P. Krishnany Dept. of Computer Science |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-25.ps.Z, 19940113
CS{1993{25 The Use of Lemmas in the Model Elimination Procedure O.L. Astrachan and D.W. Loveland1 Department of Computer Science Duke University Durham, North Carolina 27708{0129 December, 1993 1This work is supported in part by NSF grants CCR-8900383 and CCR-9116203. The Use of Lemmas in the Model |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-14.ps.Z, 19940218
CS--1993--14 A Stopping Criterion for Classical Iterative Methods in Inexact Affine-Invariant Newton Techniques Paul J. Lanzkron Department of Computer Science Duke University Durham, North Carolina 27708-0129 June 10, 1993 A STOPPING CRITERION FOR CLASSICAL ITERATIVE METHODS IN INEXACT AFFINE{INVARIANT |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-29.ps.Z, 19940218
CS--1993--29 A Theory for Memory-Based Learning Jyh-Han Lin, Jeffrey Scott Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 December 16, 1993 A Theory for Memory-Based Learning 1 Jyh-Han Lin Motorola Inc. Applied Research/Communications Lab. Paging Products Group |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-23.ps.Z, 19940218
CS-1993-23 Connected Component and Simple Polygon Intersection Searching Pankaj K. Agarwal Marc van Kreveld Department of Computer Science Duke University Durham, North Carolina 27708{0129 October 13, 1993 Connected Component and Simple Polygon Intersection Searching Pankaj K. Agarwaly Marc van Kreveldz |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-28.ps.Z, 19940218
CS--1993--28 Near-Minimum Parallel Time Reduction on Processor Arrays Robert A. Wagner, Michael D. Landis Department of Computer Science Duke University Durham, North Carolina 27708-0129 April 23, 1993 Near-Minimum Parallel Time Reduction on Processor Arrays Robert Wagner and Michael Landis |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-01.ps.Z, 19940315
CS-1994-01 A Notation for Lambda Terms II: Refinements and Applications Gopalan Nadathur Department of Computer Science Duke University Durham, North Carolina 27708{0129 January 1994 A Notation for Lambda Terms II: Refinements and Applications Gopalan Nadathur Department of Computer Science Duke |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-03.ps.Z, 19940315
CS-1994-03 A Notation for Lambda Terms I: A Generalization of Environments Gopalan Nadathur Debra Sue Wilson Department of Computer Science Duke University Durham, North Carolina 27708{0129 January 1994 A Notation for Lambda Terms I: A Generalization of Environments Gopalan Nadathur and Debra Sue Wilson |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-17.ps.Z, 19940520
CS-1994-17 Computing Many Faces in Arrangements of Lines and Segments Pankaj K. Agarwal Ji<=r Matou<=sek Otfried Schwarzkopf Department of Computer Science Duke University Durham, North Carolina 27708{0129 April 13, 1994 Computing Many Faces in Arrangements of Lines and Segments Pankaj K. Agarwaly Ji<=r |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-09.ps.Z, 19940520
CS--1994--09 Arithmetic Coding for Data Compression Paul G. Howard, Jeffrey S. Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 March 25, 1994 Arithmetic Coding for Data Compression PAUL G. HOWARD and JEFFREY SCOTT VITTER, fellow, ieee Arithmetic coding provides an |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-11.ps.Z, 19940520
CS--1994--11 Design and Analysis of Fast Text Compression Based on Quasi-Arithmetic Coding Paul G. Howard, Jeffrey S. Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 March 25, 1994 Design and Analysis of Fast Text Compression Based on Quasi-Arithmetic Coding Paul |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-15.ps.Z, 19940520
CS-1994-15 Computing Envelopes in Four Dimensions with Applications Pankaj K. Agarwal Boris Aronov Micha Sharir Department of Computer Science Duke University Durham, North Carolina 27708{0129 April 13, 1994 Computing Envelopes in Four Dimensions with Applications Pankaj K. Agarwaly Boris Aronovz Micha |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-12.ps.Z, 19940520
CS--1994--12 Practical Prefetching via Data Compression Kenneth M. Curewitz, P. Krishnan, Jeffrey S. Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 March 25, 1994 SIGMOD '93 Practical Prefetching via Data Compression (extended abstract) Kenneth M. Curewitz |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-20.ps.Z, 19940602
CS--1994--20 Indexing for Data Models with Constraints and Classes Paris Kanellakis, Sridhar Ramaswamy, Darren Vengroff, Jeffrey Scott Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 June 1, 1994 Indexing for Data Models with Constraints and Classes Paris |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-25.ps.Z, 19940811
CS-1994-25 On Characterizing Optimal Buffer Control Policies in ATM Nodes Sridhar Seshadri 1 New York University New York, NY 10012-1118 Vijay Srinivasan 2 Duke University Durham, NC 27708-0129 Department of Computer Science Duke University Durham, North Carolina 27708{0129 |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-27.ps.Z, 19940909
CS{1994{27 A New Method for Solving Systems of Nonlinear Equations in Circuit Simulation James T. Wilkes Department of Computer Science Duke University Durham, North Carolina 27708{0129 June 30, 1994 A New Method for Solving Systems of Nonlinear Equations in Circuit Simulation James T. Wilkes 1 June 30, |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-22.ps.Z, 19940916
CS--1994--22 Efficient Parallel Algorithms for Closest Point Problems Peter Su Dapartment of Mathematics and Computer Science Dartmouth College Hanover, New Hampshire and Department of Computer Science Duke University Durham, North Carolina 27708-0129 June 1994 Efficient Parallel Algorithms for Closest |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-26.ps.Z, 19940920
CS-1994-26 Computing Depth Orders and Related Problems Pankaj K. Agarwal Matthew J. Katz Micha Sharir Department of Computer Science Duke University Durham, North Carolina 27708{0129 September 1, 1994 Computing Depth Orders and Related Problems Pankaj K. Agarwaly Matthew J. Katzz Micha Sharirx September |
| ftp://ftp.cs.duke.edu/dist/techreport/1989/1989-12.ps.Z, 19940926
CS--1989--12 Uniform Proofs as a Foundation for Logic Programming Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov Department of Computer Science Duke University Durham, North Carolina 27708-0129 UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING Dale Miller Computer and Information |
| ftp://ftp.cs.duke.edu/dist/techreport/1990/1990-11.ps.Z, 19940929
CS--1990-11 A Higher-Order Logic As the Basis for Logic Programming Gopalan Nadathur Department of Computer Science Duke University Durham, North Carolina 27708-0129 1987 A HIGHER-ORDER LOGIC AS THE BASIS FOR LOGIC PROGRAMMING Gopalan Nadathur A DISSERTATION in Computer and Information Science Presented |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-32.ps.Z, 19941010
CS{1994{32 SATCHMORE: SATCHMO with RElevancy Donald W. Loveland, David W. Reed, Debra S. Wilson Department of Computer Science Duke University Durham, North Carolina 27708{0129 August, 1994 SATCHMORE: SATCHMO with RElevancy y Donald W. Loveland David W. Reed Debra S. Wilson Department of Computer |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-31.ps.Z, 19941130
CS--1994--31 Application of the Ray-Representation and a Massively Parallel Special Purpose Computer to Problems of Protein Structure and Function: I. Methodology for Calculation of Molecular Contact Surface, Volume, and Internal Free Space M. S. Head, G. Kedem, and M. G. Prisant Departments of |
| ftp://ftp.cs.duke.edu/dist/techreport/1994/1994-30.ps.Z, 19950316
CS-1994-30 Workload Characterization and Locality Management for Coarse-Grain Multiprocessors1 Christopher Connelly Carla Schlatter Ellis Department of Computer Science Duke University Durham, North Carolina 27708{0129 October, 1994 1This research was supported in part by NSF grant CCR-9113170. Workload |
| ftp://ftp.cs.duke.edu/dist/techreport/1993/1993-11.ps.Z, 19950717
CS-1993-11 Exploiting Program Schemata in a Prolog Tutoring System Timothy S. Gegg-Harrison Department of Computer Science Duke University Durham, North Carolina 27708-0129 April 1993 Exploiting Program Schemata in a Prolog Tutoring System by Timothy S. Gegg-Harrison April 20, 1993 Supervised by Donald |
| ftp://ftp.cs.duke.edu/dist/techreport/00INDEX.ftp.ps, 19960221
Duke University Computer Science Dept. Technical Reports, 1984-1996, Page 1 ONLINE INDEX TR# Price Title/Author(s) 1996 CS-1996-01 - LInear Approximation of Simple Objects, Kasturi R. Varadarajan, Pankaj K. Agarwal. CS-1996-02 - Lexicographically Optimal Rate Control for Video Coding with MPEG Buffer |
| ftp://ftp.cs.duke.edu/dist/techreport/Abstracts/95Abstr.ps.Z, 19960221
Technical Reports for 1995 Duke University Department of Computer Science Durham, North Carolina CS-1995-01 - Coping With Uncertaingy in Map Learning, Kennety Basye, Thomas Dean, Jeffrey Scott Vitter. In many applications in mobile robotics, it is important for a robot to explore its environment in |
| ftp://ftp.cs.duke.edu/dist/techreport/ByAuthorGroup/AIgroup.ps, 19960617
Duke University Computer Science Dept. Technical Reports, 1984-1994, Page 1 Artificial Intelligence Group TR# Price Title/Author(s). ASTRACHAN CS-1990-21 - The Duke Internet Programming Contest, Owen Astrachan, Vivek Khera, David Kotz. CS-1991-08 - METEORs: High Performance Theorem Provers Using Model |
| ftp://ftp.cs.duke.edu/dist/techreport/ByAuthorGroup/SciCom.ps, 19960617
Duke University Computer Science Dept. Technical Reports, 1984-1994, Page 1 Scientific Computing Group TR# Price Title/Author(s). GALLIE GARDNER CS-1988-30 - Numerical Methods for the Hydrodynamic Device Model: Subsonic Flow, Carl L. Gardner, Donald J. Rose and Joseph W. Jerome. CS-1990-15 - Numerical |
| ftp://ftp.cs.duke.edu/dist/techreport/ByAuthorGroup/Algo.ps, 19960617
Duke University Computer Science Dept. Technical Reports, 1984-1994, Page 1 Algorithms Group TR# Price Title/Author(s). AGARWAL CS-1991-04 - Counting Circular Arc Intersections, Pankaj K. Agarwal, Micha Sharir. CS-1991-07 - Applications of a New Space Partitioning Technique, Pankaj K. Agarwal, Micha |
| ftp://ftp.cs.duke.edu/dist/techreport/ByAuthorGroup/SysArch.ps, 19960617
Duke University Computer Science Dept. Technical Reports, 1984-1994, Page 1 Systems & Architecture Group TR# Price Title/Author(s) CHOWDHURY CS-1991-12 - Stability & Performance of Alternate Two-Level Interconnection Networks, Shyamal Chowdhury, Mark A. Holliday. DUGAN CS-1984-01 - Issues in Reliability |
| ftp://ftp.cs.duke.edu/dist/techreport/00INDEX.MASTER.ps, 19960712
Duke University Computer Science Dept. Technical Reports, 1984-1996, Page 1 TR# Price Title/Author(s) CS-1984-01 - Issues in Reliability Modeling of Fault-Tolerant Systems, K. S. Trivedi, Joanne B. Dugan, Robert Geist, Mark Smotherman. CS-1984-02 - The Design of Domino: A Knowledge-Based Information |
| ftp://ftp.cs.duke.edu/dist/techreport/00MASTER.ABSTRACT.ps, 19960814
Technical Reports Duke University Department of Computer Science Durham, NC 27708 duke.tr:DukeCSTR8401 - Issues in reliability modeling of fault-tolerant systems K. S. Trivedi and Joanne B. Dugan and Robert Geist and Mark Smotherman. Four key issues in reliability modeling of fault-tolerant systems |
