Browse

ftp://ftp.cs.ucsb.edu (123)

	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-01.ps, 19930104 A Computationally Intractable Problem on Simplicial Complexes Omer E>=gecio>=glu and Teofilo F. Gonzalez Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-06.ps, 19930112 Set-Serializability: A Formal Theory for Partitioned Data (Extended abstract) G. Alonso A. El Abbadi Department of Computer Science University of California Santa Barbara, CA 93106 1 Introduction High transaction throughput in a distributed database system can be achieved by increasing the autonomy of
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-03.ps, 19930219 Localizing Failures in Distributed Synchronization Manhoi Choy and Ambuj K. Singh Department of Computer Science University of California at Santa Barbara Santa Barbara, California 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-04.ps, 19930219 Efficient Implementation of Synchronous Communication Over Asynchronous Networks Manhoi Choy and Ambuj K. Singh Department of Computer Science University of California at Santa Barbara Santa Barbara, California 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-07.ps, 19930416 Exponentiation using Canonical Recoding Omer E<=gecio<=glu Department of Computer Science University of California Santa Barbara, California 93106 Cetin Kaya Ko c Department of Electrical & Computer Engineering Oregon State University Corvallis, Oregon 97331
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-08.ps, 19930505 COMPARING MULTIPLE FILE COPIES WITH A PRIMARY COPY USING MINIMAL COMMUNICATION Khaled A. S. Abdel-Ghaffar Department of Electrical and Computer Engineering University of California Davis, CA 95616 Amr El Abbadiy Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-26.ps, 19930509 UNIVERSITY OF CALIFORNIA Santa Barbara USTAT A Real-time Intrusion Detection System for UNIX A Thesis submitted in partial satisfaction of the requirements for the degree of Master of Science in Computer Science by Koral Ilgun Committee in charge: Professor Richard A. Kemmerer, Chairperson Professor Amr
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-02.ps, 19930519 Bounded Timestamps in Process Networks Ambuj K. Singh Department of Computer Science University of California at Santa Barbara Santa Barbara, California 93106 June 30, 1992 1 Introduction Timestamps are a useful mechanism for understanding and analyzing the causality of distributed computation. They
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-14.ps, 19930712 Supporting the Construction and Use of Spatio-Temporal Domains In Scientific Databases Terrence R. Smith Jianwen Su y fsmithtr,sug@cs.ucsb.edu Department of Computer Science University of California Santa Barbara, CA 93106 USA Michael F. Worboys michael@cs.keele.ac.uk Department of Computer Science
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-15.ps, 19930712 MDBS: A Modeling and Database System to Support Research in the Earth Sciences 1 Terence R. Smith, Jianwen Su, Divyakant Agrawal, and Amr El Abbadi 2 Department of Computer Science, Universtiy of California at Santa Barbara, Santa Barbara, CA 93106 email: fsmithtr, su, agrawal, amrg@ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-13.ps, 19930719 ASLANTEST TESTPLAN A Testplan for the Symbolic Execution Tool ASLANTEST by Jeffrey G. Douglas UNIVERSITY OF CALIFORNIA Santa Barbara June 1993 i Contents 1 Introduction 2 2 Unit Testing 4 2.1 The Translator : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.2 Testing of The Translator : : : : : : :
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-10.ps, 19930719 Semantics-based Time Warp Protocols Hong Va Leongy Divyakant Agrawaly Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-16.ps, 19930728 A Graphical Interval Logic for Specifying Concurrent Systems L. K. Dillon, G. Kutty, L. E. Moser P. M. Melliar-Smith and Y. S. Ramakrishna Departments of Computer Science and of Electrical and Computer Engineering University of California, Santa Barbara 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-18.ps, 19930805 Simple LP- ree pproximation lgorit m for e inimum eig t ertex over Problem Teofilo . onzalez, epartment of omputer cience, niversity of alifornia, anta ar ara, , 1 . teo cs.ucs .e u
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-19.ps, 19930830 A nified ple entation of oncurrency ontrol and Recovery G. Alonso D. Agrawal A. El Abbadi Department of Computer Science University of California Santa Barbara, CA 93106 s r r r r , rr r r r . r r r r , , rr r r r r r r . , r r rr r r r r rr r r - . r r r r r . r, r r r r . r r r , r r r r r . 1
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-25.ps, 19931129 UNIVERSITY OF CALIFORNIA Santa Barbara STAT A State Transition Analysis Tool For Intrusion Detection A Thesis submitted in partial satisfaction of the requirements for the degree of Master of Science in Computer Science by Phillip Andrew Porras Committee in charge: Professor Richard A. Kemmerer, Chair
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-11.ps, 19931227 Resource Allocation on Dynamic Conflict Graphs Manhoi Choy and Ambuj K. Singh Department of Computer Science University of California at Santa Barbara Santa Barbara, California 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-05.ps, 19931227 Reasoning with Non-Atomic Memories Manhoi Choy and Ambuj K. Singh Department of Computer Science University of California at Santa Barbara Santa Barbara, CA 93106 August 3, 1993
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-09.ps, 19931229 A Formal Framework for ASTRAL Inter-level Proof Obligations Alberto Coen-Porisini Richard A. Kemmerer Reliable Software Group Department of Computer Science University of California Santa Barbara, CA 93106 Dino Mandrioli Dipartimento di Elettronica e Informazione Politecnico di Milano 20133 Milano,
	ftp://ftp.cs.ucsb.edu/techreports/TRCS92-25.ps, 19931229 The Composability of ASTRAL Realtime Specifications Alberto Coen-Porisini Richard A. Kemmerer Reliable Software Group Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS92-22.ps, 19931229 1 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini Richard A. Kemmerer Reliable Software Group Department of Computer Science University of California Santa Barbara, CA 93106 Dino Mandrioli Dipartimento di Elettronica Politecnico di Milano 20133 Milano, Italia
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-21.ps, 19931230 On Real-time Distributed Geographical Database Systems Manhoi Choyy Mei-Po Kwanz Hong Va Leongy yDepartment of Computer Science zDepartment of Geography University of California at Santa Barbara University of California at Santa Barbara Santa Barbara, CA 93106 Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-17.ps, 19940103 Relative Serializability: An Approach for Relaxing the Atomicity of Transactions D. Agrawal J. L. Bruno A. El Abbadi V. Krishnaswamy Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-12.ps, 19940107 ASLANTEST USER'S MANUAL Jeff Douglas Reliable Software Group Department of Computer Science, UCSB (Revised 7/19/93) I. Introduction This document serves as an introduction and user's guide to Aslantest, a symbolic execution tool for the state-based specification language ASLAN. There are four sections
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-27.ps, 19940107 XASLANTEST USER'S MANUAL Jeff Douglas Reliable Software Group Department of Computer Science, UCSB (Revised 7/19/93) I. Introduction This document serves as an introduction to Xaslantest, the X-based graphical user interface version of the symbolic execution tool, Aslantest. There are six sections in
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-20.ps, 19940127 On the Serializability Theorem for Nested Transactions R. F. Resende A. El Abbadiy Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-23.ps, 19940131 Evaluating Weak Memories with Maya Divyakant Agrawal Manhoi Choy Hong Va Leong Ambuj K. Singh Department of Computer Science University of California at Santa Barbara Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS93-24.ps, 19940131 Maya: A Simulation Platform for Parallel Architectures and Distributed Shared Memories Divyakant Agrawal Manhoi Choy Hong Va Leong Ambuj K. Singh Department of Computer Science University of California at Santa Barbara Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-01.ps, 19940221 Semantic Locking in Object-Oriented Database Systems R. F. Resende D. Agrawal A. El Abbadiy Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-03.ps, 19940228 Task Dependence and Termination in Ada Laura K. Dillon Department of Computer Science University of California, Santa Barbara 93106 Keywords: Ada tasking, task termination, master/dependent relations, distributed termination, run-time storage management, tasking execution model Research partially
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-02.ps, 19940301 COOPERATIVE MODELING IN APPLIED GEOGRAPHIC RESEARCH GUSTAVO ALONSOy Computer Science Department, University of California Santa Barbara, CA 93106, USA and AMR EL ABBADI Computer Science Department, University of California Santa Barbara, CA 93106, USA Recieved Revised
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-05.ps, 19940316 Managing Concurrent Activities in Collaborative Environments D. Agrawal J. L. Bruno A. El Abbadi V. Krishnaswamy Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-04app.ps, 19940316 A Elevator System constant Num_floors := 4; type Floor_range is 1 .. Num_floors; type Direction is (Up, Down); task Control is entry Req(For_floor: in Floor_range); -- Request for service at floor For_floor entry At(Cur_floor: in Floor_range, S_flag: out Boolean); -- Elevator signals that it has reached
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-07.ps, 19940407 An Analysis of Scheduling Coarse-Grain Iterative Task Computation on Message-Passing Architectures Tao Yang Department of Computer Science University of California Santa Barbara, CA 93106 tyang@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-09.ps, 19940420 The Performance of Two-Phase Commit Protocols in the Presence of Site Failures M. L. Liu D. Agrawal A. El Abbadi Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-10.ps, 19940426 UNIVERSITY OF CALIFORNIA Santa Barbara Synchronization in Nested Transactions A Dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Computer Science by Rodolfo Ferreira Resende Committee in Charge: Professor Amr El Abbadi, Chairperson Professor
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-04.ps, 19940502 Specification and Testing of Temporal Properties of Concurrent System Designs Laura K. Dillon and Qing Yu Department of Computer Science University of California, Santa Barbara 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-12.ps, 19940521 To appear in IEEE Trans. on Parallel and Distributed Systems DSC: Scheduling Parallel Tasks on an Unbounded Number of Processors Tao Yang Department of Computer Science University of California Santa Barbara, CA 93106 tyang@cs.ucsb.edu Apostolos Gerasoulis Department of Computer Science Rutgers
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-11.ps, 19940609 Computational Modeling Systems: Supporting the Development of Scientific Models Terence R. Smith Jianwen Suy Amr El Abbadi Gustavo Alonso Amitabh Saranz Department of Computer Science University of California Santa Barbara, CA 93106 USA March 31, 1994 Work supported in part by NSF grant IRI-9117094.
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-13.ps, 19940720 An Efficient Implementation of the Quorum Consensus Protocol M. L. Liu D. Agrawal A. El Abbadi Department of Computer Science University of California Santa Barbara, CA 93106 1 Introduction While distributed database systems have been the subject of extensive research, its acceptance in the industry
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-14.ps, 19940720 What Price Replication M. L. Liu D. Agrawal A. El Abbadi Department of Computer Science University of California Santa Barbara, CA 93106 May 25, 1994
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-16.ps, 19940927 Commutativity Analysis: A New Technique for Automatically Parallelizing Serial Programs Martin C. Rinard (martin@cs.ucsb.edu) Pedro Diniz (pedro@cs.ucsb.edu) Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106 POPL95 Topic: Program Analysis, Parallelization
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-23.ps, 19941201 TRC94-23 December 1, 1994 Static Global Scheduling for Optimal Computer Vision and Image Processing Operations on Distributed-Memory Multiprocessors Cheolwhan Lee Yuan-Fang Wang Tao Yang Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106 fchlee, yfwang,
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-20.ps, 19950209 Message Dispatch on Modern Computer Architectures Karel Driesen Urs H lzle Jan Vitek1
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-06.ps, 19950209 Semantics-based Failure Recovery in Distributed Systems with Optimistic Message Logging Hong Va Leongy Divyakant Agrawaly Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-21.ps, 19950209 Do object-oriented languages need special hardware support Urs H lzle David Ungar
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-01.ps, 19950210 Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads Klaus E. Schauser Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106 schauser@cs.ucsb.edu David E. Culler, Seth C. Goldstein Computer Science
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-25.ps, 19950210 Active Messages Implementations for the Meiko CS-2 Klaus E. Schauser and Chris J. Scheiman Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106 fschauser,chrissg@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-02.ps, 19950210 Finitely Representable Databasesy St ephane Grumbach I.N.R.I.A. Rocquencourt BP 105 78153 Le Chesnay, France stephane.grumbach@inria.fr Jianwen Su Computer Science Department University of California Santa Barbara, CA 93106, USA su@cs.ucsb.edu February 6, 1995
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-03.ps, 19950210 Linear Constraint Databases (Extended Abstract) St ephane Grumbach1 and Jianwen Su2 and Christophe Tollu3 1 University of Toronto and INRIAx 2 University of California at Santa Barbara{ 3 Universit e Paris-Nord, Villetaneusek
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-06.ps, 19950324 Building Fundamentally Extensible Application-Specific Operating Systems in SPACE 1 Dave Probert and John Bruno Computer Science Department University of California Santa Barbara, California 93106 contact: probert@cs.ucsb.edu UCSB Computer Science TRCS95 06 March 1995 1This research was supported in
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-10.ps, 19950427 Givens and Householder Reductions for Linear Least Squares on a Cluster of Workstations Omer E>=gecio>=glu and Ashok Srinivasan Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS94-15.ps, 19950502 Efficient Parallelization of Relaxation Iterative Methods for Banded Linear Systems Pedro Diniz and Tao Yang Department of Computer Science University of California at Santa Barbara Santa Barbara, CA 93106 fpedro,tyangg@cs.ucsb.edu. December 1994
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-12.ps, 19950523 Billiard Quorums on the Grid Divyakant Agrawal Omer E>=gecio>=glu Amr El Abbadi Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-08.ps, 19950529 How Much Non-strictness do Lenient Programs Require Klaus E. Schauser Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106 schauser@cs.ucsb.edu Seth C. Goldstein Computer Science Division University of California, Berkeley Berkeley, CA 94720
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-11.ps, 19950706 EXPLOITING COMMUTING OPERATIONS IN PARALLELIZING SERIAL PROGRAMS PEDRO DINIZ AND MARTIN RINARD DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF CALIFORNIA, SANTA BARBARA SANTA BARBARA, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-13.ps, 19950706 Automatically Parallelizing Serial Programs Using Commutativity Analysis Martin C. Rinard (martin@cs.ucsb.edu) Pedro Diniz (pedro@cs.ucsb.edu) Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-04.ps, 19950718 Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages Ole Agesen Urs H lzle
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-05.ps, 19950721
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-09.ps, 19950809 LogGP: Incorporating Long Messages into the LogP Model One step closer towards a realistic model for parallel computation Albert Alexandrov, Mihai F. Ionescu, Klaus E. Schauser, and Chris Scheiman Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-07.ps, 19950810 Mapping Iterative Task Graphs on Distributed Memory Machines Tao Yang Cong Fu Apostolos Gerasoulis Vivek Sarkar Dept. of Computer Science Dept. of Computer Science ADTI, 555 Bailey Ave. University of California Rutgers University IBM Software Solutions Division Santa Barbara, CA 93106 New Brunswick, NJ
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-15.ps, 19950901 Generating Oracles from Your Favorite Temporal Specifications L.K. Dillon Computer Science Department University of California Santa Barbara Y.S. Ramakrishna Computer Science Group T.I.F.R. Bombay
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-17.ps, 19951002 SWEB: Towards a Scalable World Wide Web Server on Multicomputers Daniel Andresen Tao Yang Vegard Holmedahl Oscar H. Ibarra Department of Computer Science University of California Santa Barbara, CA 93106 fdandrese, tyang, veho, ibarrag@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-18.ps, 19951013 On the Complexity of Commutativity Analysis Oscar Ibarra, Pedro Diniz and Martin Rinard fibarra,pedro,marting@cs.ucsb.edu Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-19.ps, 19951024 Efficient Non-parametric Estimation of Probability Density Functions Omer E>=gecio>=g lu and Ashok Srinivasan Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-20.ps, 19951025 A Fast Non-Parametric Density Estimation Algorithm OMER E >=GECIO >=GLU and ASHOK SRINIVASAN Department of Computer Science, University of California Santa Barbara, CA 93106 SUMMARY Non-parametric density estimation is the problem of approximating the values of a probability density function, given
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-21.ps, 19951122 Run-time Techniques for Exploiting Irregular Task Parallelism on Distributed Memory Architectures Cong Fu and Tao Yang Department of Computer Science University of California Santa Barbara, CA 93106 fcfu,tyangg@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-25.ps, 19951225 An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language Martin C. Rinard Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106 martin@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-22.ps, 19960129 Eliminating Virtual Function Calls in C++ Programs Gerald Aigner Urs H lzle Department of Computer Science University of California Santa Barbara, CA 93106 http://www.cs.ucsb.edu/oocsb December 10, 1995
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-16.ps, 19960202 Heuristic Algorithms for Scheduling Iterative Task Computations on Distributed Memory Machines Tao Yang Cong Fu Department of Computer Science University of California Santa Barbara, CA 93106.
	ftp://ftp.cs.ucsb.edu/techreports/TRCS95-24.ps, 19960313 UCSB Computer Science TRCS95 24 December 1995 14 A. B. Montz and et. al. Scout: A communications-oriented operating system. Technical Report 94-20, Dept. of Computer Science, Univ. of Arizona, June 1994. Dawson R. Engler, M. Frans Kaashoek, and James W. O'Toole Jr. Exokernel: an operating
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-03.ps, 19960401 Scalability Issues for High Performance Digital Libraries on the World Wide Web Daniel Andresen, Tao Yang, Omer Egecioglu, Oscar H. Ibarra, and Terence R. Smith Department of Computer Science University of California Santa Barbara, CA 93106 fdandrese, tyang, omer, ibarra, smithtrg@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-04.ps, 19960503 1 An Eigenspace Update Algorithm for Image Analysis S. Chandrasekaran , B.S. Manjunath , Y.F. Wang , J. Winkeler , and H. Zhang Department of Computer Science Department of Electrical and Computer Engineering University of California, Santa Barbara, CA 93106 April 18, 1996 9:44 am
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-06.ps, 19960521 Ef cient Cross-domain Mechanisms for Building Kernel-less Operating Systems Dave Probert and John Bruno Computer Science Department University of California Santa Barbara, California 93106 contact: probert@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-08.ps, 19960530 Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers Martin C. Rinard (martin@cs.ucsb.edu) Pedro C. Diniz (pedro@cs.ucsb.edu) y Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-07.ps, 19960530 Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs Pedro Diniz and Martin Rinardy Department of Computer Science, Engr I Bldg, Room 2106 University of California, Santa Barbara Santa Barbara, CA 93106-5110 fpedro,marting@cs.ucsb.edu Phone: (805) 893-2777 Fax:
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-09.ps, 19960530 Semantic Foundations of Commutativity Analysis Martin C. Rinard (martin@cs.ucsb.edu) Pedro Diniz (pedro@cs.ucsb.edu) Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-10.ps, 19960601 Parallelization of Particle Methods on the Sphere Omer E>=gecio>=g lu and Ashok Srinivasan Department of Computer Science University of California Santa Barbara, CA 93106 fomer, ashokg@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-11.ps, 19960606 Analysis of Quorum-Based Protocols for Distributed (k+1)-Exclusion Divyakant Agrawal, Omer E>=gecio>=glu, and Amr El Abbadi Department of Computer Science, University of California Santa Barbara, CA 93106, USA
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-13.ps, 19960708 Design, Implementation, and Analysis of a Split-C Profiler Bj orn Haake University of California at Santa Barbara, USA Advisor: Prof. Klaus Erik Schauser, Ph. D. Chris Scheiman, Ph. D. Date: May 2nd, 1996 2 Contents 1 Introduction 7 2 Profiling Techniques 11 2.1 Reasons for a Profiler . . . . . . . . .
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-05.ps, 19960716 Pharos: A Scalable Distributed Architecture for Locating Heterogeneous Information Sources Version 1.0.2 R. Dolin D. Agrawal L. Dillon A. El Abbadi Department of Computer Science University of California Santa Barbara, CA 93106 July 11, 1996
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-17.ps, 19960719 Proofs for Improved Approximation Algorithms for Multimessage Multicasting Teofilo F. Gonzalez Department of Computer Science University of California, Santa Barbara, CA, 93106 E-mail: teo@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-01.ps, 19960719 Run-time Compilation for Parallel Sparse Matrix Computations Cong Fu and Tao Yang Department of Computer Science University of California, Santa Barbara, CA 93106. http://www.cs.ucsb.edu/f cfu, tyangg
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-19.ps, 19960726 Efficient Retrieval for Browsing Large Image Databases Daniel Wu Divyakant Agrawal Amr El Abbadi Ambuj Singh Terrence R. Smith fdanielw, agrawal, amr, ambuj, smithtrg@cs.ucsb.edu Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-18.ps, 19960801 Efficient Sparse LU Factorization with Partial Pivoting on Distributed Memory Architectures Cong Fu and Tao Yang Department of Computer Science University of California Santa Barbara, CA 93106 fcfu,tyangg@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-20.ps, 19960819 Analyzing Partially-Implemented Real-Time Systems George S. Avrunin Department of Mathematics and Statistics University of Massachusetts Amherst, MA 01003-4515 USA +1 413 545 4251 avrunin@math.umass.edu James C. Corbetty Department of Information and Computer Science University of Hawai`i Honolulu, HI
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-15.ps, 19960819 Multimessage Multicasting: Complexity and Approximations Teofilo F. Gonzalez Department of Computer Science University of California, Santa Barbara, CA, 93106 E-mail: teo@cs.ucsb.edu Revised: August 19, 1996
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-16.ps, 19960820 Improved Approximation Algorithms for Multimessage Multicasting Teofilo F. Gonzalez Department of Computer Science University of California, Santa Barbara, CA, 93106 E-mail: teo@cs.ucsb.edu Revised: August 19, 1996
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-22.ps, 19960822 Browsing and Placement of Multiresolution Images on Secondary Storage Sunil Prabhakar Divyakant Agrawal Amr El Abbadi Ambuj Singh Terence R. Smith Department of Computer Science University of California Santa Barbara, CA 93106 August 21, 1996
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-21.ps, 19960822 Tertiary Storage: Current Status and Future Trends S. Prabhakar D. Agrawal A. El Abbadi A. Singh Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-23.ps, 19960914 Classifying Network Architectures for Locating Information Sources Technical Report TRCS96-23 Version 0.1.1 R. Dolin D. Agrawal A. El Abbadi Department of Computer Science University of California Santa Barbara, CA 93106 frad, agrawal, amrg@cs.ucsb.edu September 14, 1996
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-25.ps, 19960925 OPTIMAL ALLOCATION OF TWO-DIMENSIONAL DATA (Extended Abstract) Khaled A. S. Abdel-Ghaffar 1 and Amr El Abbadi 2 1 Department of Electrical and Computer Engineering, University of California, Davis, CA 95616, USA 2 Department of Computer Science, University of California, Santa Barbara, CA 93106, USA
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-12.ps, 19961012 Parallelizing Multidimensional Index Structures K. V. Ravi Kanth Divyakant Agrawal Amr El Abbadi Ambuj Singh Terence R. Smith University of California at Santa Barbara Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-24.ps, 19961017 Multimessage Multicasting with Forwarding Teofilo F. Gonzalez Department of Computer Science University of California Santa Barbara, CA, 93106 E-mail: teo@cs.ucsb.edu Revised: October 16, 1996
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-26.ps, 19961030 Efficient I/O Scheduling in Tertiary Libraries
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-29.ps, 19961102 Parallel Progressive Radiosity with Adaptive Meshing Yizhou Yu Oscar H. Ibarra Tao Yang Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-28.ps, 19961102 Global Optimization for Mapping Parallel Image Processing Tasks on Distributed Memory Machines Cheolwhan Lee Yuan-Fang Wang Tao Yang Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106 fchlee, yfwang, tyangg@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-27.ps, 19961116 Adaptive Scheduling with Client Resources to Improve WWW Server Scalability Daniel Andresen and Tao Yang Department of Computer Science University of California Santa Barbara, CA 93106 fdandrese, tyangg@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-14.ps, 19970102 Optimizing Parallel Bitonic Sort by MIHAI FLORIN IONESCU A thesis submitted in partial satisfaction of the requirements for the degree of Master of Science in Computer Science in the GRADUATE DIVISION of the UNIVERSITY of CALIFORNIA at SANTA BARBARA Committee in charge: Professor Klaus E. Schauser,
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-30.ps, 19970123 January 23, 1997 1 Specification of Realtime Systems Using ASTRAL* Alberto Coen-Porisini Carlo Ghezzi Dipartimento di Elettronica e Informazione Politecnico di Milano, Milano 20133, Italia Richard A. Kemmerer Reliable Software Group Computer Science Department University of California Santa Barbara, CA
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-02.ps, 19970322 TRCS 97-02 A New Framework for Image Invariants using Basis Expansion Yuan-Fang Wang Department of Computer Science University of California Santa Barbara, CA 93106 E-mail: yfwang@cs.ucsb.edu Web: http://www.cs.ucsb.edu/ yfwang
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-03.ps, 19970328 Run-time Techniques for Exploiting Irregular Task Parallelism on Distributed Memory Architectures Cong Fu and Tao Yang Department of Computer Science University of California Santa Barbara, CA 93106 fcfu,tyangg@cs.ucsb.edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-06.ps, 19970530 Processor Lower Bounds for Array Computations with Linear Schedules Peter Cappello and Omer E>=gecio>=glu Department of Computer Science University of California at Santa Barbara fomer; cappellog@cs:ucsb:edu
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-07.ps, 19970610 Impact of Media Exchanges in Robotic Storage Libraries Sunil Prabhakar Divyakant Agrawal Amr El Abbadi
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-10.ps, 19970709 Limits of Indirect Branch Prediction Karel Driesen and Urs H lzle Department of Computer Science University of California Santa Barbara, CA 93106 Technical Report TRCS97-10 June 25, 1997
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-12.ps, 19970715 Ef cient Dynamic Range Searching using Data Replication K. V. Ravi Kanth and Ambuj K. Singh Computer Science Department University of California at Santa Barbara Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-13.ps, 19970716 Optimal Dynamic Range Searching in Non-replicating Index Structures K. V. Ravi Kanth and Ambuj K. Singh Computer Science Department University of California at Santa Barbara Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS96-31.ps, 19970806 1 ASTRAL Software Development Environment User s Manual Paul Z. Kolano Reliable Software Group Computer Science Department University of California, Santa Barbara revised July 1996 1. Introduction The success of any language, be it for implementations or specifications, is very often directly related to
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-11.ps, 19970807 Parallel Sparse LU Factorization with Partial Pivoting on Distributed Memory Architectures Cong Fu, Xiangmin Jiao and Tao Yang Department of Computer Science University of California Santa Barbara, CA 93106
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-15.ps, 19970909 1
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-26.ps, 19970930 Adapting to Bandwidth Variations in Wide-Area Data Combination M.Ranganathanyx, Anurag Acharyazy, Joel Saltzy y Department of Computer Science z Department of Computer Science University of Maryland, College Park University of California, Santa Barbara x National Institute of Standards and Technology,
	ftp://ftp.cs.ucsb.edu/techreports/TRCS98-03.ps, 19971107 Deferred Data-Flow Analysis Shamik D. Sharmay Anurag Acharyaz Joel Saltzy y Department of Computer Science z Department of Computer Science University of Maryland, College Park University of California, Santa Barbara shamik@cs.umd.edu, acha@cs.ucsb.edu, saltz@cs.umd.edu Contact Phone : 301-405-2756
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-25.ps, 19971130 History-based Access Control for Mobile Code Anurag Acharyay Guy Edjlaliz y Department of Computer Science z Department of Computer Science University of California, Santa Barbara Wayne State University, Detroit acha@cs.ucsb.edu edjlali@ece.eng..wayne.edu TRCS97-25 Dec 1, 1997
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-08.ps, 19971201 Cyclic Declustering of Two-Dimensional Data Sunil Prabhakar Khaled Abdel-Ghaffary Divyakant Agrawal Amr El Abbadi Department of Computer Science yDepartment of Electrical & Computer Engineering University of California University of California Santa Barbara Davis CA 93106, U.S.A. CA 95616, U.S.A.
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-17.ps, 19971201 Efficient Disk Allocation for Fast Similarity Searching Sunil Prabhakar Divyakant Agrawal Amr El Abbadi Department of Computer Science University of California Santa Barbara CA 93106, U.S.A.
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-16.ps, 19971201 j2s: A SUIF Java Compiler Holger Kienle and Urs H olzle Department of Computer Science University of California Santa Barbara, CA 93106 http://www.cs.ucsb.edu/oocsb Technical Report TRCS97{16 November 3, 1997
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-20.ps, 19971210 1
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-19.ps, 19971210 Accurate Indirect Branch Prediction Karel Driesen and Urs H lzle Department of Computer Science University of California Santa Barbara, CA 93106 Technical Report TRCS97-19 December 3, 1997
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-21.ps, 19971210 1 The Space Overhead of Customization Sylvia Dieckmann and Urs H lzle Department of Computer Science University of California Santa Barbara, CA 93106 http://www.cs.ucsb.edu/oocsb Technical Report TRCS 97-21 December 3,1997
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-22.ps, 19971210 Introduction to the SUIF 2.0 Compiler System Holger Kienle and Urs H olzle Department of Computer Science University of California Santa Barbara, CA 93106 http://www.cs.ucsb.edu/oocsb Technical Report TRCS97{22 December 10, 1997 Contents 1 Purpose of this Manual 3 2 Introduction and Overview 4 3 The sty
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-24.ps, 19971219 Simple Algorithms for Multimessage Multicasting With Forwarding Teofilo F. Gonzalez Department of Computer Science University of California Santa Barbara, CA, 93106 E-mail: teo@cs.ucsb.edu December 19, 1997
	ftp://ftp.cs.ucsb.edu/techreports/TRCS97-23.ps, 19971219 Improved Approximation Algorithms for Embedding Hypergraphs in a Cycle Teofilo F. Gonzalez Department of Computer Science University of California, Santa Barbara, CA, 93106 teo@cs.ucsb.edu December 19, 1997
	ftp://ftp.cs.ucsb.edu/techreports/TRCS98-02.ps, 19980123 The Utility of Exploiting Idle Memory for Data-Intensive Computations Anurag Acharya Dept. of Computer Science University of California Santa Barbara, CA 93106 Sanjeev Setia Dept. of Computer Science George Mason University Fairfax, VA 22030