Follow

Submissions from 2018

PDF

On Efficiency of AS Paths from Users to Content Servers: A Case Study of Netflix, Jinu Susan Kabala and Lu Ruan

Submissions from 2016

PDF

A Region-Centric Analysis of the Internet Peering Ecosystem, Rajesh Putta Venkata and Lu Ruan

Submissions from 2014

PDF

Open Effects: A Hybrid Type-and-Effect System to Tackle Open World Assumption and its Application to Optimistic Concurrency, Yuheng Long, Mehdi Bagherzadeh, and Hridesh Rajan

PDF

Computing Observed Autonomous System Relationships in the Internet, Lu Ruan and Jinu Susan Varghese

Submissions from 2013

PDF

An Accountability Scheme for Oblivious RAMs, Ka Yang, Zhang Jinsheng, Zhang Wensheng, and Daji Qiao

Submissions from 2012

PDF

Open Effects, Yuheng Long

PDF

Trust, but verify: Optimistic Effect Analysis for Reusable Code, Yuheng Long and Hridesh Rajan

Submissions from 2011

PDF

Non-uniform Memory Affinity Strategy in Multi-Threaded Sparse Matrix Computations, Avinash Srivinasa and Masha Sosonkina

PDF

Per-call Energy Saving Strategies in All-to-all Communications, Vaibhav Sundriyal and Masha Sosonkina

Submissions from 2010

PDF

Frances: A Tool For Understanding Computer Architecture and Assembly Language, Tyler Sondag, Kian L. Pokorny, and Hridesh Rajan

Submissions from 2008

PDF

Visualizing the MPI Programs: Using Continuous Semantic Zooming, Banda KalyanaChakravarthy

PDF

The Methodology for Evaluating Response Cost for Intrusion Response Systems, Christopher Roy Strasburg, Natalia Stakhanova, Samik Basu, and Johnny S. Wong

Submissions from 2007

PDF

Specification Synthesis for Monitoring and Analysis of MANET Protocols, Natalia Stakhanova, Samik Basu, Zhang Wensheng, Xia Wang, and Johnny S. Wong

PDF

Statistical Verification and Validation of an Energy-Balanced Model for Data Transmission in Sensor Networks, Nalin Subramanian and Arka Ghosh

Submissions from 2006

PDF

JML's Rich, Inherited Specifications for Behavioral Subtypes, Gary T. Leavens

PDF

Modeling End-to-End Available Bandwidth, Wanida Putthividhya and Wallapak Tavanapong

PDF

Preserving Separation of Concerns Through Compilation, Hridesh Rajan, Robert Dyer, Youssef Wasfy Hanna, and Harish Narayanappa

PDF

Automated caching of behavioral patterns for efficient run-time, Natalia Stakhanova, Samik Basu, Robyn R. Lutz, and Johnny S. Wong

PDF

A Taxonomy of Intrusion Response Systems, Natalia Stakhanova, Samik Basu, and Johnny S. Wong

PDF

Multi-protocol Attack: A Survey of Current Research, Nalin V. Subramanian and Josh Dehliger

PDF

SCOPE: Synergistic Content Distribution and Peer-to-Peer Networks, Minh Tran and Wallapak Tavanapong

PDF

Streaming in MANET: Proactive Link Protection and Receiver-Oriented Adaptation, Toby Xu and Ying Cai

Submissions from 2005

PDF

A New Survivable Mapping Problem in IP-over-WDM Networks, Chang Liu and Lu Ruan

PDF

Nu: Enabling Modularity in Multilingual, Multienvironment, Distributed Systems, Hridesh Rajan

PDF

Classpects in Practice: A Test of the Unified Aspect Model, Hridesh Rajan and Kevin Sullivan

PDF

Feature Selection in Intrusion Detection System over Mobile Ad-hoc Network, Xia Wang, Tu-liang Lin, and Johnny S. Wong

PDF

Design and Implementation of a Media Uploading System, Mu Zhang, Johnny S. Wong, and Wallapak Tavanapong

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

PDF

Handling Encrypted Email at the Gateway of a Network, Nalin V. Subramanian, Bradley Wagner, and Yousef Khader

Submissions from 2003

PDF

A Video Broadcasting System, Simon Sheu, Wallapak Tavanapong, and Kien Hua

Submissions from 2001

PDF

Geometry and Computation of Antipodal Points on Plane Curves, Yan-Bin Jia

Submissions from 1999

PDF

An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Gary T. Leavens

PDF

Enhancing the Pre- and Postcondition Technique for More Expressive Specifications, Gary T. Leavens and Albert L. Baker

PDF

A Complete Algebraic Characterization of Behavioral Subtyping, Gary T. Leavens and Don Pigozzi

Submissions from 1998

PDF

Class-Based and Algebraic Models of Objects, Gary T. Leavens and Don Pigozzi

Submissions from 1997

PDF

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

PDF

Behavioral Subtyping in Object-Oriented Languages, Krishna Kishore Dhara

PDF

Forcing Behavioral Subtyping Through Specification Inheritance, Krishna Kishore Dhara

PDF

A Bibliography and Index of Our Works on Belief Data: Concept of Error and Multilevel Security, Shashi K. Gadia

PDF

Applicability of Temporal Data Models to Query Multilevel Security Databases: A Case Study, Shashi K. Gadia

PDF

A formal treatment of updates and errors in a relational database, Shashi K. Gadia and Gautam Bhargava

PDF

Algebraic Identities and Query Optimization In a Parametric Model For Relational Temporal Databases, Shashi K. Gadia and Sunil S. Nair

PDF

An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Gary T. Leavens

Submissions from 1996

PDF

Modeling and Simulating Computer Networks Using Formalized Data Flow Diagrams, Michael D. Haverdink, Albert L. Baker, and Armin Mikler

PDF

Polymorphic Type-Checking in Scheme, Steven L. Jenkins and Gary T. Leavens

PDF

Formalized Data Flow Diagrams and Their Relation to Other Computational Models, Jürgen Symanzik and Albert L. Baker

Submissions from 1995

PDF

On Binary Methods, Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce

PDF

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

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 High-Speed Database Query Processing, Chun-Hsien Chen and Vasant Honavar

PDF

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

PDF

Forcing Behavioral Subtyping Through Specification Inheritance, Krishna Kishore Dhara and Gary T. Leavens

PDF

Evaluating Larch/C++ as a Specification Language = A Case Study Using the Microsoft Foundation Class Library, David M. Egle

PDF

Polymorphic Type Inference in Scheme, Steven L. Jenkins and Gary T. Leavens

PDF

Simple Stochastic Temporal Constraint Networks, Vadim Kirillov and Vasant Honavar

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

Type Checking and Modules for Multi-Methods, Craig Chambers 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

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

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

PDF

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

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

Inheritance of Interface Specifications, Gary T. Leavens

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

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

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

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

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