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-90-16	PROBABLY APPROXIMATELY CORRECT LEARNING	05/01/1990
UCSC-CRL-90-15	A GENERALIZATION OF SAUER'S LEMMA	04/01/1990
UCSC-CRL-90-14	TOPOLOGICAL CONSIDERATIONS IN ISOSURFACE GENERATION	04/01/1990
UCSC-CRL-90-13	ANALYSIS OF REPLICATION CONTROL PROTOCOLS	04/01/1990
UCSC-CRL-90-12	ADAPTIVE-PREDICTIVE GAME-PLAYING PROGRAMS	04/01/1990
UCSC-CRL-90-11	DEBUGGING PARALLEL PROGRAMS BY TRACE ANALYSIS	03/01/1990
UCSC-CRL-90-10	TRAINING AN ANIMATED ARM TO REACH FOR OBJECTS IN SPACE USING	12/01/1989
UCSC-CRL-90-09	VOTING WITH REGENERABLE VOLATILE WITNESSES	04/01/1990
UCSC-CRL-90-08	PARALLEL ALGORITHMS FOR COMPUTER GRAPHICS	03/01/1990
UCSC-CRL-90-07	PARALLELIZING THE FAST FOURIER TRANSFORM	03/01/1990
UCSC-CRL-90-06	0-1 LAWS FOR INFINITARY LOGICS	03/01/1990
UCSC-CRL-90-04	CHARACTERIZING PAC-LEARNABILITY OF SEMILINEAR SETS	12/01/1989
UCSC-CRL-90-02	HIGH SPEED DISK I/O FOR PARALLEL COMPUTERS	01/01/1990
UCSC-CRL-90-01	ON THE EXPRESSIVE POWER OF DATALOG: TOOLS AND A CASE STUDY	01/01/1990
UCSC-CRL-89-42	ANALYZING TRACES WITH ANONYMOUS SYNCHRONIZATION	12/01/1989
UCSC-CRL-89-20	High-Speed Networks and the Internet	09/01/1989
UCSC-CRL-88-29	Using if-then-else DAGs for Multi-Level Logic Minimization	11/30/1988
UCSC-CRL-88-28	Representing Boolean Functions with If-Then-Else DAGs	11/30/1988
UCSC-CRL-08-02	Qualitative Concurrent Parity Games	04/04/2008
UCSC-CRL-08-01	On Secure Distributed Implementations of Dynamic Access Control	01/01/2008
UCSC-CRL-07-10	Evaluating Rank Joins with Optimal Cost	01/01/2007
UCSC-CRL-07-09	Assigning Trust to Wikipedia Content	11/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-03	Optimizing Capacity in Interconnection Networks with Finite Buffers	01/01/2007
UCSC-CRL-07-01	An efficient FPGA priority queue implementation with application to the routing problem	05/09/2007
UCSC-CRL-06-18	A Content-Driven Reputation System for the Wikipedia	11/21/2006
UCSC-CRL-06-17	Disruption-Tolerant Routing with Scoped Propagation of Control Information	10/25/2006
UCSC-CRL-06-16	On-demand Routing in Disrupted Environments	10/25/2006
UCSC-CRL-06-15	Magnifying-Lens Abstraction for Markov Decision Processes	01/01/2006
UCSC-CRL-06-14	An Introduction to the Tool Ticc	01/01/2006
UCSC-CRL-06-12	A Mental Framework for use in Creating Hardware Independent Parallel Languages	05/24/2006
UCSC-CRL-06-11	The Big-Step Operational Semantics of CodeTime Circuits	05/19/2006
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-09	The Elements of the CodeTime Software Platform	05/19/2006
UCSC-CRL-06-08	BaCTiL: Base CodeTime Language	05/19/2006
UCSC-CRL-06-06	BiBoost for Asymmetric Learning	06/03/2005
UCSC-CRL-06-03	Distributed Receding Horizon Control of Dynamically Coupled Nonlinear Systems	02/07/2006
UCSC-CRL-06-01	Ticc: A Tool for Interface Compatibility and Composition	01/01/2006
UCSC-CRL-05-05	The Case for an Integrated Software Platform for HEC Illustrated Using the CodeTime Platform	01/31/2006
UCSC-CRL-05-04	Meerkats: A Power-Aware, Self-Managing Wireless Camera Network for Wide Area Monitoring	06/29/2005
UCSC-CRL-05-03	Average Reward Timed Games	06/25/2005
UCSC-CRL-05-01	Linear and Branching System Metrics	04/08/2005
UCSC-CRL-04-11	Efficient Soft Real-Time Processing in an Integrated System	09/15/2004
UCSC-CRL-04-10	A Control Approach to Bandwidth Management in Networked Control Systems	09/01/2004
UCSC-CRL-04-06	Optimal State Feedback Based Resource Allocation for Resource-Constrained Control Tasks	12/31/2004
UCSC-CRL-04-05	Optimization of Control Systems Performance via Soft Real-Time Quality-of-Service Management Techniques	12/31/2004
UCSC-CRL-04-04	Improving Control Performance using Adaptive Quality of Service in a Real-Time System	12/31/2004
UCSC-CRL-04-02	Approximate XML Query Answers	12/31/2004
UCSC-CRL-03-17	An Analysis of Detection Probabilities of Interconnect Opens	03/14/2004
UCSC-CRL-03-12	Model Checking Discounted Temporal Properties	10/29/2003

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