Follow

Submissions from 2015

PDF

A Machine Learning Approach to Edge Type Prediction in Internet AS Graphs, Jinu Susan Varghese and Lu Ruan

Submissions from 2012

PDF

Enumerating All Maximal Frequent Subtrees, Akshay Deepak and David Fernández-Baca

Submissions from 2011

PDF

EvoMiner: Frequent Subtree Mining in Phylogenetic Databases, Akshay Deepak, David Fernández-Baca, Srikanta Tirthapura, Michael J. Sanderson, and Michelle M. McMahon

Submissions from 2005

PDF

A Comparison of Two Approaches to Utilizing XML in Parametric Databases for Temporal Data, Seo-Young Noh and Shashi K. Gadia

Submissions from 2004

PDF

An XML Representation of the Parametric Data Model for Temporal Data, Seo-Young Noh

PDF

Literature Review on Temporal, Spatial, and Spatiotermpoal Data Models, Seo-Young Noh

Submissions from 2003

PDF

An XML Plagiarism Detection Model for Procedural Programming Languages, Seo-Young Noh

PDF

Query-friendly Compression and Indexing of Recurring Structures in XML Documents, Satish Vemula, Justin Hare, and Seo-Young Noh

Submissions from 2000

PDF

A Run-time Assertion Checker for Java using JML, Abhay Bhorkar

PDF

MultiJava: Modular Symmetric Multiple Dispatch and Extensible Classes for Java, Curtis Clifton, Gary T. Leavens, Craig Chambers, and Todd Millstein

Submissions from 1997

PDF

The Concept of Error in a Database: An Application of Temporal Databases, Gautam Bhargava and Shashi K. Gadia

Submissions from 1996

PDF

The Behavior-Realization Adjunction and Generalized Homomorphic Relations, Gary T. Leavens and Don Pigozzi

Submissions from 1995

PDF

A Neural Memory Architecture for Content As Well As Address-Based Storage & Recall: Theory and Applications, Chun-Hsien Chen and Vasant Honavar

PDF

A Neural Network Architecture for Syntax Analysis, Chun-Hsien Chen and Vasant Honavar

PDF

An Algebra for Belief Persistence in Multilevel Security Databases, Tsz Shing Cheng and Shashi K. Gadia

PDF

An Algebra for Belief Persistence in Multilevel Security Databases, Tsz Shing Cheng and Shashi K. Gadia

PDF

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

Submissions from 1994

PDF

Foundations of Object-Oriented Languages, Giuseppe Castagna 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

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

PDF

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

PDF

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

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

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

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

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

Submissions from 1992

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

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

PDF

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

PDF

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

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

Submissions from 1991

PDF

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

PDF

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