Follow

Submissions from 1995

PDF

A Physical Example for Teaching Curried Functions, Gary T. Leavens

PDF

Design and Implementation of the Larch/C++ Type System, Matthew W. Markland

PDF

Utility-Theoretic Heuristics for Intelligent Adaptive Routing in Large Communcation Networks, Armin Mikler, Vasant Honavar, and Johnny S. Wong

PDF

An Object Oriented Approach to Modeling and Simulation of Routing in Large Communication Networks, Armin Mikler, Johnny S. Wong, and Vasant Honavar

PDF

Quo Vadis - Adaptive Heuristics for Routing in Large Communication Networks, Armin Mikler, Johnny S. Wong, and Vasant Honavar

PDF

An Efficient Interactive Algorithm for Regular Language Learning, Rajesh G. Parekh and Vasant Honavar

PDF

Constructive Neural Network Learning Algorithms for Multi-Category Pattern Classification, Rajesh G. Parekh, Jihoon Yang, and Vasant Honavar

PDF

Constructive Neural Network Learning Algorithms for Multi-Category Pattern Classification, Rajesh G. Parekh, Jihoon Yang, and Vasant Honavar

PDF

Larch/CORBA: Specifying the Behavior of CORBA-IDL Interfaces, Sankar Gowri Sivaprasad

PDF

Design of BATRUN Distributed Processing System, Fredy Tandiary, Suraj C. Kothari, and Ashish Dixit

Submissions from 1994

PDF

A Faster Algorithm for the Perfect Phylogeny Problem when the Number of Characters is Fixed, Richa Agarwala and David Fernández-Baca

PDF

Weighted Search in the Plane, Richa Agarwala and David Fernández-Baca

PDF

Foundations of Object-Oriented Languages, Giuseppe Castagna and Gary T. Leavens

PDF

Type Checking and Modules for Multi-Methods, Craig Chambers and Gary T. Leavens

PDF

A Quick Overview of Larch/C++, Yoonsik Cheon and Gary T. Leavens

PDF

Gentle Introduction to Larch / Smalltalk Specification Browsers, Yoonsik Cheon and Gary T. Leavens

PDF

The Larch/Smalltalk Interface Specification Language, Yoonsik Cheon and Gary T. Leavens

PDF

Tree-based Algorithm to Find the k-th Value in Distributed Systems, Yoonsik Cheon and Johnny S. Wong

PDF

Synthesizing Structured Analysis and Object-Oriented Specifications, David L. Coleman and Albert L. Baker

PDF

Optimal Parametric Search on Graphs of Bounded Tree-Width, David Fernández-Baca and Giora Slutzki

PDF

Local Variable Allocation For Accurate Garbage Collection of C++, Ravichandran Ganesan

PDF

Reliable General Purpose Dynamic Memory Management for Real, Hong Gao and Kelvin Nilsen

PDF

Generational Garbage Collection of C++ Targeted to SPARC Architectures, Satish K. Guggilla

PDF

Symbolic Artificial Intelligence and Numeric Artificial Neural Networks: Towards A Resolution of the Dichotomy, Vasant Honavar

PDF

Symbolic Artificial Intelligence, Connectionist Networks & Beyond., Vasant Honavar and Leonard Uhr

PDF

Weakly Complete Problems are Not Rare, David W. Juedes

PDF

Parametric Micro-level Performance Models for Parallel Computing, Youngtae Kim, Mark Fienup, Jeffrey S. Clary, and Suresh C. Kothari

PDF

Aiding Self-motivation with Readings in Introductory Computing, Gary T. Leavens

PDF

Fields in Physics are like Curried Functions or Physics for Functional Programmers, Gary T. Leavens

PDF

Introduction to the Literature on Semantics, Gary T. Leavens

PDF

Towards Safe Modular Extensible Objects, Gary T. Leavens and Craig Chambers

PDF

Overview and Specification of the Built-In Types in Little Smalltalk, Gary T. Leavens and Yoonsik Cheon

PDF

Blended Algebraic and Denotational Semantics for ADT Languages with Mutable Objects, Gary T. Leavens and Krishna Kishore Dhara

PDF

Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs, Gary T. Leavens and William E. Weihl

PDF

Quo Vadis-A Framework for Intelligent Routing in Large Communication Networks., Armin Mikler, Johnny S. Wong, and Vasant Honavar

PDF

Register Allocation for Accurate Garbage Collection of C++, S. Satishkumar

PDF

The Direct Execution of SPECS-C++: A Model-Based Specification Language for C++ Classes, Tim Wahls, Albert L. Baker, and Gary T. Leavens

Submissions from 1993

PDF

A Polynomial-Time Algorithm for the Phylogeny Problem when the Number of Character States is Fixed, Richa Agarwala and David Fernández-Baca

PDF

Memory Access Optimizations for High-Performance Computing, Jeffrey S. Clary and S. C. Kothari

PDF

Toward Learning Systems That Integrate Different Strategies and Representations, Vasant Honavar

PDF

Inheritance of Interface Specifications, Gary T. Leavens

PDF

The Quantitative Structure of Exponential Time, Jack H. Lutz

PDF

Weakly Hard Problems, Jack H. Lutz

PDF

The Global Power of Additional Queries to Random Oracles, Jack H. Lutz and David M. Martin Jr.

PDF

Efficient Learning of Regular Languages Using Teacher-Supplied Positive Samples and Learner-Generated Queries, Rajesh G. Parekh and Vasant Honavar

PDF

A Hierarchy of Deterministic Top-down Tree Transformations, Giora Slutzki and Sandor Vagvolgyi

PDF

Deterministic Top-down Tree Transducers with Iterated Look-ahead, Giora Slutzki and Sandor Vagvolgyi

PDF

Greengard's N-body Algorithm is not order N, Aluru Srinivas

PDF

An Executable Semantics for a Formalized Data Flow Diagram Specification Language, Tim Wahls, Albert L. Baker, and Gary T. Leavens

Submissions from 1992

PDF

Fast Algorithms for Inferring Evolutionary Trees, Richa Agarwala, David Fernández-Baca, and Giora Slutzki

PDF

Course Specifications for New Introductory Courses: Computer Science 227X and 228X, Albert L. Baker, David Fernández-Baca, and Gary T. Leavens

PDF

Design, Implementation, Use, and Evaluation of Ox: An Attribute- Grammar Compiling System based on Yacc, Lex, and C, Kurt M. Bischoff

PDF

GPPL: A Small Block-Structured Imperative Programming Language Implemented Using Ox, Kurt M. Bischoff

PDF

User Manual for Ox: An Attribute-Grammar Compiling System based on Yacc, Lex, and C, Kurt M. Bischoff

PDF

On Languages with Very High Information Content, Ronald V. Book and Jack H. Lutz

PDF

Hardware-Assisted Garbage Collection for the Icon Programming Language, Ramakrishna Chinta

PDF

Parametric Problems on Graphs of Bounded Tree-width, David Fernández-Baca and Giora Slutzki

PDF

A Taxonomy of Automatic Differential Tools, David W. Juedes

PDF

Computational Depth and Reducibility, David W. Juedes, James I. Lathrop, and Jack H. Lutz

PDF

Kolmagorav Complexity, Complexity Cores, and the Distribution of Hardness, David W. Juedes and Jack H. Lutz

PDF

The Complexity and Distribution of Hard Problems, David W. Juedes and Jack H. Lutz

PDF

rtScript: A Scripting Language for Writing Real-Time Programs in C, Youngtae Kim

PDF

Preliminary Design of Larch/C + +, Gary T. Leavens and Yoonsik Cheon

PDF

3x + 1 Search Programs, Gary T. Leavens and Mike Vermeulen

PDF

One-Way Functions and Balanced NP, Jack H. Lutz

PDF

Cook versus Karp-Levin: Separating Completeness Notions If NP Is Not Small, Jack H. Lutz and Elvira Mayordomo

PDF

Measure, Stochasticity, and the Density of Hard Languages, Jack H. Lutz and Elvira Mayordomo

PDF

Memory Cycle Accountings for Hardware-Assisted Real-Time Garbage Collection, Kelvin D. Nilsen

PDF

Hardware-Assisted General-Purpose Garbage Collection for Hard Real-Time Systems, Kelvin D. Nilsen and William J. Schmidt

PDF

Preferred Embodiment of a Hardware-Assisted Garbage-Collection System, Kelvin D. Nilsen and William J. Schmidt

PDF

Issues in the design and implementation of a real-time garbage collection architecture, William J. Schmidt

PDF

Experimental Measurements of a Real-Time Garbage Collection Architecture, William J. Schmidt and Kelvin Nilsen

PDF

Icon: A Interpreter-Based Approach, Dong Wei

Submissions from 1991

PDF

Larch/Smalltalk: A Specification Language for Smalltalk, Yoonsik Cheon

PDF

Kolmogorv Complexity, Complexity Cores, and the Distribution of Hardness, David W. Juedes and Jack H. Lutz

PDF

Specifying and Verifying Object-Oriented Programs: An Overview of the Problems and a Solution, Gary T. Leavens

PDF

Typed Homomorphic Relations Extended with Subtypes, Gary T. Leavens and Don Pigozzi

Submissions from 1990

PDF

Modular Verification of Object-Oriented Programs with Subtypes, Gary T. Leavens

PDF

Reasoning About Object-Oriented Programs That Use Subtypes, Gary T. Leavens

PDF

A Pseudorandum Oracle Characterization of BBP, Jack H. Lutz

Submissions from 1989

PDF

A Distributed Search Program for the 3x + 1 Problem, Gary T. Leavens