Stay Informed:

COVID-19 (coronavirus) information
Zoom Links: Zoom Help | Teaching with Zoom | Zoom Quick Guide

Technical Reports

Pages

NumberTitlePublishedsort descending
UCSC-CRL-88-28Representing Boolean Functions with If-Then-Else DAGs11/30/1988
UCSC-CRL-88-29Using if-then-else DAGs for Multi-Level Logic Minimization11/30/1988
UCSC-CRL-89-20High-Speed Networks and the Internet09/01/1989
UCSC-CRL-89-42ANALYZING TRACES WITH ANONYMOUS SYNCHRONIZATION12/01/1989
UCSC-CRL-90-04CHARACTERIZING PAC-LEARNABILITY OF SEMILINEAR SETS12/01/1989
UCSC-CRL-90-10TRAINING AN ANIMATED ARM TO REACH FOR OBJECTS IN SPACE USING12/01/1989
UCSC-CRL-90-01ON THE EXPRESSIVE POWER OF DATALOG: TOOLS AND A CASE STUDY01/01/1990
UCSC-CRL-90-02HIGH SPEED DISK I/O FOR PARALLEL COMPUTERS01/01/1990
UCSC-CRL-90-060-1 LAWS FOR INFINITARY LOGICS03/01/1990
UCSC-CRL-90-07PARALLELIZING THE FAST FOURIER TRANSFORM03/01/1990
UCSC-CRL-90-08PARALLEL ALGORITHMS FOR COMPUTER GRAPHICS03/01/1990
UCSC-CRL-90-11DEBUGGING PARALLEL PROGRAMS BY TRACE ANALYSIS03/01/1990
UCSC-CRL-90-20MULTIVIEW: AN INTEGRATED APPROACH TO VISUALIZATION OF PARALLEL PROGRAMS03/01/1990
UCSC-CRL-90-21AN IMPLEMENTATION OF THE KEY REACTION APPROACH IN COMPUTER CHEMICAL SYNTHESIS03/01/1990
UCSC-CRL-90-22A BEST-FIRST ERROR CORRECTION ALGORITHM03/01/1990
UCSC-CRL-90-09VOTING WITH REGENERABLE VOLATILE WITNESSES04/01/1990
UCSC-CRL-90-15A GENERALIZATION OF SAUER'S LEMMA04/01/1990
UCSC-CRL-90-12ADAPTIVE-PREDICTIVE GAME-PLAYING PROGRAMS04/01/1990
UCSC-CRL-90-13ANALYSIS OF REPLICATION CONTROL PROTOCOLS04/01/1990
UCSC-CRL-90-14TOPOLOGICAL CONSIDERATIONS IN ISOSURFACE GENERATION04/01/1990
UCSC-CRL-90-16PROBABLY APPROXIMATELY CORRECT LEARNING05/01/1990
UCSC-CRL-90-17A STARTER TOOLKIT FOR MODELING WITH IMPLICIT SURFACES05/01/1990
UCSC-CRL-90-18CONFIGMAN05/01/1990
UCSC-CRL-90-23SOURCE-LEVEL DEBUGGING OF OPTIMIZED CODE: DETECTING UNEXPECTED DATA VALUES05/01/1990
UCSC-CRL-90-19DYNAMIC STORAGE RECLAMATION IN C++06/01/1990
UCSC-CRL-90-24AN ABSTRACT USER INTERFACE MODEL FOR THE SEPARATION OF THE INTERFACE FROM THE APPLICATION06/01/1990
UCSC-CRL-90-25USING THE ucsc-report LaTeX STYLE FILE FOR UCSC TECHNICAL REPORTS06/01/1990
UCSC-CRL-90-26OBJECT-ORIENTED RENDERING OF VOLUMETRIC AND GEOMETRIC PRIMITIVES06/01/1990
UCSC-CRL-90-27ADAPTATIVE DECISION TREE ALGORITHMS FOR LEARNING FROM EXAMPLES06/01/1990
UCSC-CRL-90-28OCTREES FOR FASTER ISOSURFACE GENERATION06/01/1990
UCSC-CRL-90-29LEARNING COMMUTATIVE DETERMINISTIC FINITE STATE AUTOMATA IN POLYNOMIAL TIME06/01/1990
UCSC-CRL-90-31COMPOSITE GEOMETRIC CONCEPTS AND POLYNOMIAL PREDICTABILITY07/01/1990
UCSC-CRL-90-35PROTECTING REPLICATED OBJECTS AGAINST MEDIA FAILURES07/01/1990
UCSC-CRL-90-36RESILIENT MEMORY-RESIDENT DATA OBJECTS07/01/1990
UCSC-CRL-90-32A NOTE ON DESIGNING TWO-LEVEL CARRY-SKIP ADDERS07/01/1990
UCSC-CRL-90-33LEARNING INTEGER LATTICES07/01/1990
UCSC-CRL-90-34ACCESSING REPLICATED DATA IN AN INTERNETWORK08/01/1990
UCSC-CRL-90-37THE CASE FOR GARBAGE COLLECTION IN C++08/01/1990
UCSC-CRL-90-38A COHERENT PROJECTION APPROACH FOR DIRECT VOLUME RENDERING08/01/1990
UCSC-CRL-90-39AUGEND-BASED ARITHMETIC CODES AND THE GOLOMB CODE08/01/1990
UCSC-CRL-90-40ON ADAPTATION TO MULTIPLE CONTEXT BINARY SOURCES08/01/1990
UCSC-CRL-90-43USING IF-THEN-ELSE DAGS TO DO TECHNOLOGY MAPPING FOR FIELD-PROGRAMMABLE GATE ARRAYS09/01/1990
UCSC-CRL-90-46A STUDY OF THE RELIABILITY OF INTERNET SITES09/01/1990
UCSC-CRL-90-48LOGICAL DEFINABILITY OF NP OPTIMIZATION PROBLEMS09/01/1990
UCSC-CRL-90-41CATEGORIZATION OF MACROMOLECULAR SEQUENCES BY MINIMAL LENGTH ENCODING09/01/1990
UCSC-CRL-90-42DIRECT VOLUME RENDERING OF CURVILINEAR VOLUMES09/01/1990
UCSC-CRL-90-45PROXIMITY CONTENT-ADDRESSABLE MEMORY: AN EFFICIENT EXTENSION TO k-NEAREST NEIGHBORS SEARCH09/01/1990
UCSC-CRL-90-57DETECTING DATA RACES BY ANALYZING SEQUENTIAL TRACES10/01/1990
UCSC-CRL-90-58COMPUTING REACHABLE STATES OF PARALLEL PROGRAMS10/01/1990
UCSC-CRL-90-49UNIVERSAL COVERS OF EDGE-LABELED DIGRAPHS: ISOMORPHISM TO DEPTH n - 1 IMPLIES ISOMORPHISM TO ALL DEPTHS10/01/1990

BSOE faculty and students can add a new technical report or edit their existing technical reports.