leff@smu.UUCP (Laurence Leff) (01/30/88)
The following is a troff file listing technical reports issued by the Department of Computer Sciences @ Purdue University in 1987. Copies of CS reports may be requested by writing to: Technical Reports Dept. of Computer Sciences Purdue University W. Lafayette, IN 47907-2004 Copies of SERC technical reports may be ordered from: Ms. R. J. Martin, Research Coordinator Software Engineering Research Center Dept. of Computer Sciences Purdue University W. Lafayette, IN 47907-2004 Note that not all SERC reports are listed here, nor are all reports (listed or otherwise) available for distribution to non-affiliates. Write for specific details. ===================================================== .\" troff with ms macros .nr PS 11 .nr VS 13 .SH CS Technical Reports .LP .hy .na \fBApostolico, A., Iliopoulos, C.\fR, Landau, G.M., Schieber, B., and Vishkin, U., .ul Parallel Construction of a Suffix Tree, #714, (9/30/87). \fBApostolico, A.\fR and \fBAtallah, M.\fR, .ul 2 Efficient Parallel Algorithms for String Editing and Related Problems, #724, (11/25/87). \fBApostolico, A.\fR and \fBSzpankowski, W.,\fR .ul Self-Alignments in Words and Their Applications, #732, (12/22/87). \fBAtallah, M.J.,\fR Cole, R., and \fBGoodrich, M., \fR .ul 2 Cascading Divide-and-Conquer: A Technique for Designing Parallel Algorithms, #665, (3/9/87). \fBAtallah, M.J.\fR and \fBKosaraju, R.\fR, .ul Minimizing Robot Arm Travel, #666, (3/9/87), (Revised 6/19/87). \fBAtallah, M., Frederickson, G.\fR and \fBKosaraju, R.\fR, .ul Sorting with Efficient Use of Special-Purpose Sorters, #695, (7/10/87). \fBBajaj, C.,\fR and Kim, M.S., .ul 2 Convex Decomposition of Objects Bounded by Algebraic Curves, #677, (4/27/87). \fBBajaj, C.\fR, .ul Algorithmic Implicitization of Rational Curves and Surfaces, #681, (5/11/87). Wu, M-C., \fBBajaj, C.\fR, and Liu, C.R., .ul 2 A Face Area Evaluation Algorithm for Solids in CSG Representation, #682, (5/12/87). \fBBajaj, C., Dyksen, W.R., Hoffmann, C.H., Houstis, E.N., Korb, J.T.,\fR and \fBRice, J.R.\fR, Computing About Physical Objects, #696, (7/16/87). \fBBajaj, C.\fR and \fBKim, M.S.,\fR \fIConvex Hull of Objects Bounded by Algebraic Curves,\fR #697, (7/17/87). Abhyankar, S. and \fBBajaj, C.\fR, .ul 2 Automatic Parameterization of Rational Curves and Surfaces IV: Algebraic Space Curves, #703, (8/20/87). \fBBajaj, C.,\fR Cui, W., and \fBRice, J.R.\fR, .ul Geometric Domain Processor I: 2D Domains, #717, (10/20/87). \fBBajaj, C.\fR and \fBRoyappa, A.V.\fR, .ul 2 A Note on an Efficient Implementation of the Sylvester Resultant for Multivariate Polynomials, #718, (10/23/87). \fBBajaj, B., Hoffmann, C.H.,\fR Hopcroft, J., \fBLynch, R.\fR, .ul 2 Tracing Surface Intersections (supercedes #637 & #684), #728, (12/11/87). \fBBhargava, B.\fR and Leu, P.S., .ul Concurrent, Robust, Checkpointing and Recovery in Distributed Systems, #689, (6/11/87). \fBBhargava, B., Riedl, J.\fR and \fBRoyappa, A.V.\fR, The RAID Distributed Database System, #691, (6/19/87). \fBBhargava, B., Noll, P.R.,\fR and Fabo, D., .ul 2 Experimental Analysis of Replicated Copy Control During Site Failure and Recovery, #692, (6/19/87). \fBBhargava, B., Riedl, J.,\fR and Weber, D., .ul 2 An Expert System Controlling an Adaptable Distributed Data Base System, #693, (6/19/87). \fBBhargava, B.\fR and \fBLian, S.R,\fR .ul 2 Independent Checkpointing and Concurrent Rollback for Recovery in Distributed System, #701, (8/5/87). \fBBhargava, B.\fR, .ul Raid Programmers's Manual, #709, (9/4/87). \fBBhargava, B.\fR and \fBNg, P.\fR, .ul 2 A Dynamic Majority Determination Algorithm for Reconfiguration of Network Partitions, #711, (9/23/87). \fBBhargava, B., Noll, P.R., Royappa, A.V.,\fR and \fBSabo, D.,\fR .ul A System for Experimentation in Replicated Copy Control, #725, (12/8/87). \fBBonomo, J.P.\fR and \fBDyksen, W.R.\fR, .ul 2 Three Dimensional Graphics Software in Interactive ELLPACK, #674, (4/16/87). \fBBonomo, J.\fR and \fBDyksen, W.R.\fR, .ul 2 Pipelined SOR: A Parallel Iterative Method for Shared Memory Machines, #688, (6/11/87). \fBConte, S.D., Dunsmore, H.E., Shen, V.Y.\fR, and \fBZage, W.M.\fR, .ul A Software Metrics Survey, #720, (10/24/87). \fBComer, D.\fR and \fBSmith, G. \fR, .ul Sun Workstations as Cypress Implets, #662, (2/18/87). \fBComer, D., Griffioen, J.N.,\fR and \fBYavatkar, R.S.,\fR .ul 2 Shadow Editing: A Distributed Service for Supercomputer Access, #722, (11/18/87). \fBDyksen, W.R.,\fR .ul 2 Elliptic Expert - The Design of an Expert System for Elliptic Partial Differential Equations, #719, (10/24/87). \fBDong, J., Marinescu, D.C.,\fR and \fBLin, C.,\fR .ul 2 Reachability Graphs and Invariants for Stochastic High Level Petri Nets, #686, (5/19/87). \fBFrederickson, G.N.\fR and \fBHambrusch, S.E.\fR .ul Planar Linear Arrangements of Outerplanar Graphs, #671, (4/7/87). \fBFrederickson, G.\fR and \fBJanardan, R.,\fR .ul Designing Networks with Compact Routing Tables, #687, (5/28/87). \fBFrederickson, G.\fR and \fBSrinivasan, J.,\fR .ul 2 Algorithms and Data Structures for an Expanded Family of Matroid Intersection Problems, #694, (7/2/87). \fBGoodrich, M. \fR, .ul Triangulating A Polygon in Parallel, #679, (5/1/87). \fBGupta, A.K.,\fR and \fBHambrusch, S.E.\fR, .ul Simulating Tree Algorithms with Limited Parallelism, #690, (6/15/87). \fBGupta, A.K.\fR and \fBHambrusch, S.\fR, .ul On Tree Embeddings with Even Leaf Distribution, #702, (8/19/87). \fBGuerra, C.\fR and \fBHambrusch, S. E.\fR, .ul Parallel Algorithms for Line Detection on a Mesh, #663, (2/26/87). \fBHambrusch, S.E.\fR and \fBTeWinkel, L.E.\fR, .ul 2 A Study of Connected Component Labeling Algorithms on the MPP, #721, (11/13/87). \fBHoffmann, C.\fR, .ul Algebraic Curves, #675, (4/23/87). \fBHoffmann, C.H.\fR and \fBLynch, R.\fR .ul Following Space Curves Numerically, #684, (5/12/87). \fBHoffmann, C.H.\fR, Hopcroft, J. and Karasick, M.S., .ul Robust Set Operations on Polyhedral Solids, #723, (11/18/87). \fBHoffmann, C.H.,\fR Hopcroft, J.E., and Karasick, M.S., .ul Towards Implementing Robust Geometric Computations, #729, (12/11/87). Charalambakis, E.N. and \fBHoustis, E.N.,\fR .ul 2 Adiabatic Shearing of Incompressible Non-Newtonian Fluids, #668, (3/17/87). \fBKorb, J.T., Hoffmann, C.H.,\fR and \fBRice, J.R.,\fR .ul Communication for Heterogeneous Environment, #657, (1/27/87). \fBKorb, J.T.\fR, .ul Some Experiments with TCP/IP Protocols over an X.25 Network, #664, (3/6/87). \fBKrishnamurthy, B.,\fR \fIPartitioning the Process of Interaction: An Abstract View\fR, #705, (9/4/87). \fBKrishnamurthy, B.,\fR \fIPartitioning the Process of Interaction: An Implementation\fR, #706, (9/4/87). \fBKrishnamurthy, B.\fR, \fIShells in an Interactive System\fR, #707, (9/4/87). \fBLee, C. H.,\fR .ul Perception of a Quadrilaleral, #659, (2/12/87). \fBLee, C.H.\fR, A Comparison of Two Evidential Reasoning Schemes, #672, (4/10/87). \fBMarinescu, D.C.,\fR .ul 2 Distributed Systems Based Upon a Functional Communication Model with a Timed Token Protocol, #669, (3/24/87). \fBMarinescu, D.C.,\fR and \fBRice, J.R.\fR, .ul 2 Non Homogeneous Parallel Computations I. Synchronization Analysis of Parallel Numerical Algorithms, #683, (5/12/87). \fBMarinescu, D.C.\fR, .ul 2 A Functional Communication Model for Distributed System, #704, (8/27/87), (Replaces #647). \fBMarinescu, D.C., Whinston, A., and Chaudhurly, A.,\fR .ul Nets with Feedback, #731, (12/20/87). \fBMcFaddin, S.\fR and \fBRice, J.R.\fR, .ul Parallel and Vector Problems on the FLEX/32, #661, (2/17/87). \fBMcFaddin, S.\fR and \fBRice, J.R.\fR, .ul PROTRAN II: Preliminary Report, #698, (7/21/87). \fBMcFaddin, S., Houstis, C.H.,\fR and \fBHoustis, E.N.\fR .ul 2 The Mapping of Parallel Multigrade Algorithms into Parallel Architectures, #699, (7/22/87). \fBRego, V.\fR and \fBSzpankowski, W.\fR, .ul 2 Closed-Network Duals of Multiques with Application to Token-Passing Systems, #660, (2/12/87). \fBRego, V.\fR and \fBSzpankowski, W.\fR, .ul An M/SM/1 View of a Token Ring Queue, #685, (5/18/87). \fBRego, V.\fR, .ul 2 Some Efficient Computational Algorithms Related to Phase Models, #727, (12/9/87). \fBRibbens, C.\fR, .ul A Priori Grid Adaption Strategies for Elliptic PDEs, #667, (3/9/87). \fBRibbens, C.\fR, .ul 2 A Computational Framework for Constructing Adaptive Grid Domain Mappings, #673, (4/15/87). \fBRibbens, C.\fR, .ul A Fast Grid Adaption Scheme for Elliptic Partial Differential Equations, #678, (4/30/87). \fBRice, J.R.\fR, \fISupercomputing about Physical Objects\fR, #708, (9/4/87). \fBRice, J.R.\fR, .ul Mathematical Aspects of Scientific Software, #713, (9/28/87). \fBRodger, S.H.\fR and \fBFrederickson, G.\fR, .ul 2 A New Approach to the Dynamic Maintenance of Maximal Points in a Plane, #658, (2/3/87). Goldberg, A., Plotkin, S., and \fBShannon, G.\fR, .ul Parallel Symmetry-Breaking in Sparse Graphs, #709, (9/11/87). \fBSharma, N.\fR and \fBBhargava, B.\fR, .ul A Robust Distributed Termination Detection Algorithm, #726, (12/9/87). \fBSpafford, E.,\fR .ul Architecture and Operation Invocation in the Clouds Kernel, #730, (12/17/87). \fBSzpankowski, W.\fR, .ul On An Alternative Sum Useful in the Analysis of Some Data Structures, #676, (4/27/87). Kirschenhofer, P., Prodinger, H., and \fBSzpankowski, W.\fR, .ul 2 On the Variance of the External Path Length in a Binary Digital Trie, #680, (5/7/87). \fBSzpankowski, W.,\fR .ul 2 A Characterization of Digital Search Trees from the Average Complexity Viewpoint, #700, (7/29/87). Jacquet, P. and \fBSzpankowski, W.\fR, .ul 2 Ultimate Characterizations of the Burst Response of an Interval Searching Algorithm, #710, (9/16/87). \fBSzpankowski, W.\fR and \fBRego, V.\fR, .ul 2 Ultimate Stability Conditions for Some Multidimensional Distributed Systems, #715, (10/19/87). Kirchenhofer, P., Prodinger, H., and \fBSzpankowski, W.\fR, .ul Do We Really Need to Balance Patricia Tries?, #716, (10/19/87). \fBWang, K.Y.\fR and Gannon, D., .ul 2 Applying AI Techniques to Program Optimization for Parallel Computers, #670, (3/27/87). .SH SERC Tech Reports .LP .hy .na \fBZage, W.M., Dunsmore, H.E., Zage, D.M.,\fR and \fBCabral, G.\fR, .ul A Tool for Evaluating Software Engineering Environments, SERC-TR-2-P, (6/17/87). \fBDeMillo, R.A.,\fR Guindi, D.S., King, K.N., and McCracken, W.M., .ul An Overview of the Mothra Software Testing Environment, SERC-TR-3-P, (10/1/87). \fBMartin, R.\fR, .ul The Mothra Software Testing Environment User's Manual, SERC-TR-4-P, (9/28/87). \fBDeMillo, R.A.\fR and Offutt, A.J., .ul Constraint Based Automation Test Data Generation, SERC-TR-5-P, (9/1/87). \fBMathur, A.P.\fR and Galiano, E., .ul Inducing Vectorization: A Formal Analysis, SERC-TR-6-P, (11/23/87). \fBDunsmore, H.E., Zage, W.M., Zage, D.M.,\fR and \fBCabral, G.\fR .ul Building an Empirical Case for CASE, SERC-TR-8-P, (12/16/87). \fBDunsmore, H.E., Zage, W.M., Zage, D.M.,\fR and \fBCabral, G.\fR .ul Software Engineering Environment Product Questionnaire, SERC-TR-9-P, (12/21/87). -- Gene Spafford Dept. of Computer Sciences, Purdue University, W. Lafayette IN 47907-2004 Internet: spaf@cs.purdue.edu uucp: ...!{decwrl,gatech,ucbvax}!purdue!spaf