Technical Reports - 2nd Quarter, 1998 980017 Interconnect Performance Estimation Models for Synthesis and Design Planning Jason Cong and Zhigang Pan Cost of hardcopy: $5.75 980018 Goal Sequence Achievement Using Higher-Order Neural Connections in Construction Agents Frederick L. Crabbe and Michael G. Dyer Cost of hardcopy: $3.25 980019 Cooperative Behavior, Communication and Task Decomposition in Protective Structure Construction by Neurally Controlled Agents Frederick L. Crabbe and Michael G. Dyer Cost of hardcopy: $3.75 980020 On Approximation of the Power-p and Bottleneck Steiner Trees Piotr Berman and Alexander Zelikovsky Cost of hardcopy: $3.50 980021 Applications of the Matroid Parity Problem to Approximating Steiner Trees Piotr Berman, Martin Furer and Alexander Zelikovsky Cost of hardcopy: $4.00 980022 Towards Computer-Verified Proofs of Correctness of Logic-Programming Interpreters Using Derivations Vernon Ralph Austel Cost of hardcopy: $36.10 980023 Contradictory Relationship between Hurst Parameter and Queueing Performance Ronn Ritke, Xiaoyan Hong and M. Gerla Cost of hardcopy: $5.75 980024 A Two-Level Technique for Modeling Fault-Tolerant Systems Mike Loving, David Rennels Cost of hardcopy: $6.50 980025 Minimalist Fault Masking, Detection and Recovery Techniques for Mitigating Single Event Effects in Spaceborne Microcontrollers D. W. Caldwell, D. A. Rennels Cost of hardcopy: $5.75 980026 Performance Evaluation of Conservative Algorithms in Parallel Simulation Languages Rajive L. Bagrodia, Vikas Jha and Mineo Takai Cost of hardcopy: $8.50 *Not yet available. **Needs a "Level II" printer to print all the figures in the postscript file. ***No postcript file available. Hard copy can be obtained by sending email to Alexandra Luong .