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-95-32	LINEAR TIME UNIT RESOLUTION FOR PROPOSITIONAL FORMULAS--IN PROLOG, YET	04/01/1995
UCSC-CRL-95-34	SATISFIABILITY TESTING WITH MORE REASONING AND LESS GUESSING	04/01/1995
UCSC-CRL-94-21	EXTRACTION OF BREAKS IN RECTILINEAR LAYOUTS BY PLANE SWEEPS	04/01/1995
UCSC-CRL-95-06	GENERAL GAME-PLAYING AND REINFORCEMENT LEARNING	05/01/1995
UCSC-CRL-95-22	AN IMPLEMENTATION MODEL FOR CONTEXTS AND NEGATION IN CONCEPTUAL GRAPHS	05/01/1995
UCSC-CRL-95-24	SCATTERING-PARAMETER-BASED MACROMODEL FOR TRANSIENT ANALYSIS OF INTERCONNECT NETWORKS WITH NONLINEAR TERMINATIONS	05/01/1995
UCSC-CRL-95-19	HOW TO USE EXPERT ADVICE	06/01/1995
UCSC-CRL-95-23	MISC: A MASSIVELY PARALLEL ARCHITECTURE FOR ASSOCIATIVE-BASED ARTIFICIAL INTELLIGENCE	06/01/1995
UCSC-CRL-95-25	TRANSIENT ANALYSIS OF COUPLED TRANSMISSION LINES CHARACTERIZED WITH FREQUENCY-DEPENDENT LOSSES OR MEASURED SCATTERING-PARAMETER DATA AND OPTIMAL DESIGN OF SELF-DAMPED INTERCONNECTS	06/01/1995
UCSC-CRL-95-26	OBJECTIVE-BASED ROUTING FOR PHYSICAL DESIGN-FOR-TEST	06/01/1995
UCSC-CRL-95-27	HIERARCHICAL RENDERING OF COMPLEX ENVIRONMENTS	06/01/1995
UCSC-CRL-95-28	CHIP AND PACKAGE CO-SYNTHESIS OF CLOCK NETWORKS	06/01/1995
UCSC-CRL-95-30	DETECTION OF MULTIPLE FAULTS IN TWO-DIMENSIONAL ILAs	06/01/1995
UCSC-CRL-95-33	A UNIFIED APPROACH TO EVALUATION ALGORITHMS FOR MULTIVARIATE POLYNOMIALS	07/01/1995
UCSC-CRL-95-36	ARIES: A REARRANGEABLE INEXPENSIVE EDGE-BASED ON-LINE STEINER ALGORITHM	07/01/1995
UCSC-CRL-95-37	EFFICIENT LEARNING WITH VIRTUAL THRESHOLD GATES	07/01/1995
UCSC-CRL-95-38	LATENCY-RATE SERVERS: A GENERAL MODEL FOR ANALYSIS OF TRAFFIC SCHEDULING ALGORITHMS	07/01/1995
UCSC-CRL-95-39	FRAME-BASED FAIR QUEUEING: A NEW TRAFFIC SCHEDULING ALGORITHM FOR PACKET-SWITCHED NETWORKS	07/01/1995
UCSC-CRL-95-41	THE PLANAR PIN ASSIGNMENT AND ROUTING PROBLEM (PPARP) IS NP-COMPLETE	08/01/1995
UCSC-CRL-95-47	FAST: AN FPGA-BASED SIMULATION TESTBED FOR ATM NETWORKS	09/01/1995
UCSC-CRL-95-44	THE PERCEPTRON ALGORITHM VS WINNOW: LINEAR VS LOGARITHMIC MISTAKE BOUNDS WHEN FEW INPUT VARIABLES ARE RELEVANT	10/01/1995
UCSC-CRL-95-46	VISUALIZING GEOMETRIC UNCERTAINTY OF SURFACE INTERPOLANTS	10/01/1995
UCSC-CRL-95-48	VERITY VISUALIZATION: VISUAL MAPPINGS	10/01/1995
UCSC-CRL-95-49	PLANAR INTERCHANGEABLE 2-TERMINAL ROUTING	10/01/1995
UCSC-CRL-95-50	A COMPARISON OF NEW AND OLD ALGORITHMS FOR A MIXTURE ESTIMATION PROBLEM	10/01/1995
UCSC-CRL-95-61	SIMULTANEOUS CONSTRUCTION OF REFUTATIONS AND MODELS FOR PROPOSITIONAL FORMULAS	10/01/1995
UCSC-CRL-95-51	SYNCHRONOUS/REACTIVE PROGRAMMING OF CONCURRENT SYSTEM SOFTWARE	11/01/1995
UCSC-CRL-95-52	GENETIC SIMULATED ANNEALING AND APPLICATION TO NON-SLICING FLOORPLAN DESIGN	11/01/1995
UCSC-CRL-95-57	A SCAN-LINE ALGORITHM FOR VOLUME RENDERING OF MULTIPLE CURVILINEAR GRIDS	11/01/1995
UCSC-CRL-95-43	AN EXPERIMENTAL COMPARISON OF NEW PROPERTY LIST DESIGNS	12/01/1995
UCSC-CRL-95-45	ON THE INVARIANCE OF MEASURED EQUATION OF INVARIANCE	12/01/1995
UCSC-CRL-95-54	DYNAMICS OF AN EXPLICIT RATE ALLOCATION ALGORITHM FOR AVAILABLE BIT-RATE (ABR) SERVICE IN ATM NETWORKS	12/01/1995
UCSC-CRL-95-55	FAST PARAMETERS EXTRACTION OF GENERAL THREE-DIMENSION INTERCONNECTS USING GEOMETRY INDEPENDENT MEASURED EQUATION OF INVARIANCE	12/01/1995
UCSC-CRL-95-56	A NOVEL DIMENSION REDUCTION TECHNIQUE FOR 3D CAPACITANCE EXTRACTION OF VLSI INTERCONNECTS	12/01/1995
UCSC-CRL-95-58	RATE-PROPORTIONAL SERVERS: A DESIGN METHODOLOGY FOR FAIR QUEUEING ALGORITHMS	12/01/1995
UCSC-CRL-95-59	EFFICIENT FAIR-QUEUEING ALGORITHMS FOR ATM AND PACKET NETWORKS	12/01/1995
UCSC-CRL-95-62	REAL-TIME ENVIRONMENTAL INFORMATION NETWORK AND ANALYSIS SYSTEM: PHASE IV.FINAL	12/01/1995
UCSC-CRL-96-03	AN UNEXPECTED FACTOR IN TESTING FOR CMOS OPENS: THE DIE SURFACE	01/01/1996
UCSC-CRL-96-05	CARAFE USERS MANUAL RELEASE APLHA 5	01/01/1996
UCSC-CRL-95-42	ANALYSIS OF SOURCE POLICY IN RATE-CONTROLLED ATM NETWORKS	01/01/1996
UCSC-CRL-96-06	USING PHYLOGENETIC MARKOV TREES TO DETECT CONSERVED STRUCTURE IN RNA MULTIPLE ALIGNMENTS	03/01/1996
UCSC-CRL-96-08	MAXIMUM LIKELIHOOD ESTIMATION FOR FAILURE ANALYSIS OF SRAM CELLS USING INDUCTIVE FAULT ANALYSIS	03/01/1996
UCSC-CRL-96-09	DIRICHLET MIXTURES: A METHOD FOR IMPROVING DETECTION OF WEAK BUT SIGNIFICANT PROTEIN SEQUENCE HOMOLOGY	03/01/1996
UCSC-CRL-96-10	INTERCHANGEABLE PIN ROUTING WITH APPLICATION TO PACKAGE LAYOUT	04/01/1996
UCSC-CRL-96-22	SAM: SEQUENCE ALIGNMENT AND MODELING SOFTWARE SYSTEM	04/01/1996
UCSC-CRL-96-12	A NEW INTERACTIVE ANALOG LAYOUT METHODOLOGY BASED ON RUBBER-BAND ROUTING	06/01/1996
UCSC-CRL-96-13	EFFECT OF AUTARKY PRUNING ON RANDOM AND CIRCUIT FORMULAS: AN EXPERIMENTAL STUDY	06/01/1996
UCSC-CRL-96-14	A METHODOLOGY FOR CHARACTERIZING CELL TESTABILITY	06/01/1996
UCSC-CRL-96-04	THE PARTIAL REHABILITATION OF PROPOSITIONAL RESOLUTION	07/01/1996
UCSC-CRL-96-16	DIRECT VOLUME RENDERING WITH SHADING VIA THREE-DIMENSIONAL TEXTURES	07/01/1996

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