Technical Reports | Technical Reports

You can search for technical reports by entering some keywords in the space provided. Keywords must be at least three characters long.

Keywords

Department

Year

Pages

Number	Title	Published
UCSC-CRL-06-10	A Scalable and Efficient Peer-to-Peer Run-Time System for a Hardware Independent Software Platform	05/19/2006
UCSC-CRL-06-11	The Big-Step Operational Semantics of CodeTime Circuits	05/19/2006
UCSC-CRL-06-12	A Mental Framework for use in Creating Hardware Independent Parallel Languages	05/24/2006
UCSC-CRL-06-14	An Introduction to the Tool Ticc	01/01/2006
UCSC-CRL-06-15	Magnifying-Lens Abstraction for Markov Decision Processes	01/01/2006
UCSC-CRL-06-16	On-demand Routing in Disrupted Environments	10/25/2006
UCSC-CRL-06-17	Disruption-Tolerant Routing with Scoped Propagation of Control Information	10/25/2006
UCSC-CRL-06-18	A Content-Driven Reputation System for the Wikipedia	11/21/2006
UCSC-CRL-07-01	An efficient FPGA priority queue implementation with application to the routing problem	05/09/2007
UCSC-CRL-07-03	Optimizing Capacity in Interconnection Networks with Finite Buffers	01/01/2007
UCSC-CRL-07-04	Call Center Routing Strategies in the Presence of Servers with Heterogeneous Performance Attributes	09/27/2007
UCSC-CRL-07-09	Assigning Trust to Wikipedia Content	11/01/2007
UCSC-CRL-07-10	Evaluating Rank Joins with Optimal Cost	01/01/2007
UCSC-CRL-08-01	On Secure Distributed Implementations of Dynamic Access Control	01/01/2008
UCSC-CRL-08-02	Qualitative Concurrent Parity Games	04/04/2008
UCSC-CRL-88-28	Representing Boolean Functions with If-Then-Else DAGs	11/30/1988
UCSC-CRL-88-29	Using if-then-else DAGs for Multi-Level Logic Minimization	11/30/1988
UCSC-CRL-89-20	High-Speed Networks and the Internet	09/01/1989
UCSC-CRL-89-42	ANALYZING TRACES WITH ANONYMOUS SYNCHRONIZATION	12/01/1989
UCSC-CRL-90-01	ON THE EXPRESSIVE POWER OF DATALOG: TOOLS AND A CASE STUDY	01/01/1990
UCSC-CRL-90-02	HIGH SPEED DISK I/O FOR PARALLEL COMPUTERS	01/01/1990
UCSC-CRL-90-04	CHARACTERIZING PAC-LEARNABILITY OF SEMILINEAR SETS	12/01/1989
UCSC-CRL-90-06	0-1 LAWS FOR INFINITARY LOGICS	03/01/1990
UCSC-CRL-90-07	PARALLELIZING THE FAST FOURIER TRANSFORM	03/01/1990
UCSC-CRL-90-08	PARALLEL ALGORITHMS FOR COMPUTER GRAPHICS	03/01/1990
UCSC-CRL-90-09	VOTING WITH REGENERABLE VOLATILE WITNESSES	04/01/1990
UCSC-CRL-90-10	TRAINING AN ANIMATED ARM TO REACH FOR OBJECTS IN SPACE USING	12/01/1989
UCSC-CRL-90-11	DEBUGGING PARALLEL PROGRAMS BY TRACE ANALYSIS	03/01/1990
UCSC-CRL-90-12	ADAPTIVE-PREDICTIVE GAME-PLAYING PROGRAMS	04/01/1990
UCSC-CRL-90-13	ANALYSIS OF REPLICATION CONTROL PROTOCOLS	04/01/1990
UCSC-CRL-90-14	TOPOLOGICAL CONSIDERATIONS IN ISOSURFACE GENERATION	04/01/1990
UCSC-CRL-90-15	A GENERALIZATION OF SAUER'S LEMMA	04/01/1990
UCSC-CRL-90-16	PROBABLY APPROXIMATELY CORRECT LEARNING	05/01/1990
UCSC-CRL-90-17	A STARTER TOOLKIT FOR MODELING WITH IMPLICIT SURFACES	05/01/1990
UCSC-CRL-90-18	CONFIGMAN	05/01/1990
UCSC-CRL-90-19	DYNAMIC STORAGE RECLAMATION IN C++	06/01/1990
UCSC-CRL-90-20	MULTIVIEW: AN INTEGRATED APPROACH TO VISUALIZATION OF PARALLEL PROGRAMS	03/01/1990
UCSC-CRL-90-21	AN IMPLEMENTATION OF THE KEY REACTION APPROACH IN COMPUTER CHEMICAL SYNTHESIS	03/01/1990
UCSC-CRL-90-22	A BEST-FIRST ERROR CORRECTION ALGORITHM	03/01/1990
UCSC-CRL-90-23	SOURCE-LEVEL DEBUGGING OF OPTIMIZED CODE: DETECTING UNEXPECTED DATA VALUES	05/01/1990
UCSC-CRL-90-24	AN ABSTRACT USER INTERFACE MODEL FOR THE SEPARATION OF THE INTERFACE FROM THE APPLICATION	06/01/1990
UCSC-CRL-90-25	USING THE ucsc-report LaTeX STYLE FILE FOR UCSC TECHNICAL REPORTS	06/01/1990
UCSC-CRL-90-26	OBJECT-ORIENTED RENDERING OF VOLUMETRIC AND GEOMETRIC PRIMITIVES	06/01/1990
UCSC-CRL-90-27	ADAPTATIVE DECISION TREE ALGORITHMS FOR LEARNING FROM EXAMPLES	06/01/1990
UCSC-CRL-90-28	OCTREES FOR FASTER ISOSURFACE GENERATION	06/01/1990
UCSC-CRL-90-29	LEARNING COMMUTATIVE DETERMINISTIC FINITE STATE AUTOMATA IN POLYNOMIAL TIME	06/01/1990
UCSC-CRL-90-31	COMPOSITE GEOMETRIC CONCEPTS AND POLYNOMIAL PREDICTABILITY	07/01/1990
UCSC-CRL-90-32	A NOTE ON DESIGNING TWO-LEVEL CARRY-SKIP ADDERS	07/01/1990
UCSC-CRL-90-33	LEARNING INTEGER LATTICES	07/01/1990
UCSC-CRL-90-34	ACCESSING REPLICATED DATA IN AN INTERNETWORK	08/01/1990

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