UCLA Computer Science Technical Reports Database



   
Search Page | Main Page
     

Author Name


Title


Date

Evelyn Jane Walton - dissertation The UCLA Security Kernel 1980
Jeffrey N. Kellman Parallel Execution of Functional Programs - Master's Thesis 1983
Gerard P. Michon - dissertation Recursive Random Games: A Probabilistic Model for Perfect Information Games 1984
Joseph Hellerstein Updating Replicated Files in Real Time Disributed Processing Systems 1984
Wesley W. Chu Database Management Algorithms for Advanced BMD Applications 1984
Paolo Roberti - disseration Self Adaptive Mesh in Stress Analysis 1984
Edmundo de Souza e Silva, Mario Gerla Load Balancing in Distributed Systems with Multiple Classes and Site Constraints 1984
Edmundo de Souza e Silva, Steven S. Lavenberg, Richard R. Muntz A Clustering Approximation Technique for Queueing Network Models with a Large Number of Chains 1984
John R. Busch - dissertation Integrated Resource Management Algorithms for Computer Systems 1984
Joseph Betser, Mario Gerla, Gerald Popek A Dual Priority MVA Model for a Large Distributed System: LOCUS 1984
Shun Cheung, Jack W. Carlyle, Walter J. Karplus Distributed Computer Simulation of Data Communication Networks: Project Report 1 1984
John J. Helly, Jr. - dissertation A Distributed Expert System for Space Shuttle Flight Control 1984
Kenneth Ching-Yu Kung - dissertation Concurrency in Parallel Processing Systems 1984
Edmundo de Souza e Silva - dissertation Algorithms for Queueing Network Analysis of Distributed Systems 1984
Eli Gafni, Yehuda Afek, Leonard Kleinrock Fast and Message-Optimal Synchronous Election Algorithm for Complete Networks 1984
Yehuda Afek, Eli Gafni Simple and Efficient Distributed Algorithms for Election in Complete Networks 1984
Martine Schlag Extracting Geometry from FP for VLSI Layout 1984
Pak Kuen Chan - Master's Thesis A Dataflow Multiprocessor: Programming, Simulation and Performance Prediction 1984
Shih-Lien Lu, Master's Thesis A Compiler for A Functional Programming System 1984
Farshad Meshkinpour - Master's Thesis On Specification and Design of Digital Systems Using an Applicative Hardware Description Language 1984
Guang Liang Xiong A Functional Language Machine Based on Queues 1984
Meir D. Burstin - dissertation Requirements Analysis of Large Software Systems 1984
Hanoch Levy - dissertation Non-Uniform Structures and Synchronization Patterns in Shared-Channel Communication Networks 1984
Paulo Henrique de Aguiar Rodrigues - dissertation Access Protocols for High Speed Fiber Optics Local Networks 1984
J. Stanley Warford - dissertation A mathematical model of the growth and distribution of Dendraster excentricus 1984
Robert R. Cuykendall - dissertation Kolmogorov Information and VLSI Lower Bounds 1984
Michael Tarsi, Judea Pearl Algorithmic Reconstruction of Trees 1984
Yoshitaka Shibata - dissertation Pattern Recognition Approach and Array Processing for Distributed Source Identification in Water Pollution Systems 1984
Rina Dechter, Judea Pearl The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation 1984
Ingrid Zukerman, Judea Pearl Listener Model for the Generation of Meta-Technical Utterances in Math Tutoring 1984
Judea Pearl Learning Hidden Causes from Empirical Data 1984
Baron Octavius A. Grey - dissertation FTSS: A Fault-Tolerant Storage System Supporting High Availability and Security in a Distributed Processing Environment 1984
Jin Hyung Kim CONVINCE: A CONVersational INference Consolidation Engine 1984
Rina Dechter, Judea Pearl Generalized Best-First Search Strategies and the Optimality of A* 1984
Erik T. Mueller, Johanna D. Moore, Gerald J. Popek The Design and Implementation of Nested Transactions in Locus 1984
Thomas Wingfield Page, Jr. - Master's Thesis Distributed Query Processing in Local Network Databases 1984
Gerald Popek Secure Reliable Processing Systems: Final Report 1984
Eli Gafni A Note on the Problem of Electing a Leader in a Synchronous Ring 1985
John M. Marberg, Eli Gafni Sorting and Selection in Multi-Channel Broadcast Networks 1985
Yehuda Afek, Eli Gafni Time and Message Bounds for Election in Synchronous and Asynchronous Networks 1985
Daniel M. Berry A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism 1985
Hideaki Takagi, Leonard Kleinrock A Tutorial on the Analysis of Polling Systems 1985
Behrokh Samadi - dissertation Distributed Simulation, Algorithms and Performance Analysis 1985
Norman Dalkey Prior Probabilities Revisited 1985
Eli Gafni, Yehuda Afek Election and Traversal in Unidirectional Networks 1985
Leonard Kleinrock On the Theory of Distributed Processing 1985
Charles P. Dolan - Master's Thesis Memory Based Processing for Cross Contextual Reasoning: Reminding and Analogy using Thematic Structures 1985
Richard P. Hooper - dissertation An Application of Knowledge-Based Systems to Electronic Computer-Aided Engineering, Design, and Manufacturing Data Base Transport 1985
Lance Min-Tsung Lan - dissertation Characterization of Intermodule Communications and Heuristic Task Allocation for Distributed Real-Time Systems 1985
Shun Cheung, Jack W. Carlyle, Walter J. Karplus Distributed Computer Simulation of Data Communication Networks: Project Report 2 1985
Rina Dechter, Judea Pearl A Problem Simplification Approach That Generates Heuristics for Constraint-Satisfaction Problems 1985
John M. Marberg, Eli Gafni An Optimal Shout-Echo Algorithm for Selection in Distributed Sets 1985
Judea Pearl Fusion Propagation and Structuring in Bayesian Networks 1985
Judea Pearl Bayesian Networks: A Model of Self-Activated Memory for Evidential Reasoning 1985
Wesley W. Chu, M. T. Lan, K. K. Leung, J. M. An Database Management Algorithms for Advanced BMD Applications 1985
Miquel Huguet - Master's Thesis A C-Oriented Register Set Design 1985
Judea Pearl A Constraint-Propagation Approach to Probabilistic Reasoning 1985
Judea Pearl Fusion Propagation and Structuring in Bayesian Networks - Revision V 1985
Judea Pearl Bayes Decision Methods 1985
Asya Campbell - master's comprehensive paper Comparison of Dynamically and Statically Scoped LISP 1985
Rina Dechter, Judea Pearl Parallel Algorithms for Multiprocessors Using Broadcast Channel 1985
Milos Ercegovac, Tomas Lang On-the-Fly Conversion of Redundant into Conventional Representations 1985
Abdelfettah Belghith, Leonard Kleinrock Analysis of the Number of Occupied Processors in a Multi-Processing Systems 1985
Alan B. Sheltzer - dissertation Network Transparency in an Internetwork Environment 1985
Judea Pearl, Michael Tarsi Sructuring Causal Trees 1985
Judea Pearl Distributed Belief Maintenance for Reasoning About Likelihood 1985
Judea Pearl How To Do With Probabilities What People Say You Can't 1985
Judea Pearl On Evidential Reasoning in a Hierarchy of Hypothesis 1985
Rina Dechter - dissertation Studies in the Use and Generation of Heuristics 1985
Bruce Abramson An Explanation of and Cure for Minimax Pathology 1985
Jaime Moreno - master's thesis Analysis of Alternatives for a Singular Value Decomposition Processor 1985
Yehuda Afek - dissertation Distributed Algorithms for Election in Unidirectional and Complete Networks 1985
Shun Cheung, Jack W. Carlyle, Walter J. Karplus Distributed Computer Simulation of Data Communication Networks: Project Report 3 1985
Judea Pearl, Azaria Paz GRAPHOIDS: A Graph-based Logic for Reasoning About Relevance Relations 1985
Alexander Eric Quilici - master's thesis Human Problem Understanding and Advice Giving: A Computer Model 1985
Tomas Lang, Miquel Huguet Reduced Register Saving/Restoring in Single-Window Register Files 1985
Kin Kwong Leung - dissertation Task Response Time and Module Assigment for Real-Time Distributed Processing Systems 1985
Lance Min-Tsung Lan - (Dissertation) Characterization of Intermodule Communications and Heuristic Task for Distributed Real-Time Systems 1985
Paolo Atzeni, D. Stott Parker Set Containment Inference 1986
Barbara J. Swain - master's thesis Group Branch Coverage Testing of Multi-Version Software 1986
Ali Makoui - dissertation Software Interface for Multiprocessor Simulation 1986
Ali Makoui Software Interface for Multiprocessor Simulation 1986
Abdelfettah Belghith - dissertation Response Time and Parallelism in Parallel Processing Systems with Certain Synchronization Constraints 1986
Judea Pearl, Thomas Verma Formal Properties of Probabilistic Dependencies and Their Graphical Representations 1986
Judea Pearl Embracing Causality in Default Reasoning 1986
Judea Pearl Evidential Reasoning Using Stochastic Simulation of Causal Models 1986
Rina Dechter, Judea Pearl The Cycle-Cutset Method for Improving Search Performance in AI Applications 1986
Hector Geffner, Judea Pearl Distributed Diagnosis of Systems with Multiple Faults 1986
Judea Pearl Markov and Bayes Networks: A Comparison of Two Graphical Representations of Probabilistic Knowledge 1986
Jose Nagib Cotrim Arabe, Milos D. Ercegovac Symbolic Structural Transformations and Compilation Techniques for FP 1986
Leon Alkalaj, Milos Ercegovac, Tomas Lang A Dynamic Memory Management Policy for FP 1986
Milos D. Ercegovac, Tomas Lang Alternative On-the-Fly Conversion of Redundant Into Conventional Representations 1986
T. M. Ravi, M. D. Ercegovac, T. Lang, R. R. Muntz Static Allocation For A Data Flow Multiprocessor System 1986
Jose Diaulas Palazzo Rolim - dissertation A Complexity Theory Based On Infinitely Often Conditions 1986
Socrates Dimitriadis - dissertation Multiprocessor Simulation of the Dynamics of Space Structures 1986
Milos D. Ercegovac, Tomas Lang On-Line Scheme for Computing Rotation Factors 1986
Beth Helene Levy - dissertation An Approach to Compiler Correctness Using Interpretation Between Theories 1986
Abdelfettah Belghith, Leonard Kleinrock Response Time and Parallelism in Parallel Processing Systems with Certain Synchronization Constraints 1986
John Michael Marberg - dissertation Distributed Algorithms for Multi-Channel Broadcast Networks 1986
Valmir Carneiro Barbosa - dissertation Concurrency in Systems with Neighborhood Constraints 1986
Behzad Zamanzadeh - dissertation A Graphical Simulation System 1986
Jeffrey Schaffer - master's thesis A Database as the Basis of an Operating System 1986
Duane R. Worley - dissertation A Methodology, Specification Language, and Automated Support Environment for Computer-Aided Design Systems 1986
Martine D. F. Schlag - dissertation Layout from a Topological Description 1986
Wesley W. Chu, K. K. Leung, C. M. Sit, R. C. Lee, H. S. Ngai, T. C. Shen, M. A. Merzbacher Distributed Data Base Management for Real-Time BMD Applications 1986
Jose Nagib Cotrim Arabe - dissertation Compiler Considerations and Run-Time Storage Management for a Functional Programming System 1986
David S. Booth - dissertation Multiple Strongly Typed Evaluation Phases: A Programming Language Notion 1986
John M. Marberg, Eli Gafni Sorting in Constant Number of Row and Column Phases on a Mesh 1986
Sergio Alvarado, Michael Dyer, Margot Flowers Editorial Comprehension in OpEd Trough Argument Units 1986
Judea Pearl, Azaria Paz On The Logic of Representing Dependencies By Graphs 1986
Rina Dechter, Avi Dechter Properties of Greedily Optimized Ordering Problems 1986
Rina Dechter Learning While Searching in Constraint-Satisfaction Problems 1986
Pak K. Chan An Extension of Elmore's Delay 1986
Judea Pearl Distributed Diagnosis in Causal Models with Continuous Variables 1986
Dorab Patel, Martine Schlag, Milos Ercegovac vFP: An Environment for the Multi-level Specification, Analysis, and Synthesis of Hardware Algorithms 1986
Koenraad Georgius Lecot - master's thesis Inexact Reasoning In Prolog-Based Expert Systems 1986
John Shelby Worley - master's thesis A Functional Style Description of Digital Systems 1986
Eli Gafni, John Marberg Distributed Sorting Algorithms for Multi-Channel Broadcast Networks, revised Nov. 1986 1986
Pak K. Chan An Extension of Elmore's Delay and Its Application for Timing Analysis of MOS Pass Transistor Networks 1986
Ching-Tsun Chou - master's thesis Relaxation Processes: Theory, Case Studies and Applications 1986
Kam Pui Chow - dissertation Relaxation Problem Solving (with application to Chinese Input Problem) 1986
T. M. Ravi, M. D. Ercegovac Allocation for the SANDAC Multiprocessor System 1986
Carol H. LeDoux - dissertation A Knowledge-Based System For Debugging Concurrent Software 1986
Surapol Pungsornruk A Threaded FP Interpreter/Compiler 1986
Judea Pearl On the Logic of Probabilistic Dependencies 1986
Thirumalai Muppur Ravi - master's thesis Partitioning and Allocation of Functional Programs for Data Flow Processors 1986
Leon Alkalaj - master's thesis A Uniprocessor Implementation Of FP Functional Language 1986
Pak K. Chan Waveform Bounds for Linear RC Mesh Circuits with Leakage Paths to the Ground 1986
Milos D. Ercegovac Multiprocessor System Evaluation and Programming Environment - final report 1986
Hak-Wai Chan - dissertation Routing, Flow Control and Fairness in Computer Networks 1986
Charlie Dolan, Michael G. Dyer The World's Shortest Prolog Compiler 1986
Sergio J. Alvarado, Michael G. Dyer, Margot Flowers Understanding Editorials: The Process of Reasoning Comprehension 1986
Walter Read, Michael G. Dyer TLOG -- Yet Another Logic System in Lisp? 1986
Charlie Dolan, Michael G. Dyer Learning Planning Heuristics Through Observation 1986
Seth R. Goldman, Michael G. Dyer, Margot Flowers Precedent-based Legal Reasoning in Contract Law 1986
Stephanie E. August, Michael G. Dyer Analogy Recognition and Comprehension in Editorials 1986
Charlie Dolan, Michael G. Dyer Encoding Planning Knowledge for Recognition, Construction, and Learning 1986
John F. Reeves, Michael G. Dyer Recognizing and Representing Situational Ironies 1986
Uri Zernik, Michael G. Dyer Failure-Driven Acquisition of Figurative Phrases By Second Language Speakers 1986
Erik T. Mueller, Michael G. Dyer Towards a Computational Theory of Human Daydreaming 1986
Scott R. Turner, Michael G. Dyer Thematic Knowledge, Episodic Memory and Analogy in MINSTREL, a Story Invention System 1986
Michael G. Dyer, Uri Zernik Parsing Paradigms and Language Learning 1986
Michael J. Pazzani Explanation and Generalization Based Memory 1986
Sergio J. Alvarado, Michael G. Dyer, Margot Flowers Memory Representation and Retrieval for Editorial Comprehension 1986
Michael Gasser Second Language Production: Coping With Gaps in Linguistic Knowledge 1986
Erik T. Mueller, Michael G. Dyer Daydreaming in Humans and Computers 1986
Richard G. Feifer, Michael G. Dyer, Margot Flowers Teaching Inferencing Strategies 1986
Alexander E. Quilici, Michael G. Dyer, Margot Flowers Understanding and Advice Giving in AQUA 1986
Michael G. Dyer, Margot Flowers, Jack Hodges EDISON: An Engineering Design Invention System Operating Naively 1986
Michael Gasser, Michael G. Dyer Speak of the Devil: Representing Deitic and Speech Act Knowledge in an Integrated Lexical Memory 1986
Mark Joseph Bennett - dissertation Proving Correctness of Asynchronos Circuits Using Temporal Logic 1986
Rik Achiel Verstraete - dissertation Assignment of Functional Responsibility in Perceptrons 1986
Uri Zernik, Michael G. Dyer Encoding and Acquiring Meanings for Figurative Phrases 1986
Uri Zernik, Michael G. Dyer Disambiguation and Language Acquisition through the Phrasal Lexicon 1986
Tony Ramon Martinez - dissertation Adaptive Self-Organizing Logic Networks 1986
Dean M. Tullsen - master's thesis A Very Large Scale Integration Implementation of an On-line Arithmetic Unit 1986
Igor Roizen, Judea Pearl Learning Link-Probabilities in Causal Trees 1986
Ingrid Zukerman, Judea Pearl Comprehension-Driven Generation of Meta-Technical Utterances in Math Tutoring 1986
Ingrid Zukerman - dissertation Computer Generation of Meta-Technical Utterances in Tutoring Mathematics 1986
Javiar Andres Pinto - master's thesis Relevance Based Propagation in Beyesian Networks 1986
Judea Pearl Jeffrey's Rule and the Problem of Autonomous Inference Agents 1986
Eduardo Aaron Krell - dissertation System Architect's Apprentice (SARA) as the Foundation for a Methodology-Oriented Ada® Programming Support Environment 1987
John M. Marberg, Eli Gafni An O(n2m1/2) Distributed Max-Flow Algorithm 1987
Abdelfettah Belghith, Leonard Kleinrock Analysis of the Number of Occupied Processors in a Multi-Processing System 1987
Judea Pearl, Thomas Verma The Logic of Representing Dependencies by Directed Graphs 1987
Moshe Ben-Bassat Taxonomy, Structure and Implementation of Evidential Reasoning Models 1987
Avi Dechter, Rina Dechter Removing Redundancies in Constraint Networks 1987
Avi Dechter, Rina Dechter Minimal Constraint Graphs 1987
Rik A. Verstraete, Jacques J. Vidal Decomposition of Boolean Functions on a Network of Polyfunctional Nodes 1987
Rina Dechter A Constraint-Network Approach to Truth-Maintenance 1987
Rina Dechter An Integrated Strategy for Improved Backtrack 1987
Rina Dechter Decomposing an N-Ary Relation Into a Tree of Binary Relations 1987
Hector Geffner, Judea Pearl An Improved Constraint-Propagation Algorithm for Diagnosis 1987
Kam Sing Tso - dissertation Error Recovery in Multi-Version Software 1987
Gabriela Adler, Jacques J. Vidal Top-Down Functional Decomposition in Digital Perceptrons 1987
Milos D. Ercegovac, Tomas Lang Simple Radix-4 Division with Divisor Scaling 1987
Arthur Paul Goldberg Object-Oriented Simulation of Pool Ball Motion 1987
Arthur Paul Goldberg - master's thesis Object-Oriented Simulation of Pool Ball Motion 1987
Erik T. Mueller - dissertation Daydreaming and Computation: A Computer Model of Everyday Creativity, Learning, and Emotions in the Human Stream of Thought 1987
Ronald A. Sumida, Michael G. Dyer, Margot Flowers Handling Conceptual and Structural Ambiguities in Direct Memory Parsing 1987
Jaime H. Moreno A Proposal for the Systematic Design of Arrays for Matrix Computations 1987
Kris Kiyoko Takata - master's thesis Indx, A Semi-Automatic Indexing Program 1987
Pak K. Chan Bounds on Inverse of the Node Conductance Matrix 1987
Algirdas Avizenis, David A. Rennels The Evolution of Fault Tolerant Computing at the Jet Propulsion Laboratory and at UCLA: 1960 - 1986 1987
Edmundo de Souza e Silva Distribution Analysis of Product Form Queueing Networks 1987
David A. Rennels Fault-Tolerant Computing: Issues, Examples, and Methodology 1987
Edmundo de Souza e Silva, Richard R. Muntz A Note on the Computational Cost of the Linearizer Algorithm for Queueing Networks 1987
Stephanie Jo Cmmarata An Object-Oriented Data Model for Managing Computer-Aided Design and Computer-Aided Manufacturing Data Bases 1987
Stephanie Jo Cammarata - dissertation An Object-Oriented Data Model for Managing Computer-Aided Design and Computer-Aided Manufacturing Data Bases 1987
Sanjai Narain LOG(F): A New Scheme for Integrating Rewrite Rules, Logic Programming and Lazy Evaluation 1987
Steven Hennick Kelem - dissertation Syntesis of Custom Integrated Circuits From a High-Level Behavioral Description 1987
Algirdas Avizenis, Michael R. T. Lyu, Werner Schutz, Kam-Sing Tso, Udo Voges DEDIX 87 - A Supervisory System for Design Diversity Experiments at UCLA 1987
Steven Berson, Edmundo de Souza e Silva, Richard R. Muntz An Object-Oriented Methodology for the Specification of Markov Models 1987
George Rebane, Judea Pearl The Recovery of Causal-Trees from Statistical Data 1987
Thomas Verma Causal Networks: Semantics and Expressiveness 1987
Hector Geffner, Judea Pearl On The Probabilistic Semantics of Connectionist Networks 1987
Norman C. Dalkey The Inductive Logic of Information Systems 1987
Lei Xu, Judea Pearl Structuring Causal Tree Models with Continuous Variables 1987
Judea Pearl Do We Need Higher Order Probabilities and, If So, What Do They Mean? 1987
Rina Dechter, Judea Pearl Network-Based Heuristics For Constraint-Satisfaction Problems 1987
Alex Kapelnikov, Richard R. Muntz, Milos D. Ercegovac A Modeling Methodology for the Analysis of Concurrent Systems and Computations 1987
Shun Cheung - dissertation Distributed Computer Simulation of a Data Communication Network 1987
Jaime H. Moreno, Tomás Lang Removing Algorithm Irregularities in the Design of Arrays for Matrix Computations 1987
Quoc Tuan Pham - master's thesis Parallel Algorithms and Architectures for Binary Image Component Labeling 1987
David Jefferson, Brian Beckman, Fred Wieland, Leo Blume, Mike DiLoreto, Phil Hontalas, Pierre Laroche, Kathy Sturdevant, Jack Tupman, Van Warren, John Wedel, Herb Younger, Steve Bellenot Distributed Simulation and the Time Warp Operating System 1987
Miloš D. Ercegovac, Tomas Lang On-Line Schemes for Computing Rotation Angles for SVDs 1987
Barry Boehm, Rony Ross Theory-W Software Project Management: A Case Study 1987
Miloš D. Ercegovac, Tomas Lang Fast Triangularization By Givens Rotation Using On-Line CORDIC 1987
Miloš D. Ercegovac, Tomas Lang Redundant and On-line CORDIC: Application to Matrix Triangularization and SVD 1987
Miloš D. Ercegovac, Tomas Lang Fast Multiplication Without Carry Propagate Addition 1987
Dan Geiger The Non-Axiomatizability of Dependencies in Directed Acyclic Graphs 1987
Rina Dechter, Judea Pearl The Optimality of A* 1987
Norman C. Dalkey Models vs. Inductive Inference for Dealing With Probabilistic Knowledge 1987
Judea Pearl An Inquiry Into Computer Understanding 1987
Judea Pearl Probabilistic Semantics for Inheritance Hierarchies With Exceptions 1987
Judea Pearl Deciding Consistency In Inheritance Networks 1987
Rina Dechter, Judea Pearl Tree Clustering Schemes For Constraint Processing 1987
Azaria Paz A Full Characterization of Pseudographoids In Terms of Families of Undirected Graphs 1987
Dan Geiger A Complete Axiomatization of Some Dependencies In Probabilistic Models 1987
N. C. Dalkey A Logic of Information Systems 1987
Hector Geffner, Judea Pearl Sound Defeasible Inference 1987
Wesley W. Chu, M. T. Lan, K. K. Leung, R. C. Lee, M. A. Merzbacher, C. M. Sit Distributed Data Base Management for Real-Time BMD Applications, Final Report for May 1986 to Sept. 1987 1987
Algirdas Avižienis, Michael R. Lyu, Werner Schütz In Search of Effective Diversity: A Six-Language Study of Fault-Tolerant Flight Control Software 1987
Alexander Kapelnikov - dissertation Analytic Modeling Methodology for Evaluating the Performance of Distributed, Multiple-Computer Systems 1987
Rajive Bagrodia Process Synchronization: Design and Performance Evaluation of Distributed Algorithms 1987
Judea Pearl Polya's "Patterns of Plausible Inference" and The Quest For Modularity 1987
Rina Dechter, Judea Pearl Tree-Clustering Schemes for Constraint-Processing 1987
Hector Geffner, Judea Pearl A Sound Framework for Reasoning With Defaults 1987
D. Stott Parker Partial Order Programming 1987
Judea Pearl A Probabilistic Treatment of The Yale Shooting Problem 1987
Edmundo de Souza e Silva, Mario Gerla Queueing Network Models for Load Balancing in Distributed Systems 1987
Uri Zernik - dissertation Strategies in Language Acquistions: Learning Phrases from Examples in Context 1987
Tomas Lang, Lance Kurisaki Nonuniform Traffic Spots (NUTS) in Multistage Interconnection Networks 1988
Alex Quilici, Michael G. Dyer, Margot Flowers Recognizing and Responding to Plan-Oriented Misconceptions 1988
Yuval Tamir, Gregory L. Frazier High-Performance Multi-Queue Buffers for VLSI Communication Switches 1988
Yuval Tamir, Marc Tremblay, David A. Rennels The Implementation and Application of Micro Rollbacks in Fault-Tolerant VLSI Systems 1988
Yuval Tamir, Tiffany Gaber Application-Transparent Process-Level Recovery for Multicomputers 1988
Jack Hodges, Margot Flowers, Michael Dyer Knowledge Representation for Design Creativity 1988
Leon Alkalaj, Ehud Shapiro An Architectural Model for a Flat Concurrent Prolog Processor 1988
Daniel R. Greening, Miloš D. Ercegovac Identifying and Selecting Sequential Threads in Data Flow Programs 1988
Daniel R. Greening - master's thesis Modeling Granularity in Data Flow Programs 1988
Charles P. Dolan, Michael G. Dyer Parallel Retrieval and Application of Conceptual Knowledge 1988
Xinming Lin, Tony F. Chan, Walter J. Karplus The Fast Hartley Transform On The Hypercube Multiprocessors 1988
Dorothy Miller Landis - dissertation CADIS: A Kernel Approach Toward the Development of Intelligent Data Management Support of Computer Aided Design Systems 1988
Jaime H. Moreno, Tomás Lang Designing Arrays for the Faddeev Algorithm 1988
Jaime H. Moreno, Tomás Lang Reducing the Number of Cells in Arrays for Matrix Computations 1988
Jaime H. Moreno, Tomás Lang Graph-Based Partitioning of Matrix Algorithms for Systolic Arrays 1988
Eve M. Schooler, Robert E. Felderman, Leonard Kleinrock The Benevolent Bandit Laboratory: A Testbed for Distributed Algorithms using PCs on an Ethernet 1988
Eve M. Schooler, Robert E. Felderman The Benevolent Bandit Laboratory User Manual for Software Version 3.0 1988
Richard A. Huntsinger On Constraint-Oriented Environments for Continuous Systems Simulation 1988
Kar-Wing Edward Lor - dissertation An Assistant for Requirement-Driven System Design 1988
Richard A. Huntsinger Represetation Transformation in Constraint Satisfaction Systems 1988
Joseph Bannister Product Form Queueing Networks: State Dependence Revisited 1988
Paolo Atzeni, D. Stott Parker Set Containment Inference and Syllogisms 1988
Traci Ann Wheeler - master's thesis Unification and Predicate Locking 1988
D. Stott Parker, Thomas W. Page, Jr., Richard Muntz Improving Clause Access in Prolog 1988
D. Stott Parker, Richard Muntz, Lewis Chau The Tangram Stream Query Processing System 1988
Michael G. Dyer, Margot Flowers, Yih-Jih Alan Wang Weight Matrix = Pattern of Activation 1988
Valeriy I. Nenov, Michael G. Dyer DETE: Connectionist / Symbolic Model of Visual and Verbal Association 1988
Daniel R. Greening, Alan D. Wexelblat Experiences with Cooperative Moderation of a Usenet Newsgroup 1988
Gabriel Robins On Style, Expressibility, and Efficiency in Functional Programming Languages 1988
Miquel Huguet Architectural and Compiler Support for Efficient Function Calls: A Proposal 1988
D. Stott Parker, R. R. Muntz A Theory of Directed Logic Programs and Streams 1988
R. R. Muntz, D. Stott Parker Tangram: Project Overview 1988
Leonard Kleinrock Performance Evaluation of Distributed Computer-Communication Systems 1988
Algirdas Avižienis, Michael R. Lyu, Werner Schütz Multi-Version Software Development: A UCLA/Honeywell Joint Project for Fault-Tolerant Flight Control Software 1988
Leon Alkalaj A Proposal for the Flat Concurrent Prolog Processor Architecture 1988
John F. Reeves Ethical Understanding: Recognizing and Using Belief Conflict in Narrative Processing 1988
Michael Gasser, Michael G. Dyer Sequencing in a Connectionist Model of Language Processing 1988
Michael John Pazzani - dissertation Learning causal relationships: An integration of empirical and explanation-based learning methods 1988
Risto Miikkulainen, Michael G. Dyer Forming Global Representations with Extended Backpropagation 1988
Sanjai Narain - dissertation LOG(F): An optimal combination of logic programming, rewriting, and lazy evaluation 1988
Rajko Tomovic, George A. Bekey, Walter J. Karplus The Heuristics of Motor Skills 1988
Walter Read, Alex Quilici, John Reeves, Michael Dyer, Eva Baker Evaluating Natural Language Systems: A Sourcebook Approach 1988
Scott B. Wilson - master's thesis Decision Tree Generation from Examples and Tendency Rules 1988
Ronald A. Sumida, Michael G. Dyer, Margot Flowers Integrating Marker Passing and Connectionism for Handling Conceptual and Structural Ambiguities 1988
Bijan Arbab - dissertation A Formal Language for Representation of and Reasoning about Indirect Context 1988
H. Lewis Chau, D. Stott Parker Executable Temporal Specifications with Functional Grammars 1988
Mark Kenneth Joseph - dissertation Architectural Issues in Fault-Tolerant, Secure Computing Systems 1988
Jaime H. Moreno, Tomás Lang Comments To "A Systolic Array for Computing BA⁻¹ 1988
Jaime H. Moreno, Tomás Lang Comments To "A Systolic Array for Computing BA⁻1 1988
Michael E. Gasser - dissertation A Connectionist Model of Sentence Generation in a First and Second Language 1988
Gabriel Robins Signal Constellation Design Tool: A Case Study in User Interface Synthesis 1988
Thomas Verma, Judea Pearl Influence Diagrams and D-Separation 1988
Dan Geiger Towards the Formalization of Informational Dependencies 1988
Judea Pearl Non-Bayesian Formalisms for Managing Uncertainty 1988
Judea Pearl Evidential Reasoning Under Uncertainty 1988
Rina Dechter, Avi Dechter Belief Maintenance in Dynamic Constraint Networks 1988
Rina Dechter, Avi Dechter, Judea Pearl Optimization in Constraint Networks 1988
Rina Dechter A Distributed Algorithm for ATMs 1988
Hector Geffner On The Logic of Defaults 1988
Dan Geiger, Judea Pearl On The Logic of Influence Diagrams 1988
Eli Gafni, Gabriel Robins A Potential-Based Proof for a Certain Pebbling Game and Its Generalization 1988
Gabriel Robins Teaching Theoretical Computer Science at the Undergraduate Level: Experiences, Observations, and Proposals to Improve the Status Quo 1988
Gabriel Robins An Interactive Gate-Level Simulator of a Classical Von Neumann Architecture, as an Educational Aid for Introducing Novices to the Fundamentals of Computer Organization 1988
Jaime H. Moreno, Tomás Lang Arrays for Partitioned Matix Algorithms: Tradeoffs Between Cell Storage and Cell Bandwidth 1988
Miquel Huguet, Tomás Lang Reduced Register Saving/Restoring for Small Register Files 1988
Chung-Dak Shum, Richard Muntz Implicit Representation for Extensional Answers 1988
Chung-Dak Shum, Richard Muntz An Information-Theoretic Study on Aggregate Responses 1988
Ramin Modiri, Tomás Lang Alternative Implementations of a Radix-4 Divider with Scaling 1988
R. R. Muntz, E. de Souza e Silva, A. Goyal Bounding Availability of Repairable Computer Systems 1988
Joseh Betser, Alberto Avritzer, Jack W. Carlyle, Walter J. Karplus Performance Modeling and Analysis for a Large Heterogeneous Distributed System: UCLA-SEASnet 1988
Joseh Betser, Alberto Avritzer, Jack W. Carlyle, Walter J. Karplus Configuration Synthesis for a Heterogeneous Backbone Cluster and a PC-Interface Network 1988
Michael G. Dyer Symbolic Neuroengineering for Natural Language Processing: A Multilevel Research Approach 1988
Michael Rung-Tsong Lyu - dissertation A Design Paradigm for Multi-Version Software 1988
Charles Tong The Preconditioned Conjugate Gradient Method on the Connection Machine 1988
Werner Schuetz - master's thesis Diversity in N-Version Software: An Analysis of Six Programs 1988
Ted Kim XWIP Reference Manual Version 0.4, The Ogive Edition 1988
Brian K. Livezey, Richard R. Muntz Aspen: A Stream Processing Environment 1988
Leonard Kleinrock Performance Evaluation of Distributed Computer-Communication Systems 1988
Jau-Hsiung Huang - dissertation On the Behavior of Algorithms in a Multiprocessing Environment 1988
D. Stott Parker Partial Order Programming: Extended Abstract 1988
Joseph Jacob Green - dissertation Load Balancing Algorithms in a Distributed Processing Environment 1988
Rajive Bagrodia Synchronization of Asynchronous Processes in CSP 1988
Rajive Bagrodia A Performance-Oriented Approach to the Design of Distributed Systems 1988
Joseph Betser - dissertation Performance Evaluation and Prediction for Large Heterogeneous Distributed Systems 1988
Sanjai Narain Optimization by Non-Deterministic, Lazy Rewriting 1988
Rina Dechter, Judea Pearl Constraint-Directed Approach to Diagnosis 1988
Judea Pearl On Probability Intervals 1988
Azaria Paz Membership Algorithm for Marginal Independencies 1988
Azaria Paz, Robert Schulhoff Closure Algorithms and Decision Problems for Graphoids Generated by Two Undirected Graphs - Abridged Version 1988
H. Lewis Chau, D. Stott Parker Functional Logic Grammar: A New Scheme for Language Analysis 1988
Yuval Tamir, Gregory L. Frazier Support for High-Priority Traffic in VLSI Communication Switches 1988
Marc Tremblay, Yuval Tamir Fault-Tolerance for High-Performance Multi-Module VLSI Systems Using Micro Rollback 1988
Ann Tsu-Ann Tai - master's thesis A Study of the Application of Formal Specification Methods for Fault-Tolerant Software 1988
Lance Kurisaki, Tomás Lang Multistage Networks with Traffic with Real-Time Constraints 1988
Brian Kevin Livezey - master's thesis The Aspen Distributed Stream Processing Environment 1988
Risto Miikkulainen, Michael G. Dyer Encoding Input/Output Representations In Connectionist Cognitive Systems 1988
Miloš D. Ercegovac, Tomás Lang Binary Counter with Counting Period of One Half Adder Independent of Counter Size 1988
Jau-Hsiung Huang, Leonard Kleinrock Dynamic Sharing of Processors in Parallel Processing Systems: A Performance Evaluation 1988
Leonard Kleinrock, Jau-Hsiung Huang On Parallel Processing Systems: Amdahl's Law Generalized and Some Results on Optimal Design 1988
Charles P. Dolan, Paul Smolensky Implementing a Connectionist Production System Using Tensor Products 1988
Rusti Baker Simulation Interface for the Benevolent Bandit Laboratory 1989
Trent E. Lange, Michael G. Dyer Dyamic, Non-Local Role Bindings and Inferencing In A Localist Network for Natural Language Understanding 1989
Richard R. Muntz, D. Stott Parker, Gerald J. Popek The Tangram Project: Publications 1987 - 88 1989
D. Stott Parker Stream Data Analysis in Prolog 1989
D. Stott Parker Stream Processing: An Effective Way to Integrate AI and DBMS 1989
Joseph C. Pemberton - master's thesis A Comparison of Continuous and Discrete Learning Through a Geometric Representation 1989
Chung-Dak Shum, Richard Muntz Statistical Rules: A Notion of Database Abstract and Its Role in Query Processing 1989
Scott E. Spetka, Gerald J. Popek 3-Way Hash Join Query Processing in Distributed Relational Database Systems 1989
Marc Tremblay, Yuval Tamir Support for Fault Tolerance in VLSI Processors 1989
Risto Miikkulainen, Michael G. Dyer A Modular Neural Network Architecture for Sequential Paraphrasing of Script-Based Stories 1989
Farid Mehovic - dissertation Performance Modeling of Concurrency Control 1989
Thomas W. Page, Jr., Steven Berson, William Cheng, Richard R. Muntz An Object-Oriented Modeling Environment 1989
Miloš D. Ercegovac, Tomás Lang Radix-4 Square Root Without Initial PLA 1989
H. Lewis Chau, D. Stott Parker Narrowing Grammar 1989
Stephen George Faris - master's thesis A Very Large Scale Integration Design of an Online Algorithm for the Computation of Rotation Factors 1989
Stephen George Faris Detailed Design Specification: A Very Large Scale Integration Design of an Online Algorithm for the Computation of Rotation Factors 1989
Stephen George Faris ESIM and Spice Simulation Results: A Very Large Scale Integration Design of an Online Algorithm for the Computation of Rotation Factors 1989
Leon Alkalaj Flat Concurrent Prolog Sequential Abstract Machine Characteristics 1989
H. Lewis Chau Narrowing Grammar: A Comparison With Other Logic Grammars 1989
Brett D. Fleisch, Gerald J. Popek Mirage: A Coherent Distributed Shared Memory Design 1989
Eugene Paik Functional Logic Programming (FLOP) 1989
Joseph A. Bannister, Mario Gerla Design of the Wavelength-Division Optical Network 1989
Winthrop John Wu FLAG: An FP Based VLSI Layout Generator 1989
T. Y. Cliff Leung, Richard R. Muntz Query Processing for Temporal Databases 1989
Trent E. Lange, Michael G. Dyer Frame Selection in a Connectionist Model of High-Level Inferencing 1989
Boris Y. Kogan, Walter J. Karplus, Alex T. Pang Simulation of Nonlinear Distributed Parameter Systems on the Connection Machine 1989
Ron-Chung Hu, Richard R. Muntz Removing Skew Effect in Join Operation on Parallel Processors 1989
Dan Geiger, Thomas Verma, Judea Pearl Identifying Independence in Bayesian Networks 1989
Jeffrey Raymond Horowitz Relationships in a Heterogeneous Distributed Database Environment 1989
Charles Patrick Dolan - dissertation Tensor Manipulation Networks: Connectionist and Symbolic Approaches to Comprehension, Learning, and Planning 1989
Dan Geiger, Azaria Paz, Judea Pearl Axioms and Algorithms for Inferences Involving Probabilistic Independence 1989
Rina Dechter, Judea Pearl Constraint-Based Belief Maintenance and Its Application to Diagnosis 1989
Rina Dechter, Itay Meiri Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems 1989
Moises Goldszmidt, Judea Pearl Deciding Consistency of Databases Containing Defeasible and Strict Information 1989
Dan Geiger, Judea Pearl Logical and Algorithmic Properties of Independence and Their Application to Bayesian Networks 1989
Judea Pearl Locality-Bounded Rationality 1989
Judea Pearl Locality-Bounded Rationality 1989
Hector Geffner Default Reasoning, Minimality and Coherence 1989
Judea Pearl Probabilistic Semantics for Nomonotonic Reasoning: A Survey 1989
Hector Geffner, Tom Verma Inheritance=Chaining + Defeat 1989
Dan Geiger, Thomas Verma, Judea Pearl d-Separation: From Theorems to Algorithms 1989
Joseph C. Pemberton, Jacques J. Vidal The Effect of Training Signal Errors on Node Learning 1989
Xinming Lin, Walter J. Karplus Logic Programming for Numerical Computation 1989
Richard R. Muntz, John C. S. Lui Evaluating Bounds on Steady State Availability from Markov Models of Repairable Systems 1989
Jeong-A Lee, Tomás Lang Floating-Point Implementation of Redundant Cordic for QR Decomposition 1989
Sergio José Alvarado - dissertation Understanding Editorial Text: A Computer Model of Argument Comprehension 1989
Jaime H. Moreno - dissertation Matrix Computations on Mesh Arrays 1989
Leon Alkalaj Architectural Support for Concurrent Logic Programming Languages 1989
Thirumalai Muppur Ravi - dissertation Routing Messages to Migrating Processes in Large Distributed Systems 1989
Daniel R. Greening A Taxonomy of Parallel Simulated Annealing Techniques 1989
Daniel R. Greening A Taxonomy of Parallel Simulated Annealing Techniques 1989
Miquel Huguet - dissertation Architectural and Compiler Support for Efficient Function Calls 1989
Edmundo de Souza e Silva, Richard R. Muntz Queueing Networks: Solutions and Applications 1989
John F. Reeves Computing Value Judgments During Story Understanding 1989
William C. Cheng, Richard R. Muntz Optimal Routing for Closed Queueing Networks 1989
Thomas Wingfield Page, Jr. - dissertation An Object-Oriented Logic Programming Environment for Modeling 1989
Thomas Wingfield Page, Jr. - dissertation An Object-Oriented Logic Programming Environment for Modeling 1989
Hau-Ming Lewis Chau - dissertation Narrowing Grammar: A Lazy Functional Logic Formalism for Language Analysis 1989
Willard Robert Karfhage - dissertation Distributed Systems and Transient Processors 1989
Risto Miikkulainen Script Recognition with Hierarchical Feature Maps 1989
Yih-Kuen Tsay, Rajive L. Bagrodia Some Impossibility Results in Interprocess Synchronization 1989
David Jefferson Virtual Time II: The Cancelback Protocol for Storage Management in Time Warp 1989
Geunbae Lee, Margot Flowers, Michael G. Dyer Learning Distributed Representations of Conceptual Knowledge 1989
Trent E. Lange, Jacques J. Vidal, Michael G. Dyer Artificial Neural Oscillators for Inferencing 1989
Trent E. Lange, Michael Dyer High-Level Inferencing in a Connectionist Network 1989
John F. Reeves The Rhapsody Phrasal Parser and Generator 1989
Hector A. Geffner Default Reasoning: Causal and Conditional Theories 1989
Richard R. Muntz, John C. S. Lui Computing Bounds on the Steady State Availability of Repairable Computer Systems 1989
Josef Skrzypek Lightness Constancy Architecture - Theory and Simulation 1989
Edmond Mesrobian, Josef Skrzypek A Neural Architecture for Textural Segmentation 1989
Trent E. Lange, Jack B. Hodges, Maria E. Fuenmayor, Leonid V. Belyaev DESCARTES: Development Environment for Simulating Hybrid Connectionist Architectures 1989
Jack Hodges Device Representation for Modeling Improvisation in Mechanical Use Situations 1989
Josef Skrzypek Neural Specification of a General Purpose Vision System 1989
Richard J. Gleeson, Josef Skrzypek Boundaries as Unpredictable Discontinuities 1989
Josef Skrzypek Neural network contribution to light adaptation: feedback from horizontal cells to cones. 1989
Josef Skrzypek, Jeff Hoffman Visual Recognition of Script Characters Neural Network Architectures 1989
Eugene Paik, Josef Skrzypek UCLA SFINX - Neural Netwok Simulation Environment 1989
Ronald A. Sumida, Michael G. Dyer Storing and Generalizing Multiple Instances while Maintaining Knowledge-Level Parallelism 1989
Risto Miikkulainen, Micheal Dyer Natural Language Processing with Modular Neural Networks and Distributed Lexicon 1990
Dan Geiger Graphoids:A Qualitative Framework for Probabilistic Inference 1990
Thomas Lang, Lance Kurisaki The Performance of a Faulty Multistage Interconnection Network with Diverting Switches and Bypass Links 1990
Richard R. Muntz, John C.S. Lui Performance Analysis of Disk Arrays Under Failure 1990
Wesley W. Chu, Andy Y. Hwang, Qiming Chen, Rei-Chi Lee An Inference Technique for Distributed Query Processing in a Partitioned Network 1990
Wesley W. Chu, Rei-Chi Lee Using Type Inference and Induced Rules to Provide Intensional Answers 1990
Joseph Anthony Bannister The Wavelength-Division Optical Network: Architectures, Topologies, and Protocols 1990
Frank Schaffa, Mario Gerla Networking on VLSI 1990
Thomas W. Page, Jr., Gerald J. Popek, Richard G. Guy, John S. Heidemann The Ficus Distributed File System: Replication via Stackable Layers 1990
Richard G. Guy, Gerald J. Popek Reconciling Partially Replicated Name Spaces 1990
Risto Miikkulainen A Neural Network Model of Script Processing and Memory 1990
Risto Miikkulainen A Distributed Feature Map Model of the Lexicon 1990
Wesley W. Chu, Rei-Chi Lee, Kuorong Chiang Capture Database Semantics By Rule Induction 1990
Andrew Kahng, Gabriel Robins On a New Class of Iterative Steiner Tree Heuristics with Good Performance 1990
Andrew Kahng, Gabriel Robins On Performance Bounds for Two Rectilinear Steiner Tree Heuristics in Arbitrary Dimension 1990
Boris Y Kogan, et al The Simplified Fitzhugh-Nagumo Model with Slow Recovery Properties and 2-D Wave Propagation 1990
Michael Stiber, Josef Skrzypek An Architecture for Visual Direction Constancy: Towards Shape from Motion 1990
Jose Augusto Suruagy Monteiro Bandwidth Allocation in Broadband Integrated Services Digital Networks 1990
Frank Andre Schaffa Communications on VLSI 1990
Fernando Vicuna Semantic Formalization in Mathematical Modeling Languages 1990
Rajive L. Bagrodia, Yih-Kuen Tsay An Efficient Algorithm for Fair Interprocess Synchronization 1990
R.L. Bagrodia, S. Mathur Efficient Implementation of High-Level Parallel Program 1990
Alberto Avritzer Alberto Avritzer 1990
Yuval Tamir, G. Janakiraman Multi-Level Coherency Management for High-Performance Shared Virtual Memory Multicomputers 1990
Risto Pekka Miikkulainen Discern: A Distributed Artificial Neural Network Model of Script Processing and Memory 1990
Yuval Tamir, Yoshio F. Turner High-Performance Adaptive Routing in Multicomputers Using Dynamic Virtual Circuits 1990
Rajive L. Bagrodia, Chien-Chung Shen Midas: Integrated Design and Stimulation of Distributed Systems 1990
Yuval Tamir, Hsin-Chou Chi Symmetric Crossbar Arbiters for VLSI Communication Switches 1990
Algirdas Avizienis, Chi-Sharn Wu A Comparative Assessement of System Description Methodologies and Formal Specification Language 1990
Dorab Ratan Patel An Applicative Language Framework for Hardware Synthesis 1990
Wesley W. Chu, Qiming Chen, Rei-Chi Lee Cooperative Query Answering via Type Abstraction Hierarchy 1990
Xinming Allen Lin Boltzmann: An Object-Oriented Particle Simulation Programming System 1990
Leana Golubchik, Gary D. Rozenblat, William C. Cheng, Richard R. Muntz The Tangram Modeling Environment 1990
Trent E. Lange Lexical and Pragmatic Disambiguation and Reinterpretation in Connectionist Networks 1990
Seth R. Goldman Towards a Computational Model of Concept Acquisition and Modification Using Cases and Precedents from Contract Law 1990
Michael G. Dyer Symbol Processing, Connectionism and Artificial Neural Networks for High-Level Cognitive Tasks: Natural Language Research at the UCLA Artificial Intelligence Laboratory 1990
Gregory M. Werner, Michael G. Dyer Evolution of Communication in Artificial Organisms 1990
Richard Gordon Feifer An Intelligent Tutoring System for Graphic Mapping Strategies 1990
Yuval Tamir, Mike Liang, Titus Lai, Marc Tremblay The UCLA Mirror Processor: A Building Block for Self-Checking Self-Repairing Computing Nodes 1990
Trent E. Lange Simulation of Heterogeneous Neural Networks on Serial and Parallel Machines 1990
Mike Teh-An Liang Micro Rollback on a VLSI RISC: Design and Implementation of the UCLA Mirror Processor 1990
W.W. Chu, I.T. Leong A Transaction-Based Approach to Vertical Partitioning for Relational Databases 1990
John S. Heidemann, Gerald J. Popek An Extensible, Stackable Interface for File System Development 1990
Gabriel Robins, Andrew Kahng An Optimal Algorithm for Computing All Regular Linear Degeneracies of Pointsets in E 1990
Andrew Kahng, Jason Cong, Gabriel Robins High-Performance Clock Routing Based on Recursive Geometric Matching 1990
David Jefferson, Robert Collins, Claus Cooper, Michael Dyer, Margot Flowers, Richard Korf, Charles Taylor, Alan Wang Evolution as a Theme in Artificial Life: The Genesys/Tracker System 1990
Robert J. Collins, David R. Jefferson Antfarm: Towards Simulated Evolution 1990
Tzung-I Lin Performance Analysis of Finite-Buffered Multistage Interconnection Networks with Various Switching Architectures 1990
Sergio Tadeo Mujica A Computer-Based Environment for Collaborative Design 1990
Yuval Tamir, Gregory L. Frazier Hardware Support for High Priority Traffic in VLSI Communication Switches 1990
Jason Cong, Andrew Kahng, Gabriel Robins Performance-Driven Global Routing for Cell Based IC's 1990
Trent Eliot Lange High-Level Inferencing in a Localist Network 1990
Y. Sadgat Resource and Job Management Concepts in Distributed Systems 1990
Titus Lai The UCLA Mirror Processor: Control Implementation and Testing Considerations for a VLSI RISC with Micro Rollback 1991
Joseph Bannister, Flaminio Borgonovo, Luigi Fratta, Mario Gerla A Performance Model of Deflection Routing and Its Application to the Topological Design of Multichannel Network 1991
Tzung-I Lin Performance Analysis of Finite-Buffered Multistage Interconnection Networks with Different Switching Architectures 1991
Robert J. Collins Multiple Instruction Multiple Data Emulation on the Connection Machine 1991
Thomas W. Page, Jr., Richard G. Guy, Gerald J. Popek, John S. Heidemann Architecture of the Ficus Scalable Replicated File System 1991
Richard G. Guy, Gerald J. Popek Algorithms for Consistency in Optimistically Replicated File Systems 1991
John S. Heidemann, Gerald J. Popek A Layered Approach to File System Development 1991
Jason Cong, Kei-Yong Khoo A Provable Near-Optimal Algorithm for the Channel Pin Assignment Problem 1991
Geunbae Lee Distributed Semantic Representations for Goal/Plan Analysis of Narratives in a Connectionist Architecture 1991
Josef Skrzypek, George Wu Neither Dog nor Log Fits the Receptive Field of a Vertebrate Cone 1991
Trent E. Lange Hybrid Connectionist Models: Temporary Bridges Over the Gap Between the Symbolic and the Subsymbolic 1991
Lars Hagen, Andrew B. Kahng Fast Spectral Methods for Ratio Cut Partitioning and Clustering 1991
Jason Cong, Andrew Kahng, Gabriel Robins Provably Good Performance-Driven Global Routing 1991
Jason Cong A Provably Good Multilayer Topological Planar Routing Algorithm for MCM and Dense PCB Designs 1991
Carl Kesselman Tools and Techniques for Performance Measurement and Performance Inprovement in Parallel Programs 1991
Chialin Chang Performance of LCFS Queueing Systems with Impatient Customers 1991
John F. Reeves Computational Morality: A Process Model of Belief Conflict and Resolution for Story Understanding 1991
Richard G. Guy FICUS: A Very Large Scale Reliable Distributed File System 1991
Robert Edman Felderman Performance Analysis of Distributed Processing Synchronization Algorithms 1991
Thomas Verma, Judea Pearl Equivalence and Synthesis of Causal Models 1991
Itay Meiri, Judea Pearl Faster Constraint Satisfaction Algorithms for Temporal Reasoning 1991
Dan Geiger, Azaria Paz, Judea Pearl Learning Simple Causal Structures 1991
Rina Dechter, Judea Pearl Directed Constraint Networks: A Ralational Framework for Causal Modeling 1991
Judea Pearl, Thomas Verma A Formal Theory of Inductive Causation 1991
Judea Pearl, Thomas Verma A Theory of Inferred Causation 1991
Judea Pearl, Thomas Verma A Statistical Semantics for Causation 1991
Hector Geffner, Judea Pearl Conditional Entailment: Bridging Two Approaches to Default Reasoning 1991
Rachel Ben-Eliyahu NP-Complete Problems in Optimal Horn Clauses Satisfiability 1991
Judea Pearl Epsilon-Semantics 1991
Itay Meiri Combining Qualitative and Quantitative Constraints in Temporal Reasoning 1991
Moises Goldszmidt, Judea Pearl System-Z+: A Formalism for Reasoning with Variable Strength Defaults 1991
Rachel Ben-Eliyahu, Rina Dechter Default Logic, Propositional Logic and Constraints 1991
R. Ben-Eliyahu, R. Dechter Propositional Semantics for Default Logic 1991
Zeev Collin, Rina Dechter, Shmuel Katz On the Feasibility of Distributed Constraint Satisfaction 1991
Judea Pearl, Rinal Dechter, Thomas Verma Knowledge Discovery vs. Data Compression 1991
Dan Geiger, Azaria Paz, Judea Pearl Learning Causal Trees from Dependence Information 1991
Itay Meiri, Rina Dechter, Judea Pearl Tree Decomposition with Applications to Constraint Processing 1991
Rina Dechter On the Expressiveness of Networks with Hidden Variables 1991
Zeev Collin, Rina Dechter A Distributed Solution to the Network Consistency Problem 1991
Judea Pearl Which is More Believable, The Probably Provable or The Provably Probable? 1991
Moises Goldszmidt, Paul Morris, Judea Pearl A Maximum Entropy Approach to Nonmonotonic Reasoning 1991
Judea Pearl Probabilistic and Qualitative Abduction 1991
Moises Goldszmidt, Judea Pearl On the Relation Between Rational Closire and System-Z 1991
Dan Geiger, David Heckerman Separable and Transitive Graphoids 1991
Rina Dechter, Avi Dechter Structure-Driven Algorithms for Truth Maintenance 1991
Rina Dechter From Local to Global Consistency 1991
Judea Pearl Reasoning with Belief Functions: An Analysis of Compatibility 1991
Judea Pearl, Rinal Dechter Learning Stucture from Data: A Survey 1991
Judea Pearl System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning 1991
Arthur Paul Goldberg Optimistic Algorithms for Distributed Transparent Process Replication 1991
Stephanie Elizabeth August Ariel: An Apprach to Understanding Analogies in Arguments 1991
Robert J. Collins, David R. Jefferson Selection in Massively Parallel Genetic Algorithms 1991
Boris Y Kogan, Walter J. Karplus, Brian S. Billet Excitation Wave Propagation Along Narrow Pathways, Unidirectional Block and Reentry (Theoretical Study) 1991
T.Y. Cliff Leung, Richard R. Muntz Extended Abstract: Generalized Data Stream Indexing and Temporal Query Processing 1991
Leana Golubchik, John C.S. Lui, Richard R. Muntz Chained Declustering: Load Balancing and Robustness to Skew and Failures 1991
John Shelby Heidemann Stackable Layers: An Architecture for File System Development 1991
Moises Goldszmidt, Judea Pearl Where Do Default Priorities Come From? 1991
Yuval Tamir, Gregory L. Frazier Dynamically-Allocated Multi-Queue Buffers for VLSI Communication Switches 1991
Shih-Lien Lu Self-Timed Arithmetic Structures in CMOS Differential Logic 1991
H.-C. Chi, Y. Tamir Decomposed Arbiters for Large Crossbars with Multi-Queue Input Buffers 1991
R. Bagrodia, K.M. Chandy, W.-T. Liao An Experimental Study on the Performance of the Space-Time Simulation Algorithm 1991
M. Tremblay High-Performance Fault-Tolerant VLSI System Using Micro Rollback 1991
R. Ben-Eliyahu, R. Dechter Translating a Cyclic Default Theory into an Acyclic Default Theory 1991
C.S. John Lui, R.R. Muntz Algorithmic Approach to Bounding the Mean Response Time of a Minimum Expected Delay Routing System 1991
E.H.-Y. Wu Concurrency Control and Remote Sharing for a Replicated Collaborative Environment 1991
Y. Tamir, T. Frazier Error-Recovery in Multicomputers Using Asynchronous Coordinated Checkpointing 1991
S. Berson, R. Muntz A Query Language for Markov Chains: Compilation, Optimization, and Execution 1991
M. Kayama Methodology for Constructing Optimal Multi-layered Neural Networks 1991
Y.-K Tsay, R.L. Bagrodia Deducing Fairness Properties for Unity Programs 1991
C.S. Lui Large Markov Models for Computer Performance and Reliability Analysis: Efficient Methods for Determination of Error Bounds 1991
R. Bagrodia, K.M. Chandy, W.-T. Liao A Unifying Framework for Distributed Simulation 1991
L. Hagen, A. Kahng New Spectral Methods for Ratio Cut Partitioning and Clustering 1991
A. Kahng, G. Robins, E. Walkup On Connectivity Verification in Multi-Chip Module Substrates 1991
J. Cong, L. Hagen, A. Kahng Net Partitions Yield Better Module Partitions 1991
B. Kogan, W. Karplus, B. Billett, M. Karpukhin On the Applicability of the Ashour-Hanna Numerical Algorithm for the Investigation of Diffusion-Reaction Equations 1991
T.Y. Cliff Leung, R.R. Muntz Temporal Query Processing and Optimization in Multiprocessor Database Machines 1991
B. Kogan, W. Karplus, B. Billett, W. Stevenson Excitation Wave Propagation within Narrow Pathways:Geometric Configurations Facilitating Unidirectional Block and Reentry 1991
T.-Y.C. Leung, R.R. Muntz Stream Pricessing: Temporal Query Processing and Optimization 1991
A. Tai Performability Concepts and Modeling Techniques for Real-Time Software 1991
L. Hagen, A. Kahng Improving the Quadratic Objective Function in Module Placement 1991
R.E. Gomory, T.C. Hu, A.B. Kahng, G. Robins Optimal Robust Path Planning in General Environment 1991
V. Nenov Perceptually Grounded Language Acquisition: A Neural/Procedural Hybrid Model 1991
J. Skrzypek, G. Wu Invariant Contrast Adaptation in the Primate Outer Plexiform Layer (OPL) 1991
J. Skrzypek, B. Ringer Neural Network Models for Illusory Contour Perception 1991
Shioupyn Shen The Virtual-Time Data-Parallel Machine 1992
W.W. Chu, I.T. Leong, R.K. Taira, C. Breant A Dynamic Temporal Object-Oriented Data Model for Medical Image Management 1992
K.C. Chen, J. Cong, Y. Ding, A. Kahng, P. Trajmar DAG-MAP: Graph Based FPGA Technology Mapping for Delay Optimization 1992
J. Pemberton, R.E. Korf Making Locally Optimal Decisions on Graphs with Cycles 1992
R. Bagrodiam W. Liao A Language for Iterative Design of Efficient Simulations 1992
T.C. Hu, A.B. Kahng, G. Robins Optimum Solution of the Discrete Plateau Problem 1992
L. Hagen, A.B. Kahng, F. J. Kurdahi, C. Ramachandran On the Intrinsic Rent Parameter and Spectra-Based Partitioning Methodologies 1992
M.-Y. Horng Analysis of Boolean N-Cube Interconnection Networks for Multiprocessor Systems 1992
D. Le MAMACG: A Tool for Automatic Mapping of Matrix Algorithms into Mesh Array Computational Graphs 1992
D. Zhou, S. Su, F. Tsui, D.S. Gao, J. Cong Analysis of Trees of Transmission Lines 1992
K.-Y Khoo, J. Cong A Fast Multilayer General Area Router for MCM and Dense PCB Designs 1992
K. Boese, A. Kahng Zero-Skew Clock Routing Trees with Minimum Wirelength 1992
R. Ben-Eliyahu, R. Dechter Propositional Semantics for Disjunctive Logic Programs 1992
R. Dechter, J. Pearl Structure Identification in Relational Data 1992
R. Dechter, I. Meiri Experimental Evaluation of Constraint Processing 1992
J. Pearl Belief Networks Revisited 1992
M. Goldszmidt, J. Pearl Reasoning with Qualitative Probabilities Can Be Tractable 1992
T.S. Verma, J. Pearl An Algorithm for Deciding if a Set of Observed Independencies has a Causal Explanation 1992
I. Meiri Temporal Reasoning: A Constraint-Based Approach 1992
D.S. Parker, E. Simon SVP - A Model Caoturing Sets, Streams, and Parallelism 1992
R. Korf Best-First Minimax Search: Initial Results 1992
Y.-K. Tsay, R.L. Bagrodia Some Impossibility Results in Interprocess Synchronization 1992
G. Robins On Optimal Interconnections 1992
C.-T. Chou A Note On Interactive Theorem Proving with Theorem Continuation Functions 1992
J. Bannister, M. Gerla, M. Kovacevic An All-Optical Multifiber Tree Network 1992
D.S. Parker BOP 0.2 Manual 1992
S. -T. Huang, D.S. Parker A Study of Variants of the Lambek Calculus and An Implementation in Prolog 1992
S.-T. Huang, D.S. Parker Types for Lazy Logic Programs: Computation and Infinite Objects 1992
X. Wang, D.S. Parker Computing Least Fixed Points by Asynchronous Iterations and Random Iterations 1992
E. Pedrinelli, M. Barezzani, M. Gerla Protection Planning in Transmission Networks 1992
S. Berson, G. Estrin, Y. Eterovic, I. Tou, E. Wu, S. Mujica, D. Berry Generating Strongly Sharable Concurrent Engineering Aplications 1992
C.-T. Chou A Sequent Formulation of the Propositional Logic of Predicates in HOL 1992
L. Kleinrock, R. Feldterman Two Processor Time Warp Analysis: A Unifying Approach 1992
R.E. Feiderman, L. Kleinrock Two Processor Time Wrap Analysis: Capturing the Effects of Message Queueing and Rollback/State Saving Costs 1992
T.-Y.C. Leung Query Processing and Optimization in Temporal Database Systems 1992
R.J. Collins Studies in Artificial Evolution 1992
Y. Eterovic Executable Specifications of Multi-User Interfaces 1992
K.D. Boese, A.B. Kahng Routing Tree Constructions for Critical Path Optimization 1992
A.B. Kahng, C.-W.A. Tsao Old Bachelor Acceptance: A New Class of Non-Monotone Threshold Accepting Methods 1992
L. Hagen, A.B. Kahng, F. J. Kurdahi, C. Ramachandran A New Approach to Effective Circuit Clustering 1992
Jonathan C. Lu Design and Analysis of Wavelength Division Multiple Access Lightwave Packet Networks 1992
J. Cong, K.-S. Leung, D. Zhou Performance-Driven Interconnect Design Based on Distributed RC Delay Model 1992
R.L. Bagrodia, W.-T. Liao A Language for Iterative Design of Efficient Simulations 1992
C.-T. Chou A Sequent Formulation of a Logic of Predicates in HOL 1992
C.-T. Chou A Note on Interactive Theorem Proving with Theorem Continuation Functions 1992
Trent E. Lange, Charles M. Wharton Remind: Retrieval from Episodic Memory by Inferencing and Disambiguation 1992
K. Skrzypek, G. Wu Quantitative Model of the Vertebrate Cone Receptive Field 1992
Larry A. Taylor Pruning Duplicate Nodes in Depth-First Search 1992
K.D. Boese, A.B. Kahng, A.C.-W. Tsao Best-So-Far vs. Where-You-Are: New Directions in Simulated Annealing for CAD 1992
C.J. Alpert, T.C. Hu, J.H. Huang, A.B. Kahng A Direct Combination of the Prim and Dijkstra Constructions for Improved Performance-Driven Global Routing 1992
C.J. Alpert, A.B. Kahng Geometric Embeddings for Faster (and Better) Multi-Way Netlist Partitioning 1992
Jason Cong, Yuzheng Ding On Area/Depth Trade-Off in Lut-Based FPGA Technology Mapping 1992
Jason Cong, Antonios Papandreou A New Placement Algorithm for Very Large-Scale IC Designs 1992
Jason Cong. M'Lissa Smith A Bottom-Up Clustering Algorithm with Applications to Circuit Partitioning in VLSI Designs 1992
B. Ringer Neural Network Models for Illusory Contour Perception 1992
S.R. Turner Minstrel: A Computer Model of Creativity and Storytelling 1992
A. Bostani CFC: An Efficient Stream-Processing Environment 1992
K.-Y Khoo, J. Cong An Efficient Multilayer MCM Router Based on Four-Via Routing 1993
H.-S. Dai System Identification Using Neural Networks 1993
G. Franceschinis, R. Muntz Bounds for Quasi-Lumpable Markov Chains 1993
M. Coleman Aesthetics-Based Graph Layout for Human Consumption 1993
W.W. Chu, A.F. Cardenas, R.K. Taira A Knowledge-Based Multimedia Medical Distributed Database System-KMED 1993
W.W. Chu, K. Chiang A Distribution Sensitive Clustering Method for Numerical Values 1993
V. Jha, R.L. Bagrodia Transparent Implementation of Conservative Algorithms in Parallel Simulation Languages 1993
M. Loving, D. Rennels Stochastiv Petri Net Modeling of Fault Tolerant Multi-Computers 1993
V. Austel, R. Bargrodia, M. Chandy, M. Dhagat Relations + Reductions = Data-Parallelism 1993
B.S. Billett, B.Y. Kogan The LUO-Rudy Model of Cardiac Action Potential: Computer Implementation and Controllability 1993
M.R. Harreld Computer Simulation of Blood Flow in an Intracranial Aneurysm 1993
J. Cong, K.S. Leung Optimal Wiresizing Under the Distributed Elmore Delay Model 1993
D.A. Rennels, H.Kim Concurrent Error Detection in Self-Timed VLSI 1993
J.Cong Computing Maximum Weighted K-Families and K-Cofamilies in Partially Ordered Sets 1993
K.D. Boese, A.B. Kahng, S. Muddu On the "Big Valley" and Adaptive Multi-Start for Discrete Global Optimizations 1993
C. Alpert, A. Kahng Multi-Way Netlist Partitioning Using Spacefilling Curves 1993
R.-C. Hu, J.W. Carlyle A Unified Index Access Method for Parallel Database Systems 1993
Y. Wu, R.R. Muntz A New Cache Directory Scheme 1993
J.S. Heidemann, G.J. Popek File System Development with Stackable Layers 1993
J.B. Rosenberg The Katamic Model of Temporal Sequence Processing: Analysis and Modifications 1993
E. Borowsky, E. Gafni The Implication of the Borowsky-Gafni Simulation on the Set-Consensus Hierarchy 1993
J.C.-S Lui, R.R. Muntz, D. Towsley Bounding the Mean Response Time of a Mininum Expected Delay Routing System: An Algorithmic Approach 1993
Y.-D. Lin, M. Gerla Hierarchical Traffic Modeling and Analysis 1993
Y.-D. Lin, M. Gerla Intelligent Network Management: Information Infrastructure and Management Applications 1993
B. Ribeiro, R. Muntz Approximate Answers Through Bayesian Belief Networks 1993
E. de Souza e Silva, H. Richard Gail, R. Muntz Polling Systems with Server Timeouts 1993
W. Cheng, R. Muntz Optimization, Error Bounds, and Workload Characterization in Closed Product-Form Queueing 1993
M. Kovacevic Honet: An Integrated Services Wavelength Division Optical Network 1993
K. Boese, A. Kahng, B. McCoy, G. Robins Near-Optimal Critical Sink Routing Tree Constructions 1993
I. Tou, S. Berson, G. Estrin, Y. Eterovic, E. Wu Strong Sharing and Prototyping Synchronous Group Applications 1993
Y. Wu, R. Muntz Stack Evaliation of Arbitrary Set-Associative Multiprocessor Caches 1993
E. de Souza e Silva, H.R. Gail Calculating Transient Distributions of Cumulative Reward 1993
Y.-K Tsay Distributed Coordination of Process Interactions-Fairness and Fault-Tolerance 1993
A.B. Kahng, S. Muddu Delay Estimation of Trees Using Two-Pole Methods and Optimal Equivalent Circuits 1993
V. Jha, R.L. Bagrodia A Unified Framework for Conservative and Optimistic Distributed Simulation 1993
Y. Wu Multiprocessor Cache Memories: Simulation and Design 1993
E. de Souza e Silva, H.R. Gail A Note on Calculating Transient Distributions of Cumulative Reward 1993
L. Kleinrock, J.P.G. Sterbenz, N. Maxemchuk, S.S. Lam, H. Schulzrinne, P. Steenkiste The National Exchange for Networked Information Systems: A White Paper 1993
J.S. Fernando Design Alternatives for Recursive Digital Filters Using On-Line Arithmetic 1993
M.H.M. Cheng, D.S. Parker, M.H. van Emden Prolog Technology Term Rewriting: Applicative Systems 1993
S. Berson, S. Ghandeharizadeh, R. Muntz, X. Ju Staggered Striping in Multimedia Information Systems 1993
J. B. Hodges (dissertation) Naive Mechanics: A Computational Model for Representing and Reasoning About Simple Mechanical Devices 1994
B. Y. Kogan, W. J. Karplus, M. G. Karpoukhin The Van Capelle and Durrer Model of Cardiac Action Potential Generation and 2D Propagation: Modifications and Application 1994
W. Zhang, J. C. Pemberton Epsilon-Transformation: Exploiting Phase Transitions to Solve Combinatorial Optimization Problems 1994
S.-T. Huang (Dissertation) Dual MU-Sets: The Theoretical Framework And Applications 1994
S. Prakash, M. Dhagat, R. Bagrodia Synchronization Issues In Data-Parallel Languages 1994
A. B. Kahng, C.-W. A. Tsao Planar-DME: Improved Planar Zero-Skew Clock Routing With Minimum Pathlength Delay 1994
M. G. Cooper, J. J. Vidal Genetic Design of Fuzzy Controllers 1994
M. G. Cooper, J. J. Vidal Genetic Design of Fuzzy Controllers: The Cart and Jointed-Pole Problem 1994
S. Berson, L. Golubchik, R. R. Muntz A Fault Tolerant Design of a Multimedia Server 1994
M. E. Louie, M. D. Ercegovac Linear Sequential Arrays: Pipelining Arithmetic Data Paths 1994
A. B. Kahng, S. Muddu Delay Anaylysis of VLSI Interconnections Using the Diffusion Equation Model 1994
R. Bagrodia, M. Chandy, M. Dhagat UC: A Set-Based Language For Data-Parallel Programming 1994
J. J. Liu (Dissertation) A Synthesis System for Application Specific Arrays Implementing Matrix Computations 1994
L. Golubchik, R. R. Muntz, R. W. Watson Analysis of Striping Techniques in Robotic Storage Libraries 1994
A. B. Kahng, S. Muddu A General Methodology for Response and Delay Computations in VLSI Interconnects 1994
G. H. Kuenning, G. J. Popek, P. L. Reiher An Analysis of Trace Data for Predictive File Caching in Mobile Computing 1994
P. Reiher, J. Heidemann, D. Ratner, G. Skinner, G. Popek Resolving File Conflicts in the Ficus File System 1994
C. J. Alpert, A. B. Kahng A General Framework for Vertex Orderings, with Applications to Netlist Clustering 1994
J.-H. Huang, A. B. Kahng When Clusters Meet Partitions: A New Density Objective for Circuit Decomposition 1994
J. Cong, C.-K. Koh Simultaneous Driver and Wire Sizing for Performance and Power Optimization 1994
E. de Souza e Silva, H. R. Gail An Algorithm to Calculate Transient Distributions of Cumulative Reward 1994
J. Cong, Y. Ding On Nominal Delay Minimization in LUT-Based FPGA Technology Mapping 1994
M. E. Louie - (Dissertation) Variable Precision Arithmetic with Lookup Table Based Field Programmable Gate Arrays 1994
E. C. Shek, R. R. Muntz Towards a Modeling Framework for Geoscientific Data 1994
R. Dionysian - (Dissertation) Variable-Precision Arithmetic For Vector Quantization 1994
D. R. Greening Simulated Annealing With Inaccurate Cost Functions 1994
G. Janakiraman, Y. Tamir Coordinated Checkpointing-Rollback Error Recovery For Distributed Shared Memory Multicomputers 1994
E. De Souza E Silva, H. R. Gail, R. R. Muntz Efficient Solutions For a Class of Non-Markovian Models 1994
J. Cong, W. Labio, N. Shivakumar Multi-Way VLSI Circuit Partitioning Based on Dual Net Representation 1994
M. Dhagat, R. Bagrodia, M. Chandy Integrating Task and Data Parallelism in UC 1994
H.-C. Chi - (Dissertation) Crossbar Arbitration in Interconnection Networks for Multiprocessors and Multicomputers 1994
John C. S. Lui, Richard R. Muntz, Don Towsley Computing Perforamnce Bounds for Fork-Join Queueing Models 1994
Ching-Tsun Chou Practical Use of the Notions of Events and Causality in Reasoning About Distributed Algorithms 1994
Charles J. Alpert, So-Zen Yao Spectral Partitioning: The More Eigenvectors, The Better 1994
Leana Golubchik, John C. S. Lui, Richard R. Muntz Reducing I/O Demand in Video-On-Demand Storage Servers 1994
Berthier A. Ribeiro, Richard Muntz F-G: A Fuzzy Algebra for Approximate Answering in Databases 1994
Eddie C. Shek, Richard R. Muntz The Conquest Modeling Framework for Geoscientific Data 1994
Steven Berson, Leeana Golubchik, Richard R. Muntz Fault Tolerant Design of Multimedia Servers 1994
A. P. Wieland Modeling, Simulation and Control of Two-Legged Walking 1994
S. Berson, A. Dashti, M. Escobar-Molano, S. Ghanderharizadeh, Design of a Scalable Multimedia Storage Manager 1994
D. J-H. Huang, A. B. Kahng, C-W. A. Tsao On the Bounded-Skew Clock and Steiner Routing Problems 1994
J. Cong, Y.-Y. Hwang Simultaneious Depth and Area Minimization in LUT-Based FPGA Mapping 1995
J. Cong, P. H. Madden Performance Driven Routing with Multiple Sources 1995
J. Cong, C.-K. Koh Minimum-Cost Bounded-Skew Clock Routing 1995
C-D Shum, R. R. Muntz Abstract Querying in a Tree-Structured Class Hierarchy 1995
M. D. Ercegovac, T. Lang Sign Detection and Comparison Networks with a Small Number of Transitions 1995
B. Y. Kogan, S. D. Shpilfoygel Investigation of Cardiac Cell Recovery Processes in Luo and Rudy Model 1995
D. Ratner Selective Replicaton: Fine-Grain Control of Replicated Files 1995
J. Bannister, F. Borgonovo, L. Fratta, M. Gerla Analyzing Deflection Routing under Nonuniform Traffic 1995
R. Crabbe, J. J. Vidal & G. Papcum Self-Organizing Networks Relate Phonetic and Articulatory Speech Data 1995
W. A. Boring, IV, Joel E. Short, L. Kleinrock UCLA WAMISNOS Network Protocol Programmers Guide* Release 1.3 1995
Gregory L. Frazier Buffering and Flow Control in Communications Switches for Scalable Multicomputers 1995
Tifany M. Frazier Application-Transparent Error Recovery Techniques for Multicomputers 1995
C.-T. Chou Using Operational Intuition About Events and Causality in Assertaional Proofs 1995
C.-T. Chou A Simple Treatment of Property Preservation via Simulation 1995
J. Short, R. Bagrodia, L. Kleinrock MOBINE WIRELESS NETWORK SYSTEM SIMULATION 1995
Chia-Chi Chao AMPIRE: ASYNCHRONOUS MICROPROCESSER WITH INSTRUCTION RETRY 1995
Steven Berson, Richard R. Muntz JUST-IN-TIME SCHEDULING FOR VIDEO-ON-DEMAND STORAGE SERVERS 1995
Kenneth D. Boese COST VERSUS DISTANCE IN THE TRAVELING SALESMAN PROBLEM 1995
A. B. Kahng, S. Muddu A NEW REFLECTION-BASED APPROACH FOR RC INTERCONNECT ANALYSIS 1995
Y. Chen, V. Jha & R. Bagrodia Parallel Switch-Level Simulation of VLSI Circuits 1995
M. Gerla, C. Pazos, V. A. Signore Simulation Study of PRCA and FCVC in ATM LANs Supporting TCP/IP 1995
D. Stott Parker and Dinh Le How to Eliminate Pivoting from Gaussian Elimination by Randomizing Instead 1995
D. Stott Parker Random Butterfly Transformations with Applications in Computational Linear Algebra 1995
D. Stott Parker A Randomizing Butterfly Transformation Useful in Block Matrix Computations 1995
D. Stott Parker Explicit Formulas for the Results of Gaussian Elimination 1995
D. Stott Parker Two New Reformulations of Gaussian Elimination 1995
D. Stott Parker Schur Complements obey Lambek's Categorial Grammar: another view of Gaussian Elimination and LU Decomposition 1995
D. Stott Parker, Dinh Le Quadtree Matrix Algorithms Revisited: Basic Issues and their Resolution 1995
Richard E. Korf Improved Limited Discrepancy Search 1995
J. Cong, A. B. Kahng, C.-K. Koh, C.-w. A. Tsao Bounded-Skew Clock and Steiner Routing Under Elmore Delay 1995
J. Cong and Lei He Optimal Wiresizing for Interconnects with multiple Source 1995
J. S. Heidemann Stackable Design of File Systems 1995
J. S. Heidemann, A. Goel, G. Popek Defining and Measuring Conflicts in Optimistic Replication 1995
Andrew B. Kahng, Sudhakar Muddu Accurate Analytical Delay Models for VLSI Interconnects 1995
Inki Hong, Andrew B. Kahng and Byung-Ro Moon Improved Large-Step Markov Chain Variants for the Symmetric TSP 1995
Michael J. Minock, W. W. Chu EXPLANATION FOR COOPERATIVE INFORMATION SYSTEMS 1995
D. Stott Parker, Brad Pierce THE RANDOMIZING FFT: AN ALTERNATIVE TO PIVOTING IN GAUSSIAN ELIMINATION 1995
D. Stott Parker, Brad Pierce, Dinh Le INPUT RANDOMIZATION ANE AUTOMATIC DERIVATION OF SYSTOLIC ARRAYS FOR MATRIX COMPUTATIONS 1995
Dinh Le, D. Stott Parker Practical Recursive Block Decomposition matrix Algorithms, and Quadtree Algorithms, via Randomization 1995
Boris Kogan, W. J. Karplus, M. G. Karpoukhin, I. M. Roizen, E. Chudin, Z. Qu Propagation of Electrical Excitation in a Ring of Cardiac Cells: A Computer Simulation Study 1995
A. Paz, J. Pearl Axiomatic Characterization of Directed Graphs 1995
S-W. Tan Graphical Models for Probabilistic and Causal Reasoning 1995
Judea Pearl A Graphical and Probabilistic Causality 1995
Iakovos Motakis, Carlo Zaniolo A Formal Semantics for Composit Temporal Evens in Active Database Rules 1995
Jason Cong, Yean-Yow Hwang Structural Gate Decocmposition for Depth-Optimal Technology Mapping in LUT-based FPGA 1995
Jason Cong, Lei He Simultaneous Transistor and Interconnect Sizing Using General Dominance Property 1995
E. Shek, E. Mesrobian, R. Muntz On Heterogeneous Distributed Geoscientific Query Processing 1995
E. Mesrobian, R. Muntz, E. Shek, S. Nittel, M. LaRouche, M. Kriguer OASIS: An Open Architecture Scientific Information System 1995
Y. U. Cao, A. S. Fukunaga, A. B. Kahng Cooperative Mobile Robotics: Antecedents and Directions 1995
J. Cong, Y-Y. Hwang A Theory on Partially-Dependent Functional Decomposition with Application in LUT-basted FPGA 1995
A. B. Kahng, M. Sudhakar Efficient Gate Delay Modeling for Large Interconnect Loads 1995
M. B. Srivastava, m. Potkonjak Optimum and Heruistic Transformation Techniques for Simultaneous Optimization of Latency and Throughput 1995
M. Potkonjak, S. Dey Hot Potato Techniques in High Level Synthesis 1995
L. Guerra, M. Potkonjak, J. Rabaey System-Level Design Guidance Using Structural Algorithmic Properties 1995
M. Potkonjak, S. Dey, K. Wakabayashi Design-For-Debugging of Application Specific Designs 1995
M. Potkonjak, M. B. Srivastava Power Optimization in Progammable Processors and ASIC Implementations of Linear Systems: Transformation-based Approach 1995
M. Potkonjak, M. B. Srivastava Behavioral Optimization using the Manipulation of Timing Constraints 1995
CM. Potkonja, M. B. Srivastava, A. Chandrakasan Multiple Constant Multiplications: Efficient and Versatile Framework and Algorithms for Exploring Common Subexpression Elimination 1995
M. Potkonjak, J. M. Rabaey AT AVLSI High Level Synthesis Laws: Theory and Practice 1995
M. Potkonjak, J. Rabaey Algorithm Selection using Behavioral Synthesis 1995
M. potkonjak, S. Dey, K. T. Kornegay Techniques for Implementation of At-Speed Testable, High Performance, and Low Cost Linear Designs 1995
Richard E. Korf OPTIMAL NUMBER PARTITIONING 1995
B. Pierce, D. S. Parker A Block Matrix Generalization of Gauss-Jordan Elimination using Haynsworth's quotient Formula for Schur Complements 1995
M. Gerla, E. Leonardi Deadlock-Free Routing in an Optical Interconnect for High-Speek Wormhold Routing Networks 1995
E. Leonardi, F. Neri, P. Palnati, M. Gerla Congestion Control Techniques in Asynchronous Wormhole Routing Networks 1995
E. Leonardi, P. Palnati, M. Gerla Analysis of the Bidirectional Shufflenet Multihop Topology 1995
Alex. S. Fukunaga, Andrew B. Kahng Improving the Performance of Evolutional Optimization by Dynamically Scaling the Evaluation Function 1995
Christian Roche, Prasasth Palnati, Mario Gerla, Fabio Neri, Emilio Leonardi PERFORMANCE CONGESTION CONTROL MECHANISMS IN WORMHOLE ROUTING 1995
Mario Gerla, Renato LoCigno, Wenjie Weng Improving Wireless Handoff With GWA-TCP 1995
Kenneth W. Ng, Richard R. Muntz Optimization of User-Defined Functions in Distributed Object-Relational DBMS 1995
S. Mascolo, Dirceu Cavendish, M. Gerla ATM Rate Based Congestion Control Using a Smith Predictor 1996
Carles J. Alpert, Lars. W. hagen, Andrew B. Kahng A HYBRID MULTILEVEL/GENETIC APPROACH FOR CIRCUIT PARTITIONING 1996
D. Stott Parker and Prasad Ram GREED AND MAJORIZATION 1996
M. Sudhakar, C. Tryfonas, F. M. chiussi, V. P. Kumar Max-Min Rate Control Algorithm for Available Bit Rate Service in ATM Networks 1996
L. Guerra, M. Potkonjak, J. Rabaey Behavioral-Level Synthesis of Heterogenous BISR Reconfigurable ASICs 1996
M. Potkonjak, W. H. Wolf A Methodology and Algorithms for the Design of Hard Real-Time Multi-Tasking ASICs 1996
M. Potkonjak, J. Rabaey Algorithm Selection: A Quantitative Optimization-Intensive Approach 1996
M. Potkonjak, J. Rabaey Maximally Fast and Arbitrarily Fast Hardware Efficient Implementation of Linear and Feedback Linear Computations 1996
K. N. Lalgudi, M. C. Papaefthymiou, M. Potkonjak Optimizaing Systems for Effective Block-Processing: The K-Delay Problem 1996
Mario Gerla, Prasasth Palnati, Simon Walton MULTICASTING PROTOCOLS FOR HIGH-SPEED, WORMHOLE-ROUTING LOCAL AREA NETWORKS 1996
Ashvin Goel VIEW CONSISTENCY FOR OPTIMISTIC REPLICATION 1996
Chang Wu, Jason Cong AN IMPROVED ALGORITHM FOR PERFORMANCE OPTIMAL TECHNOLOGY MAPPING WITH RETIMING IN LUT-BASED FPGA DESIGN 1996
A. B.Kahng, S. Muddu ANALYSIS OF RC INTERONNECTONS UNDER RAMP INPUT 1996
Mario Gerla, B. Kannan, B. Kwan QUALITY OF SERVICE SUPPORT IN HIGH-SPEED, WORMHOLE ROUTING NETWORKS 1996
A. B.Kahng, Kei Masuko, S. Muddu ANALYTICAL DELAY MODELS FOR VLSI INTERCONNECTS UNDER RAMP INPUT 1996
Andrew b. Kahng and Sudhakar Muddu Efficient Analyses and Models of VLSI and MCM Interconnects 1996
Jason Cong, Cheng-Kok Koh, Kwok-Shing Leung Simultaneous buffer and Wire Sizing for Performance and Power Optimization 1996
Michael R. Harreld Modeling, Simulation and VR Visualization of Brain Aneurysm Blook Flow 1996
Eli Gafni, Elias Koutsoupias Thre-Processory Tasks are Undecidable 1996
Elizabeth Borowsky, Eli Gafni A Simple Algorithmically Reasoned Characterization of Wait-free Computations 1996
Chunho Lee, Miodrag Potkonjak, Wayne Wolf System-level Synthesis of Hard Real-Time Appication Specific Systems 1996
Stephen Docy, Inki Hong, Miodrag Potkonjak Throughtput Optimization in Disk-Based Real-Time Application Specific Systems 1996
Miodrag Potkonjak Heterogeneous Built-In Resiliency of Application Specific Programmable Processors 1996
Inki Hong, Miodrag Potkonjak TSP-based Algorithms for DSP Scheduling 1996
Inki Hong, Miodrag Potkonjak Power Optimization in Disk-Based Real-Time Application Specific Systems 1996
Lisa Guerra, Miodrag Potkonjak, Jan Rabaey Divide-and-Conque Techniques for Global Throughput Optimization 1996
D. Cavendish, S. Mascolo, M. Gerla Rate Based Congestion Control for Multicast ABR Traffic 1996
M. Karpoukhin A Mathematical Model of Cardiac Action Potential: Application to Wave Propagation 1996
Richard E. Korf Artificial Intelligence Search Algorithms 1996
Carlos M. D. Pazos, V. A. Signore, D. Cavendish Jr., M. Gerla PERFORMANCE OF TCP OVER ATM FOR VARIOUS ABR CONTROL POLICIES 1996
David Ratner, Gerald J. Popek, Peter Reiher PEER REPLICATION WITH SELECTIVE CONTROL 1996
Yoshio F. Turner, Yuval Tamir DEADLOCK RESOLUTION IN NETWORKS EMPLOYING CONNECTION-BASED ADAPTIVE ROUTING 1996
J. Cong, K.-S. Leung ON THE CONSTRUCTION OF OPTIMAL OR NEAR-OPTIMAL RECTILINEAR STEINER ARBORESCENCE 1996
Sung Hyun Cho COMPETITIVE EXECUTION IN A DISTRIBUTED ENVIRONMENT 1996
Sung Hyun Cho COMPETITIVE EXECUTION OF SEQUENTIAL PROGRAMS ON A NETWORK OF SHARED PROCESSORS 1996
Sung Hyun Cho SPEEDUP OF DISTRIBUTED PROGRAMS ON A NETWORK OF SHARED PROCESSORS 1996
K.-S. Leung, J. Cong FAST OPTIMAL ALGORITHSM FOR THE MINIMUM RECTILINEAR STEINER ARBORESCENCE PROBLEM 1996
D. Stott Parker, Prasad Ram THE CONSTRUCTION OF HUFFMAN CODES IS A SUBMODULAR ('convex') OPTIMIZATION PROBLEM OVER A LATTICE OF BINARY TREES 1996
Eddie C. Shek, Richard R. Muntz, Larry Fillion THE DESIGN OF THE FALCON FRAMEWORK FOR APPLICATION LEVEL COMMUNICATION OPTIMIZATION 1996
Andrew B. Kahng, Kei Masuko, Sudhadar Muddu DELAY MODELS FOR MCM INTERCONNECTS UNDER MONOTONE AND NON-MONOTONE RESPONSE 1996
Silvia Nittel, Richard Muntz, Edmond Mesrobian GEOPOM: A HETEROGENEOUS GEOSCIENTIFIC OBJECT SYSTEM 1996
Richard E. Korf FINDING OPTIMAL SOLUTIONS TO RUBIK'S CUBE USING PATTERN DATABASES 1996
Vikas Jha, Rajive L. Bagrodia SIMULTANEOUS EVENS AND LOOKAHEAD IN SIMULATION PROTOCOLS 1996
Rajive L. Bagrodia IMPLEMENTATION AND PERFORMANCE EVALUATION OF CONSERVATIVE ALGORITHMS IN PARALLEL SIMULATIONLANGUAGES 1996
David Ratner, Gerald J. Popek, Peter Reiher THE WARD MODEL: A REPLICATION ARCHITECTURE FOR MOBILE ENVIRONMENTS 1996
Inki Hong, Miodrag Potkonjak POWER OPTIMIZATION USING MINIMIZATION OF THE NUMBER OF OPERATIONS 1996
Inki Hong, Miodrag Potkonjak, Ramesh Karri HETEROGENEOUS BISR-APPROACH USING SYSTEM LEVEL SYNTHESIS 1996
Inki Hong, Miodrag Potkonjak, Ramesh Karri DESIGN METHODOLOGY AND TOOLS FOR THROUGHPUT OPTIMIZATION OF WEB SERVERS 1996
Inki Hong, Miodrag Potkonja, Marios Papaefthymiou EFFICIENT BLOCK PROCESSING FOR PROGRAMMABLE EMBEDDED PROCESSORS 1996
Chunho Lee, Miodrag Potkonjak, Wayne Wolf DESIGN METHODOLOGY FOR DEVELOPEMTN OF BEHAVIORAL SYNTHESIS GENERIC AND SYNTHETIC BENCHMARKS 1996
Darko Kirovski, Miodrag Potkonjak SYSTEM LEVEL SYNTHESIS OF LOW-POWER HARD REAL-TIME SYSTEMS 1996
Brad A. Pierce, D. Stott Parker LINEAR RAMDOMIZING TRANSFORMATIONS: AN A PRIORI ALTERNATIVE TO DYNAMIC ELIMINATION STRATEGIES SUCH AS PARTIAL PIVOTING 1996
Joseph Carl Pemberton INCREMENTAL SEARCH METHODS FOR REAL-TIME DECISION MAKING 1996
G. Janakiraman HIERARCHICALLY MANAGED RELIABLE DISTRIBUTED SHARED MEMORY MULTICOMPUTERS 1997
D. Stott Parker MONTE CARLO ARITHMETIC: THE ADVANTAGES OF TRANSORMING FLOATING-POINT COMPUTATION INTO MONTE CARLO COMPUTATION 1997
Jean-Luc Dorel and Mario Gerla PERFORMANCE ANALYSIS FO TCP-RENO AND TCP-SACK: THE SINGLE SOURE CASE 1997
Jason Cong, Patrick H. Madden PERFORMANCE DRIVEN GLOBAL ROUTING FOR STANDARD CELL DESIGN 1997
Jason Cong, Peter Li, Sung-Kyu Lim, Toshiyuki Shibuya, Dongmin Xu LARGE SCALE CIRCUIT PARTITIONING WITH LOOSE/STABLE NET REMOVAL AND SIGNAL FLOW BASED HIERARCHICAL CLUSTERING 1997
Wei, Wang, Jion Yang, Richard Muntz A STATISTICAL INFORMATION GRID APPROACH TO SPACIAL DATA MINING 1997
Arne Folkestad, Christian Roche DEADLOCK PROBABILITY IN UNRESTRICTED WORMHOLE ROUTING NETWORKS 1997
Chin-Chih Chang, Jason Cong An Efficient Approach to Multi-layer Layer Assignment with Applications to Via Minimization 1997
Jason Cong, John Peck ACCELERATION OF LOGIC SYNTHESIS ALGORITHMS USING FPGA-BASED RECONFIGURABLE COPROCESSORS 1997
Jason Cong, Chang Wu FPGA SYNTHESIS WITH RETIMING AND PIPELINING FOR CLOCK PERIOD MINIMIZATION OF SEQUENTIAL CIRCUITS 1997
C. ALPERT, T. CHAN, D. HUANG, I. MARKOV, K. YAN QUADRATIC PLACEMENT REVREVISITED 1997
Jason Cong, Lei He, Andrew B. Kahng ANALYSIS AND JUSTIFICATION OF A SIMPLE, PRACTICAL 2 1/2-D CAPACITANCE EXTRACTION METHODOLOGY 1997
D. Stott Parker MONTE CARLO ARITHMETIC: A FRAMEWORK FOR THE STATISTICAL ANALYSIS OF ROUNDOFF ERROR 1997
Geof Kuenning SEER: PREDICTIVE FILE HOARDING FOR DISCONNECTED MOBILE OPERATION 1997
W. Karplus, D. Liu, D. Valentino A FRAMEWORK FOR THE INTELLIGENT VISULIZATION OF LARGE TIME-DEPENDENT FLOW DATASETS IN MEDICAL VR SYSTEMS 1997
Daren A. Lee, Walter J. Karplus, Daniel J. Valentino, Mary A. Woo VIRTUAL REALITY SIMULATION OF THE OPHTHALMOSCOPIC EXAMINATION 1997
An-I. A. Wang, Peter L. Reiher, Rajive Bagrodia A SIMULATION FRAMEWORK FOR EVALUATING REPLICATED FILING ENVIRONMENTS 1997
Allen Klinger EXPERIMENTAL VALIDATION OF LEARNING ACCOMPLISHMENT 1997
Richard E. Korf A COMPLETE ANYTIME ALGORITHM FOR NUMBER PARTITIONING 1997
David Ratner, Peter Reiher, Gerald J. Popek REPLICATION REQUIREMENTS IN MOBILE ENVIRONMENTS 1997
David Ratner, Peter Reiher, Gerald J. Popek DYNAMIC VERSION VECTOR MAINTENANCE 1997
Christos Kolias, Leonard Kleinrock YET ANOTHER ANALYTIC STUDY OF INPUT-BUFFERED ATM SWITCHES 1997
JEFF ROBERT WEIDNER A GENERAL PURPOSE EXTEDED ATTRIBUTE SERVICE AS A FILE SYSTEM LAYER 1997
INKI HONG, Miodrag Potkonjak TECHNIQUES FOR FUNCTIONAL TEST PATTERN EXECUTION 1997
Chunho Lee, Miodrag Potkonjak A QUANTITATIVE APPROACH TO DEVELOPMENT AND VALIDATION OF SYNTHETIC BENCHMARKS FOR BEHAVIORAL SYNTHESIS 1997
Darko Kirovski, Miodrag Potkonjak A QUANTITATIVE APPROCH TO FUNCTIONAL DEBUGGING 1997
Darko Kirovski, Chunho Lee, William Mangione-Smith, Miodrag Potkonjak APPLICATION-DRIVE SYNTHESIS OF CORE-BASED SYSTEMS 1997
Frank Fabbrocino, Eddie Shek, Richard Muntz THE DESIGN AND IMPLEMENTATION OF THE CONQUEST QUERY EXECUTION ENVIRONMENT 1997
Geoffrey H. Kuenning, Gerald J. Pope AUTOMATED HOARDING FOR MOBILE COMPUTERS 1997
JASON CONG, LEI HE, CHENG-KOK KOH AND ZHIGANG PAN GLOBAL INTERCONNECT SIZING AND SPACING WITH CONSIDERATION OF COUPLING CAPACITANCE 1997
Jose Renato Santo, Richard Muntz DESIGN OF THE RIO (RANDOMIZED I/0) STORAGE SERVER 1997
Jason Cong, Cheng-Kok Koh INTERCONNECT LAYOUT OPTIMIZATION UNDER HIGHER-ORDER RLC MODEL 1997
Jason Cong, Lei He, CHENG-KOK KOH AND ZHIGANG PAN LAYOUT OPTIMIZATION USING TABEL-BASED DEVICE AND COUPLING CAPACITANCE MODELS 1997
Simon Shpilfoygel COMPUTATIONAL TECHNIQUES TO ENSURE VALID SIMULATIONS OF BRAIN ANEURYSM FLOOD FLOW 1997
D. Stott Parker, Prasad Ram A LINEAR ALGEBRAIC RECONSTRUCTION OF MAJORIZATION 1997
Rajive Bagrodia, Sundeep Prakash ASYNCHRONOUS PARALLEL SIMULATION OF PARALLEL PROGRAMS 1997
JIONG YANG, WEI WANT, RICHARD MUNTZ DynamO: DYNAMIC OBJECTS WITH NETWORK ATTACHED PERSISTENT STORES 1997
Wei Wang, Jiong Yang, Richard Muntz PK-Tree: a dynamic spatial indexing structure for large data sets 1997
Jion Yang, Wei Wang, Richard Muntz YET ANOTHER SPATIAL INDEXING STRUCTURE 1997
G. H. Kuenning, D. H. Ratner, P. Reiher, G. J. Popek, R. Guy COOPERATIVE CHAOS 1997
Yu-an Chen, Rajive Bagrodia A Multidimension Study on Parallel Switch-level Circuit Simulation 1997
Dirceu Cavendish, Aiguo Fei, Mario Gerla, Raphael Rom On the Construction of Low Cost Multicast Trees with Brandwidth Reservation 1997
David H. Ratner Roam: A Scalable Replication System for Mobile and Distributed Computing 1997
Ted H. Kim Frigate: An Object-Oriented File System 1998
J. Pearl Bayesian Networks 1998
David Galles, J. Pearl An Axiomatic Characterization of Causal Counterfactuals 1998
J. Pearl Graphs, Causality, and Structural Equation Models 1998
Sander Greenland, J. Pearl, James M. Robins Causal Diagrams for Epidemiologic Research 1998
David Jerome Galles Structural Causal Models: A Formalism for Reasoning About Actions and Counterfactuals 1998
Jin Tian, Azaria Paz, and Judea Pearl Finding Minimal D-Separators 1998
Saverio Mascolo, Mario Gerla TCP Congestion Avoidance Using Explicit Buffer Notification 1998
Frank Fabbrocino, Jose Renato Santos, Richard Muntz An Implicitly Scalable Real-Time Multimedia Storage Server 1998
Ilya Slain, Tsu-Wei Chen, Mario Gerla Experiments on QoS Adaptation for Speech Delivery in Wireless Networks 1998
Jose Renato Santos, Richard Muntz Using Heterogeneous Disks on a Multimedia Storage System with Random Data Allocation 1998
Carlos M. Pazos, Mario Gerla A Rate Based Back-pressure Flow Control for the Internet 1998
Jason Cong, Patrick H. Madden Performance Driven Multi-Layer General Area Routing for PCB/MCM Designs 1998
Richard Muntz, Jose Renato Santos, Frank Fabbrocino Design of a Fault Tolerant Realtime Storage System for Multimedia Applications 1998
Jason Cong, Songjie Xu Delay-Optimal Technology Mapping for FPGAs with Heterogeneous LUTs 1998
Jason Cong, Chang Wu Optimal FPGA Mapping and Retiming with Efficient Initial State Computation 1998
Jason Cong, Zhigang Pan Interconnect Performance Estimation Models for Synthesis and Design Planning 1998
Frederick L. Crabbe, Michael G. Dyer Goal Sequence Achievement Using Higher-Order Neural Connections in Construction Agents 1998
Frederick L. Crabbe, Michael G. Dyer Cooperative Behavior, Communication and Task Decomposition in Protective Structure Construction by Neurally Controlled Agents 1998
Piotr Berman, Alexander Zelikovsky On Approximation of the Power-p and Bottleneck Steiner Trees 1998
Piotr Berman, Martin Furer, Alexander Zelikovsky Applications of the Matroid Parity Problem to Approximating Steiner Trees 1998
Vernon Ralph Austel Towards Computer-Verified Proofs of Correctness of Logic-Programming Interpreters Using Derivations 1998
Ronn Ritke, Xiaoyan Hong, M. Gerla Contradictory Relationship between Hurst Parameter and Queueing Performance 1998
Mike Loving, David Rennels A Two-Level Technique for Modeling Fault-Tolerant Systems 1998
D. W. Caldwell, D. A. Rennels Minimalist Fault Masking, Detection and Recovery Techniques for Mitigating Single Event Effects in Spaceborne Microcontrollers 1998
Rajive L. Bagrodia, Vikas Jha, Mineo Takai Performance Evaluation of Conservative Algorithms in Parallel Simulation Languages 1998
Jason Cong, Songjie Xu Delay-Oriented Technology Mapping for Heterogeneous FPGAs with Bounded Resources 1998
Atsushi Iwata, Ching-Chuan Chiang, Guangyu Pei, Mario Gerla, Tsu-wei Chen Scalable Routing Strategies for Multi-Hop Ad-hoc Wireless Network 1998
Dongwon Lee, Wesley W. Chu Conjunctive Point Predicate-based Semantic Caching for Web Databases 1998
Wei Wang, Jiong Yang, Richard Muntz STING+: An Approach to Active Spatial Data Mining 1998
Wei Wang, Jiong Yang, Richard Muntz PK-tree: A Spatial Index Structure for High Dimensional Point Data 1998
Kenneth W. Ng, Zhenghao Wang, Richard R. Muntz Dynamic Reconfiguration of Sub-Optimal Parallel Query Execution Plans 1998
Chang-Shing Perng, D. Stott Parker SQL/LPP: a Time Series Extension of SQL based on Limited Patience Patterns 1998
Jason Cong, David Zhigang Pan Interconnect Estimation and Planning for Deep Submicron Designs 1998
Chang-Shing Perng, D. Stott Parker SQL/LPP+: a Cascading Query Language for Temporal Correlation Verification in Time Series Databases 1998
Wei Wang, Jiong Yang, Richard Muntz An Approach to Temporal-Spatial Pattern Detection 1998
Jose Renato Santos, Richard Muntz Comparing Random Data Allocation and Data Striping in Multimedia Servers 1998
Sergey Y. Chernyavskiy, Boris Y. Kogan Computer Simulation of the Jafri-Winslow Action Potential Model 1998
none listed Architecture Evaluation for FPGAs with Embedded Memory Blocks 1998
Jiong Yang, Wei Wang, Richard Muntz, Jia Wang Dynamic Web Caching 1998
Haixun Wang, Carlo Zaniolo Aggregates in Recursive Datalog and SQL3 Queries 1998
Jiong Yang, Wei Wang, Silvia Nittel, Vincent Busam, Richard Muntz Dynamo:Design, Implumuntation, and Evaluation of Cooperative File Management in a Local Area Network 1998
Wesley W. Chu, Xiaohong Yang, Wenlei Mao CoSent: A Cooperative Sentinel for Database Systems 1999
Frank Meng and Wesley W. Chu Database Query Formation From Natural Language Semantic Modeling and Statistical Keyword Meaning Disambiguation 1999
Dongwon Lee, and Wesley W. Chu A Semantic Caching Scheme for Wrappers in Web Databases 1999
Sanghyun Park, Wesley W. Chu, Jeehee Yoon, Chihcheng Hsu A Suffix Tree for Fast Similarity Searches of Time-Warped Sub-Sequences in Sequence Databases 1999
Guangyu Pei, Mario Gerla, Xiaoyan Hong, Ching-Chuan Chiang Wireless Hierarchical Routing Protocol with Group Mobility (WHIRL) 1999
Murali Mani, Richard Muntz Broadcasting Issues in Video Servers 1999
frederick L. Crabbe and Michael G. Dyer MAXSON: Max-Based Second-Order Neural Network Reinforcement Learner for Mobile Agents in Continuous Environments 1999
Murali Mani, Alex Zelikovsky, Gautam Bhatia, Andrew B. Kahng Traversing probabilistic Graphs 1999
Mario Gerla, Renato Lo Cigno, Saverio Mascolo, and Wenjie Weng Generalized Window Advertising for TCP Congestion Control 1999
Andrew E. Caldwel, Andrew B. Kahng, Igor Markov Optimal Partitioners and end-case Placers for Standard-Cell Layout 1999
Andrew Caldwell, Andrew Kahng, Igor Markov Design and Implementation of Move-based Partitioners 1999
Gerald Chao, Michael G. Dyer Concentric Spatial Maps for Neural Network Based Navigation 1999
Frederick L. Crabbe and Michael G. Dyer Vicarious learning in Mobile Neurally Controlled Agents: The V-MAXSON Architecture 1999
Andrew Kennings, Igor Markov Analytical Placement of Hypergraphs - I 1999
Ronn Ritke Long Range Dependence in vBNS ATM Cell Level Traffic 1999
Lokesh Bajaj, Mineo Takai, Rajat Ahuja, Rajive Bagrodia, and Mario Gerla GloMoSim: A Scalable Network Simulation Environment 1999
Sanghyun Park, Dongwon Lee, Wesley Chu Fast Retrieval of Similar Subsequences in Long Sequence Databases 1999
Dongwon Lee, Wenlei Mao, Wesley W. Chu TBE: Trigger-By-Example 1999
Jason Cong, Sung Kyu Lim Edge Separability Based Circuit Clustering with Application to Circuit Partitioning 1999
Jason Cong, Sung Kyu Lim Performance Driven Multiway Partitioning 1999
Mario Correa, Ken Tang, Mario Gerla Isolation of Wireless Ad hoc Medium Access Mechanisms Under UDP 1999
Mario Gerla, Wenjie Weng, Renato Lo Cigna BA-TCP: A Bandwidth Aware TCP for Satellite Networks 1999
Dongwon Lee, Wenlei Mao, Wesley W. Chu, Henry Chiu TBE: A Graphical Interface for Writing Trigger Rules in Active Databases 1999
Mark Yarvis, An-I A. Wang, Alexey Rudenko, Peter Reiher, and Gerald J. Popek Conductor: Distributed Adaptation for Complex Networks 1999
Geoffrey H. Kuenning A Cron Daemon for Portable Computers 1999
Sung-Ju Lee, Julian Hsu, Russell Hayashida, Mario Gerla, Rajive Bagrodia Selecting a Routing Strategy for Your Ad Hoc Network 1999
Jason Cong, H. Li, C. Wu Performance-Driven Multi-Level and Multi-Way Partitioning 1999
Ewa Deelman, Rajive Bagrodia Performance Study of the MPI and MPI-CH Communication Libraries on the IBM SP 1999
Sung-Ju Lee, William Su, Mario Gerla On-Demand Multicast Routing Protocol in Multihop Wireless Mobile Networks 1999
Wai-Man R. Wong, Richard Muntz Providing Guaranteed Quality of Sevice for Interactive Visualization Applications 1999
Dirceu Cavendish, Alex Dubrovsky, Mario Gerla, Gianluca Reali, Scott Seongwook Lee Staticstical Internet QoS Guarantees for IP Telephony 1999
Dongwon Lee, Wesley W. Chu Constraints-preserving Transformation from XML Document Type Definition to Relational Schema 2000
Sergio Greco, Carlo Zaniolo GREEDY ALGORITHMS IN DEDUCTIVE DATABASES 2000
Jason Cong, Hui Huang Depth Optimal Incremental Mapping for Field Programmable Gate Arrays 2000
Jason Cong, Lei He, Cheng-Kok Koh, David Zhigang Pan Interconnect Sizing and Spacing with Consideration of Coupling Capacitance 2000
Sanghyun Park, Wesley W. Chu Discovering and Matching Elastic Rules from Sequence Databases 2000
Jun Wei, Lixia Zhang On Receiver-Driven Layered Multicast Transmission 2000
Jun Wei, Lixia Zhang A Helper Based Clustering Algorithm for Multicast Data Delivery 2000
Rajive Bagrodia, Mario Gerla, Songwu Lu, Richard Meyer, Daniel J. Valentino, Lixia Zhang Supporting Nomadic Healers 2000
Sanghyun Park, Sang-Wook Kim, Wesley W. Chu Segment-Based Approach for Subsequence Searches in Sequence Databases 2000
Gianfranco Doretto, Prabhakar Pundir, Ying Nian Wu, Stefano Soatto Dynamic Textures 2000
Sang-Wook Kim, Sanghyun Park, Wesley W. Chu An Index-Based Approach for Similarity Search Supporting Time Warping in Large Sequence Databases 2000
Stefano Soatto, Alessandro Chiuso, Ying-Nian Wu Dynamic Data Dimensionality Reduction: A Factorization Approach 2001
Jun Li, Jelena Mirkovic, Mengqiu Wang, Peter Reiher, Lixia Zhang SAVE: Source Address Validity Enforcement Protocol 2001
An-I A. Wang, Peter L. Reiher, Rajive Bagrodia A Simulation Framework and Evaluation for Optimistic Replicated Filing Environments 2001
Daniela Maniezzo, Matteo Cesana, Mario Gerla IA-MAC: Interference Aware MAC for WLANS 2002
Zhiguo Xu, Xiaoqiao Meng, Songwu Lu, Lixia Zhang IPv4 Address Allocation and the Evolution of the BGP routing table 2003
Wesley W. Chu, Hooshan Kangarloo, Zhenyu Liu A Knowledge-based Approach for Scenario-specific Content Correlation in a Medical Digital Library 2003
Y. Ma, P. Favaro, A. Duci, S. Soatto On Exploiting Occlusions in Multiple-view Geometry 2003
Scott Friedman, Richard Muntz, Matthew Yeo Integration of Real-Time Information into a Virtual Environment 2003
Jiejun Kong, Xiaoyan Hong, Mario Gerla An Anonymous On Demand Routing Protocol with Untraceable Routes for Mobile Ad-hoc Networks 2003
Jason Cong, Ashok Jagannathan, Glenn Reinman, Michail Romesis Microarchitecture Evaluation With Physical Planning 2003
Victor Z. Liu, Richard C. Luo, Junghoo Cho, Wesley W. Chu DPro: A Probabilistic Approach for Hidden Web Database Selection Using Dynamic Probing 2003
Rohit Kapoor, Matteo Cesana, Mario Gerla Link Layer Support for Streaming MPEG Video over Wireless Links 2003
Jason Cong, Michail Romesis, Min Xie OPTIMALITY AND STABILITY STUDY OF TIMING-DRIVEN PLACEMENT ALGORITHMS 2003
Yunjung Yi, Mario Gerla, JoonSang Team Oriented Multicast: a Scalable Routing Protocol for Large Mobile Networks 2003
B. Kogan, R. Huffaker, S. Lamp, J. Weiss EAD and Pulse Circulation in a 1D Ring –Shaped Cardiac Tissue with Pronounced Effect of Ca2+ Dynamics. (Computer Simulation Study) 2003
Jiejun Kong, Xiaoyan Hong, Mario Gerla The Role of Latin Square in Cipher Systems: A Matrix Approach to Model Encryption Modes of Operation 2003
Giacomino Veltri, Miodrag Potkonjak Misinformation Theory: Foundations and Applications 2003
Yun Chi, Yirong Yang, Richard R. Muntz Indexing and Mining Free Trees 2003
Richard Muntz, Yi Xia Mining Frequent Itemsets in Uncertain Datasets 2003
Yun Chi, Yirong Yang, Richard R. Muntz Mining Frequent Rooted Trees and Free Trees Using Canonical Forms 2003
Fang-Chun Chen, Roozbeh Jafari, Eren Kursun, Vijay Raghunathan, Thomas Schoellhammer, Doug Sievers, Deborah Estrin, Glenn Reinman, Majid Sarrafzadeh, Mani Srivastava, Ben Wu, Yang Yang Reconfigurable Fabric: An enabling technology for pervasive medical monitoring 2003
Xiaoqiao Meng, Zhiguo Xu, Lixia Zhang, Songwu Lu An Analysis of BGP Routing Table Evolution 2003
Dan Pei, Matt Azuma, Nam Nguyen, Jiwei Chen, Dan Massey, Lixia Zhang BGP-RCN: Improving BGP Convergence Through Root Cause Notification 2003
Jennifer L. Wong, Darko Kirovski, Miodrag Potkonjak Computational Forensic Techniques for Intellectual Property Computational Forensic Techniques for Intellectual Property 2003
Jennifer L. Wong, Farinaz Koushanfar, Seapahn Megerian, Miodrag Potkonjak Probabilistic Constructive Optimization Techniques 2003
Dan Pei, Lan Wang, Daniel Massey, Daniel Massey, S. Felix Wu, Lixia Zhang A Study of Packet Delivery Performance during Routing Convergence 2003
Dan Pei, Daniel Massey, Lixia Zhang, A Framework for Resilient Internet Routing Protocols 2003
Yun Chi, Yirong Yang, Yi Xia, Richard R. Muntz CMTreeMiner: Mining Both Closed and Maximal Frequent Subtrees 2003
Lan Wang, Daniel Massey, Keyur Patel, Lixia Zhang FRTR: A Scalable Mechanism to Restore Routing Table Consistency 2003
Stefano Soatto Perceptual Optics, Visual Radiometry, The Imaging Equation, and Their Role in Visual Reconstruction 2003
Yirong Yang, Yi Xia, Yun Chi, Richard R. Muntz Learning Naive Bayes Classifier from Noisy Data 2003
Jennifer L. Wong, Gang Qu, Miodrag Potkonjak Power Minimization in QoS Sensitive Systems 2003
Rohit Kapoor, Ling-Jyh Chen, M. Y. Sanadidi, Mario Gerla CapProbe: A Simple and Accurate Technique to Measure Path Capacity 2004
Yunjung Yi, Jiejun Kong, Mario Gerla Collaborative Recovery for Reliable Multicast in Mobile Ad Hoc Networks 2004
Joseph R. Shinnerl A Theorem on Partitioning a Sorted List of Numbers with an Application to VLSI Floorplanning 2004
R. Samade, B. Kogan The properties of the cardiac cell mathematical model with a Markovian representation of potassium channel gating processes under high pacing rate (Computer simulation study) 2004
Li Lao, Jun-Hong Cui, Mario Gerla A Scalable Hybrid Overlay Multicast Architecture for Large-Scale Applications 2004
Dan Pei, Beichuan Zhang, Dan Massey, Lixia Zhang An Analysis of Path-Vector Routing Protocol Convergence Algorithms 2004
Qinghua Zou, Shaorong Liu, Wesley Chu Ctree: A Compact Two-level Bidirectional Tree for Indexing XML Data 2004
P. Favaro, S. Soatto A Variational Approach to Scene Reconstruction and Image Segmentation from Motion-Blur Cues 2004
Ling-Jyh Chen, Tony Sun, Benjamin Cheung, Duke Nguyen, Mario Gerla Universal Seamless Handoff Architecture in Wireless Overlay Networks 2004
Alessandro Bissacco, Payam Saisan Gait Recognition using Dynamic Affine Invariants 2004
Yi Xia, Yirong Yang, Yun Chi, Richard R. Muntz Mining Association Rules with Non-uniform Privacy Concerns 2004
L. Robert Varney Interface-Oriented Programming 2004
Jennifer L. Wong, Rupak Majumdar, Miodrag Potkonjak Fair Watermarking using Combinatorial Isolation Lemmas 2004
Xiaoqiao Meng, Li Li, Thyaga Nandagopal, Songwu Lu Event Contour: An Efficient and Robust Mechanism for Tasks in Sensor Networks 2004
Peter Reiher, Jun Li, Geoff Kuenning Midgard Worms: Sudden Nasty Surprises from a Large Resilient Zombie Army 2004
Yun Chi, Yi Xia, Yirong Yang, Richard R. Muntz Mining Closed and Maximal Frequent Subtrees from Databases of Labeled Rooted Trees 2004
Junghoo Cho, Robert E. Adams Page Quality: In Search of an Unbiased Web Ranking 2004
Li Lao, Jun-Hong Cui, Mario Gerla Tackling Group-Tree Matching in Large Scale Group Communications 2004
Ling-Jyh Chen, Alok Nandan, Guang Yang, M. Y. Sanadidi, Mario Gerla CapProbe based Passive Capacity Estimation 2004
Siddharth Manay, Byung-Woo Hong , Daniel Cremers, Anthony Yezziy, Stefano Soatto Robust Multi-Scale Shape Distance and Correspondence via Integral Invariants 2004
Jiwei Chen, Yeng Zhong Lee, Mario Gerla, M.Y. Sanadidi TCP with Delayed Ack for Wireless Networks 2004
Hao Yang, Fan Ye, Jerry Cheng, Haiyun Luo, Songwu Lu, Lixia Zhang On Resiliency to Compromised Nodes: A Case for Location Based Security in Sensor Networks 2004
Jennifer L. Wong, Azadeh Davoodi, Vishal Khandelwal, Ankur Srivastava, Miodrag Potkonjak Wire-length Prediction using Statistical and Probabilistic Techniques 2004
Chen Avin, Gunes Ercal Bounds on the Mixing Time and Partial Cover of Ad-Hoc and Sensor Networks 2004
Fang Chu, Yizhou Wang, Carlo Zaniolo An Adaptive Learning Approach for Noisy Data Streams 2004
Chang Luo, Haixun Wang, Carlo Zaniolo ESL : a Data Stream Query Language and System Designed for Power and Extensibility 2004
Csaba Kiss Kall´o, Mauro Brunato, Sewook Jung, Ling-Jyh Chen, Mario Gerla Throughput, Energy and Path Length Tradeoffs in Bluetooth Scatternets 2004
Daniela Maniezzo, Gianluca Villa, Mario Gerla A "Smart" MAC-Routing Protocol for WLAN Mesh Networks 2004
Gautam Kulkarni, Alok Nandan, Mario Gerla, Mani Srivastava MIMAC: A Rate Adaptive MAC Protocol for MIMO-based Wireless Networks 2004
Tony Sun, Ling-Jyh Chen, Chih-Chieh Han, Mario Gerla Improving Data Reliability via Exploiting Redundancy in Sensor Networks 2004
Shaorong Liu, Qinghua Zou, Wesley Chu An Evaluation of the Configurable Indexing and Ranking System for Retrieving Information from XML Documents 2004
Dan Pei, Mohit Lad, Beichuan Zhang, Dan Massey, Lixia Zhang Route Diagnosis in Path Vector Protocols 2004
Jason Cong, Michalis Romesis, Joseph R. Shinnerl, Min Xie Further Studies on Placement Optimality 2004
Zhenyu Liu, I-Hsuan Wu, I-Lin Lee, Junghoo Cho Understanding Hidden-Web Traffic from The Perspective of A Metasearcher 2004
Jason Cong, Michail Romesis, Joseph R. Shinner Fast Floorplanning by Look-Ahead Enabled Recursive Bipartitioning 2004
Dan Pei, Dan Massey, Lixia Zhang A Simplified Formal Specification for BGP 2004
Brian Chin, Shane Markstrum, Todd Millstein Semantic Type Qualiers 2004
Dan Pei, Dan Massey, Lixia Zhang A Formal Specification for RIP Protocol 2004
Dan Pei, Dan Massey, Lixia Zhang Finite State Machines for BGP 2004
Alessandro Bissacco, Stefano Soatto Modeling and Learning Contact Dynamics in Human Motion 2004
Andrea Vedaldi, Stefano Soatto Features for Recognition: Viewpoint Invariance for Non-Planar Scenes 2004
Chen Avin, Gunes Ercal On The Cover Time of Random Geometric Graphs 2004
Jiejun Kong, Zhengrong Ji, Weichao Wang, Mario Gerla, Rajive Bagrodia On Wormhole Attacks in Under-Water Sensor Networks: A Two-Tier Localization Approach 2004
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar Permissive Interfaces 2004
Gianfranco Doretto, Stefano Soatto Modeling Dynamic Scenes with Active Appearance 2004
Li Lao, Jun-Hong Cui, Mario Gerla, Dario Maggiorini A Comparative Study of Multicast Protocols: Top, Bottom, or In the Middle? 2004
Jiejun Kong, Xiaoyan Hong, Joon-Sang Park, Yunjung Yi, Mario Gerla L’Hospital: Self-healing Secure Routing for Mobile Ad-hoc Networks 2004
Michael Parker, Amir Nader-Tehrani, Alok Nandan, Giovanni Pau Intelligent Neighbor Selection in P2P with CapProbe and Vivaldi 2004
Jason Cong, Michail Romesis, Joseph R. Shinnerl Robust Mixed-Size Placement by Recursive Legalized Bipartitioning 2004
Joseph Yeh, Ray Huffaker, Dr. Boris Kogan Adaptive grid algorithm in application to parallel computation of the solution of reaction diffusion equations 2005
Alessandro Bissacco, Jason Meltzer, Soheil Ghiasi, Majid Sarrafzadeh, Stefano Soatto Fast Visual Feature Selection and Tracking in a Hybrid Reconfigurable Architecture 2005
Junjuan Xu, Jason Cong, Xu Cheng Lower-Bound Estimation for Multi-Bitwidth Time-Constrained Scheduling 2005
Fang Chu, Yizhou Wang, Carlo Zaniolo, D. Stott Parker Improving Mining Quality by Exploiting Data Dependency 2005
Ling-Jyh Chen, Tony Sun, Guang Yang, M. Y. Sanadidi, Mario Gerla AdHoc Probe: Path Capacity Probing in Wireless Ad Hoc Networks 2005
Saurabh Tewari, Leonard Kleinrock Analysis of Search and Replication in Unstructured Peer-to-Peer Networks 2005
Fabio Cuzzolin, Stefano Soatto Using Bilinear Models for View-invariant Identity Recognition from Gait 2005
Yijian Bai, Chang R. Luo, Hetal Thakkar, Haixun Wang, Carlo Zaniolo ESL: a Very Powerful SQL-Compliant Data Stream Language 2005
Alessandro Bissacco, Stefano Soatto Classifying Human Dynamics Without Contact Forces 2005
Mohit Lad, Dan Massey, Lixia Zhang Visualizing Internet Routing Dynamics using Link-Rank 2005
Andrea Vedaldi, Paolo Favaro, Hailin Jin, Stefano Soatto KALMANSAC: Causal Inference of Dynamic Processes Drowned in Outliers With Application to Tracking and Real-time Structure From Motion 2005
Andrea Vedaldi, Stefano Soatto On Viewpoint Invariance for Non-Planar Scenes 2005
Dejun Wang, Emmanuel Prados, Stefano Soatto Toward robust and physically plausible shaded stereoscopic segmentation 2005
Jiejun Kong, Xiaoyan Hong, Mario Gerla, M.Y. Sanadidi Comparison: ASR is a Variant of ANODR 2005
Jiejun Kong Formal Notions of Anonymity for Peer-to-peer Networks 2005
Jennifer L. Wong, Azadeh Davoodi, Vishal Khandelwal, Ankur Srivastava, Miodrag Potkonjak Non-Parametric Statistical Methodology for Wire-length Prediction 2005
Jason Meltzer, Stefano Soatto Shiny Correspondence: Multiple-View Features for Non-Lambertian Scenes 2005
Eli Gafni, Sergio Rajsbaum Musical Benches 2005
Yoshio Turner, Yuval Tamir Deadlock-Free Connection-Based Adaptive Routing with Dynamic Virtual Circuits 2005
Yoshio F. Turner (Dissertation) Connection-Based Adaptive Routing Using Dynamic Virtual Circuits 2005
Yeng-Zhong Lee, Jason Chen, Biao Zhou, Mario Gerla “Direction” forwarding for highly mobile, large scale ad hoc networks 2005
Tony Sun, Ling-Jyh Chen, Chih-Chieh Han, Guang Yang, Mario Gerla Measuring E®ective Capacity of IEEE 802.15.4 Beaconless Mode 2005
Shirshanka Das, Alok Nandan, Michael G. Parker, Giovanni Pau, Mario Gerla Grido- An Architecture for a Grid-based Overlay Network 2005
Ling-Jyh Chen, Li Lao, Tony Sun, Guang Yang, M. Y. Sanadidi, Mario Gerla PBProbe: A CapProbe based Scalable Capacity Estimation Tool 2005
Guang Yang, Ling-Jyh Chen, Tony Sun, Biao Zhou, Mario Gerla Ad-hoc Storage Overlay System (ASOS): A Delay-Tolerant Approach in MANETs 2005
Biao Zhou, Floriano De Rango, Yengzhong Lee, Mario Gerla, Salvatore Marano Geo-LANMAR: A Scalable Routing Protocol for Large Wireless Ad Hoc Networks with Group Motion 2005
Ray Huffaker, Boris Kogan 3-dimensional simulation of long QT syndrome: early afterdepolarizations and reentry 2005
R. Samade, B. Kogan A Synthesis of a Rabbit Ventricular Myocyte Model Based on a Chudin Formulation of Calcium Dynamics (Computer Simulation Study) 2005
Navid Aghdaie (Dissertation) Transparent Fault-Tolerant Network Services Using Off-the-Shelf Components 2005
Gustavo Marfia, Claudio Palazzi, Giovanni Pau, Mario Gerla, M. Y. Sanadidi, Marco Roccetti TCP Libra: Exploring RTT-Fairness for TCP 2005
Christopher Frost, Todd Millstein Featherweight JPred 2005
Navid Aghdaie, Yuval Tamir CoRAL: A Transparent Fault-Tolerant Web Service 2005
Saurabh Tewari, Leonard Kleinrock Optimal Search Performance in Unstructured Peer-to-Peer Networks With Clustered Demands 2005
Brian Chin, Shane Markstrum, Todd Millstein, Jens Palsberg Inference of User-Dened Type Qualiers and Qualier Rules 2005
Douglas E. Carroll, Ashish Goel, Adam Meyerson Embedding Bounded Bandwidth Graphs into L1 2005
Byung-Woo Hong, Emmanuel Prados, Luminita Vese, Stefano Soatto Shape Representation based on Integral Kernels: Application to Image Matching and Segmentation 2005
Alessandro Bissacco, Stefano Soatto Classifying Human DynamicsWithout Contact Forces 2005
Alessandro Bissacco, Ming-Hsuan Yang, Stefano Soatto Fast Human Pose Estimation using Appearance and Motion via Multi-Dimensional Boosting Regression 2005
Alessandro Bissacco, Ming-Hsuan Yang, Stefano Soatto Detecting Humans With Their Pose 2005
Saurabh Tewari, Leonard Kleinrock Entropy and Search Distance in Peer-to-Peer Networks 2005
Fabio Cuzzolin, Stefano Soatto Using Bilinear Models for View-invariant Action and Identity Recognition 2005
Fabio Cuzzolin, Stefano Soatto Learning Riemannian Metrics for Classification of Dynamical Models 2005
Roozbeh Jafari, Alberto Cerpa, Soheil Ghiasi, Majid Sarrafzadeh On Minimal Energy Skew Routing in Lossy Wireless Sensor Networks 2005
Jeffrey Fischer, Rupak Majumdar, Todd Millstein Preventing lost messages in event-driven programming 2006
Zhengrong Ji, Mahesh Marina, Maneesh Varshney, Zhiguo Xu, Yi Yang, Junlan Zhou, Rajive Bagrodia WHYNET: A Hybrid Testbed for Large-Scale, Heterogeneous and Adaptive Wireless Networks 2006
Jennifer L. Wong, Vishwal Khandelwal, Ankur Srivastava, Miodrag Potkonjak Statistical Timing Analysis using Kernel Smoothing 2006
Emmanuel Prados, Christophe Lenglet, Jean-Philippe Pons, Nicolas Wotawa, Rachid Deriche, Olivier Faugeras Control Theory and Fast Marching Methods for Brain Connectivity Mapping 2006
Jennifer L. Wong, Seaphan Megerian, Miodrag Potkonjak Inter-sensor Modeling from Multi-Sample/Multi-Sensor: Techniques and Applications 2006
Jennifer L. Wong, Azadeh Davoodi, Ankur Srivastava, Miodrag Potkonjak A Priori Wirelength Estimation: Statistical Models, Bounds and Applications 2006
Uichin Lee, Jiejun Kong, Joon-Sang Park, Eugenio Magistretti, Mario Gerla Time-critical Underwater Sensor Diffusion with No Proactive Exchanges and Negligible Reactive Floods 2006
Ming Li (Dissertation) Fault-Tolerant Cluster Management 2006
Eddie Kohler Click for Measurement 2006
Chen Avin Distance Graphs: From Random Geometric Graphs to Bernoulli Graphs and Between 2006
Mahesh K. Marina, Samir R. Das, Anand Prabhu Subramanian A Topology Control Approach for Utilizing Multiple Channels in Multi-Radio Wireless Mesh Networks 2006
Alessandro Warth, Todd Millstein Featherweight eJava 2006
Shaorong Liu, Wesley W. Chu CoXML: A Cooperative XML Query Answering System 2006
Ricardo Oliveira, Mohit Lad, Beichuan Zhang Placing BGP Monitors in the Internet 2006
Zhenyu Liu, Wesley W. Chu Knowledge-Based Query Expansion to Support Scenario-Specific Retrieval of Medical Free Text 2006
Alessandro Bissacco, Alessandro Chiuso, Stefano Soatto Classification and Recognition of Dynamical Models: The Role of Phase, Independent Components, Kernels and Optimal Transport 2006
Jason Cong, Michalis Romesis, Joseph R. Shinnerl, Kenton Sze, Min Xie Locality and Utilization in Placement Suboptimality 2006
Thomas Y. Yeh, Petros Faloutsos Accelerating Real-Time Physics Simulation by Leveraging High-Level Information 2006
Thomas Y. Yeh, Petros Faloutsos Cache Behavior of Real-Time Physics Simulation 2006
Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus 2006
Yijian Bai, Haixun Wang, Carlo Zaniolo Load Shedding in Classifying Multi-Source Streaming Data: A Bayes Risk Approach 2006
Tia Gao, Tammara Massey, Leo Selavo, Matt Welsh, David Crawford, Alexander Alm, William Bishop, Daniel Bernstein, Logan Hauenstein, James Jeng, Ajun Chanmugam, David White, Majid Sarrafzadeh A Pervasive, Real-time Electronic Triage System with Noninvasive, Biomedical Sensors 2006
Tammara Massey Towards Non-parametric Statistical Modeling for Low Power Radios in Body Area Networks: Analysis, Modeling, and Simulation 2006
Jason Cong, Eren Kursun, Yongxiang Liu, Yuchun Ma, Glenn Reinman 3D Architecture Modeling and Exploration 2006
Douglas E. Carroll, Adam Meyerson Embedding Bounded Bandwidth Graphs into Lp 2007
Tammara Massey, Philip Brisk, Foad Dabiri, William Bishop, Ricardo Oliveira, Majid Sarrafzadeh Delay Aware, Reconfigurable Security for Embedded Systems 2007
Luigi Ricciato, Stefano Soatto ICPSAC: A New Robust and Accurate Registration Algorithm 2007
Haibin Ling, Stefano Soatto Proximity Distribution Kernels for Geometric Context in Category Recognition 2007
Byung-Woo Hong Meaningful Corespondence, Local Contex and Shape Statistics in Deformable Templates 2007
Michalis Raptis, Matteo Bustreo, Stefano Soatto Time Warping Under Dynamic Constraints With Application to Non-Stationary Action Alignment and Classification 2007
Zhao Yi, Stefano Soatto Correspondence Transfer for the Registration of Multimodal Images 2007
Jeffrey Fischer, Rupak Majumdar Ensuring Consistency in Long Running Transactions 2007
Andrea Vedaldi An open implementation of the SIFT detector and descriptor 2007
Uichin Lee, Sewook Jung, Alexander Chang, Dae-Ki Cho, Mario Gerla Bluetooth-based P2P Content Distribution to Mobile Users 2007
Michael Emmi, Ranjit Jhala, Rupak Majumdar Verifying Reference Counted Objects 2007
Joon-Sang Park, Uichin Lee, Soon Young Oh, Mario Gerla, Desmond Lun Emergency Related Video Streaming in VANETs using Network Coding 2007
Simone Savasta, Marco Pini, Gustavo Marfia Performance Assessment of a Commercial GPS Receiver for Networking Applications 2007
Gustavo Marfia, Paolo Lutterotti, Giovanni Pau MobiTools: An Integrated Toolchain for Mobile Ad Hoc Networks 2007
Uichin Lee, Kang-Won Lee, Soon Young Oh, Mario Gerla Capacity of Delay Tolerant Networks 2007
Barzan Mozafari, Hetal Thakkar, Carlo Zaniolo Verifying and Mining Frequent Patterns from Large Windows over Data Streams 2007
Samade, R. and Kogan, B. Effects of Ca2+ Dynamics on Failed Defibrillation: A Pilot Simulation Study 2007
Soon Y. Oh, Mario Gerla, Joon-Sang Park E-ODMRP:Enhanced ODMRP with Motion Adaptive Refresh 2007
Ryuzo Okada, Stefano Soatto Relevant Feature Selection for Human Pose Estimation and Localization in Cluttered Images 2007
Kamil Wnuk, Stefano Soatto Filtering Internet Image Search Results Towards Keyword Based Category Recognition 2007
Zhao Yi Nonrigid Registration Combining Global and Local Statistics 2007
Brian Fulkerson, Andrea Vedaldi, Stefano Soatto Localizing Objects With Smart Dictionaries 2007
Yifei Lou, Paolo Favaro, Stefano Soatto Nonlocal Affine Image Filtering 2007
M. Frank Chang, Jason Cong, Adam Kaplan, Mishali Naik, Glenn Reinman, Eran Socher, Sai-Wang Tam CMP Network-on-Chip Overlaid With Multi-Band RF-Interconnect 2007
Teresa Ko, Deborah Estrin, Stefano Soatto Background Subtraction on Distributions 2007
Byung-Woo Hong, Kangyu Ni, Stefano Soatto Scale of Texture and its Application to Segmentation 2008
Mohit Lad, Jonathan Park, Tiziana Refice, Lixia Zhang A Study of Internet Routing Stability Using Link Weight 2008
Dan Jen, Michael Meisel, Daniel Massey, Lan Wang, Beichuan Zhang, Lixia Zhang APT: A Practical Tunneling Architecture for Routing Scalability 2008
Nahal Farhi, Eugenio Giordano, Gianluca Grilli, Amir Mohsen Jourabchi, Sepehr Sahba GPSR Implementation for QualNet 4.0 2008
Carlo A. Curino, Hyun J. Moon, Letizia Tanca, Carlo Zaniolo Schema Evolution in Wikipedia: toward a Web Information System Benchmark 2008
Hyun J. Moon, Carlo A. Curino, Carlo Zaniolo Architecture and Optimization for Transaction-time DBs with Evolving Schemas 2008
Kevin C. Lee, Pei-Chun Cheng, Jui-Ting Weng, Lung-Chih Tung, Mario Gerla VCLCR: A Practical Geographic Routing Protocol in Urban Scenarios 2008
Jason Cong, Karthik Gururaj, Guoling Han, Adam Kaplan, Mishali Naik, Glenn Reinman "MC-Sim: An Efficient Simulation Tool for Heterogeneous Multi-core System 2008
Jeffrey Fischer, Rupak Majumdar A Theory of Role Composition 2008
Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd Millstein Practical Enforcement and Testing of Pluggable Type Systems 2008
Donnie Kim, Nicolai Petersen, Mohammad Rahimi, Jeff Burke, Deborah Estrin Rewind: Leveraging Everyday Mobile Phones for Targeted Assisted Recall 2008
Michalis Raptis, Kamil Wnuk, Stefano Soatto Flexible Dictionaries for Action Classification 2008
Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino The Consistency of Web Conversations 2008
Eric Osterweil, Michael Ryan, Dan Massey, Lixia Zhang Quantifying the Operational Status of the DNSSEC Deployment 2008
Yifei Lou, Andrea Bertozzi, Stefano Soatto Direct Sparse Deblurring 2008
Pasquale Cataldi, Mario Gerla, Gianluca Grilli, Andrea Tomatis Careless data dissemination in mobility environment with rateless codes 2008
Ioannis Pefkianakis, Starsky H.Y. Wong, Songwu Lu Spectrum Aware Routing in Cognitive Radio Mesh Networks 2008
Rafael Laufer, Leonard Kleinrock Multirate Anypath Routing in Wireless Mesh Networks 2008
Ricardo Oliveira, Dan Pei, Walter Willinger, Beichuan Zhang, Lixia Zhang Quantifying the Completeness of the Observed Internet AS-level Structure 2008
Andrea Vedaldi, Paolo Favaro, Stefano Soatto Weak and Strong Parzen Boosting 2008
Andrea Vedaldi, Paolo Favaro, Stefano Soatto Weak and Strong Parzen Boosting 2008
Brian Fulkerson, Andrea Vedaldi, Stefano Soatto Superpixel Class Segmentation and Object Localization 2008
Sandra Batista A Note on Space Bounded Interactive Proof Systems and Martingales 2008
Michalis Raptis, Kamil Wnuk, Stefano Soatto Spike Train-Driven Dynamical Models of Human Motion: Towards Separating the Action from the Actor 2008
Gunes Ercal Rafit Izhak-Ratzin Rupak Majumdar Adam Meyerson Frugal Routing on Wireless Ad-Hoc Networks-TR-09-0004 2008
Suk-Bok Lee, Ioannis Pefkianakis, Adam Meyerson, Shugong Xu, Songwu Lu Proportional Fair Frequency-Domain Packet Scheduling for 3GPP LTE Uplink 2009
Rafit Izhak Ratzin, Nikitas Liogkas, Rupak Majumdar Team Incentives in BitTorrent Systems 2009
Maryam Moazeni, Yi Zou, Mahsan Rofouei, Alex Bui, Majid Sarrafzadeh, Jason Cong A Performance Evaluation of General Purpose Applications on Multithreaded GPUs 2009
Ganesh Sundaramoorthi, Andrea Mennucci, Stefano Soatto, Anthony Yezzi Tracking Deforming Objects by Filtering and Prediction in the Space of Curves 2009
Stefano Soatto Actionable Information in Vision 2009
Ilias Leontiadis, Gustavo Marfia, David Mack, Cecilia Mascolo, Giovanni Pau, Mario Gerla An Opportunistic Traffic Management System for Vehicular Networks 2009
Pasquale Cataldi, Andrea Tomatis, Gianluca Grilli, Mario Gerla A novel data dissemination method for vehicular networks with rateless codes 2009
Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd Millstein Fine-Grained Access Control with Object-Sensitive Roles 2009
Zhao Yi, Andrew Blake, Antonio Criminisi, Jamie Shotton, Stefano Soatto Discriminative, Semantic Segmentation of Brain Tissue in MR Images 2009
Eugenio Giordano, Enzo De Sena, Giovanni Pau, Mario Gerla VERGILIUS: A Scenario Generator for VANETs 2009
Ganesh Sundaramoorthi, Stefano Soatto, Anthony Yezzi Curious Active Contours 2009
Jianming He, Wesley W. Chu A Social Network-Based Recommender System 2009
Michael Meisel, Vasileios Pappas, Petros Zerfos, Lixia Zhang Emergent Mobile Services 2009
Giovanni Pau, and Antony Rowstron Characteristics of a Vehicular Network 2009
Raphael Frank, Eugenio Giordano, Pasquale Cataldi, Mario Gerla TrafRoute: An Efficient Routing Scheme for Vehicular Networks 2009
R. Samade, K.R. Raghavan, and B. Kogan A Parallel Multigrid Algorithm for Solving Elliptic Equations in the Cardiac Bidomain Model 2009
David Jurgens, Keith Stevens Word Ordering with Reduced Dimensionality for Sense Induction 2009
Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy DRFx: A Simple and Efficient Memory Model for Concurrent Programming Languages - Full Formal Development 2009
Rafael Laufer, Luiz Filipe M. Vieira, Mario Gerla, Leonard Kleinrock Plasma Anypath Routing in Wireless Mesh Networks 2009
Eric Osterweil, Dan Massey, Lixia Zhang Vantages: Using “Public Data” for Key Verification 2009
Eli Gafni, Sergio Rajsbaum Distributed Programming with Tasks 2010
Taehee Lee, Stefano Soatto Realtime Feature Tracking and Object Recognition on Mobile Platforms 2010
Byung-Woo Hong, Stefano Soatto A Multiscale Integral Invariant 2010
Byung-Woo Hong, Kangyu Ni, Stefano Soatto Texture Segmentation based on Multiscale Local Entropy from Intrinsic Images 2010
Michalis Raptis, Stefano Soatto Time Series of Local Photometry as Simple Descriptors for Action Modeling and Video Analysis 2010
Jong Han Park, Ricardo Oliveira, Shane Amante, Danny McPherson, Lixia Zhang Towards a systematic understanding of route reflection 2010
Stefano, Soatto An Analysis of Feature-Based Visual Recognition 2010
Taehee Lee, Stefano Soatto TST/BTD: An End-to-End Visual Recognition System 2010
Zhao Yi and Stefano Soatto Multimodal Registration via Spatial-Context Mutual Information 2010
Eagle S. Jones, Stefano Soatto Visual-Inertial Navigation, Localization and Mapping: A Scalable Real-Time Large-Scale Approach 2010
Alper Ayvaci, Michalis Raptis, Stefano Soatto Occlusion Detection and Motion Estimation via Convex Optimization 2010
Rafit Izhak-Ratzin, Hyunggon Park, Mihaela van der Schaar Foresighted Resource Reciprocation Strategy in BitTorrent Systems 2010
Roberto Carisi, Eugenio Giordano, Giovanni Pau Enhanching in Vehicle Digital Maps via GPS Crowdsourcing 2010
Jason Cong, Vivek Sarkar, Glenn Reinman, and Alex Bui Customizable Domain-Specific Computing 2010
Eric Osterweil, Dan Massey, Beichuan Zhang, Lixia Zhang Public Data: a New Substrate for Key Verification in DNSSEC 2010
Michael Meisel, Vasileios Pappas, Lixia Zhang Listen First, Broadcast Later: Topology-Agnostic Forwarding under High Dynamics 2010
Shawn Singh, Mubbasir Kapadia, Glenn Reinman, Petros Faloutsos Evaluating the Costs and Constraints Used to Make Footstep Decisions 2010
Pei-chun Cheng, Jong Han Park, Keyur Patel, Lixia Zhang Route Flap Damping With Assured Reachability 2010
Michael J. Welch, Junghoo Cho, Walter Chang Generating Advertising Keywords from Video Content 2010
Jaeyoung Choi, Jong Han Park, Pei-chun Cheng, Dorian Kim, Lixia Zhang Understanding BGP Next-hop Diversity 2010
Stefano Soatto Steps Towards a Theory of Visual Information 2010
Aaron Cote, Adam Meyerson, Alan Roytman, Michael Shindler, Brian Tagiku Energy-Efficient Online Scheduling with Deadlines 2010
Jong Han Park, Pei-chun Cheng, Shane Amante, Dorian Kim, Danny McPherson, Lixia Zhang BGP Next-hop Diversity: A Comparative Study 2010
Hamid Mousavi, Carlo Zaniolo Fast and Space-Efficient Computation of Equi-Depth Histograms for Data Streams 2010
Stefano Soatto Texture, Structure, and Visual Matching 2010
Rafael Laufer, Henri Dubois-Ferriere, Leonard Kleinrock Polynomial-Time Algorithms for Multirate Anypath Routing in Wireless Multihop Networks 2010
Stefano Soatto and Alessandro Chiuso Controlled Recognition Bounds for Scaling and Occlusion Channels 2010
Alper Ayvaci, Stefano Soatto Detachable Object Detection 2010
Michalis Raptis, Iasonas Kokkinos, Stefano Soatto Discovery of Action Parts 2010
Taehee Lee, Stefano Soatto Learning and Matching Multiscale Template Descriptors for Real-Time Detection, Localization and Tracking 2010
Ioannis Pefkianakis, Suk-Bok Lee, Songwu Lu MIPS: MIMO Power Save in 802.11n Wireless Networks 2010
Mubbasir Kapadia, Shawn Singh, Glenn Reinman, Petros Faloutsos Multi-Agent Behavior Specification and Generation 2010
Suk-Bok Lee, Starsky H. Y. Wong, Kang-Won Lee, Songwu Lu Content Management in a Mobile Ad Hoc Network: Beyond Opportunistic Strategy 2011
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd Millstein, Madanlal Musuvathi Efficient Processor Support for DRFx, a Memory Model with Exceptions: Full Formal Development 2011
Mubbasir Kapadia Variable Resolution Anytime A* -- Application in Real-Time Path Planning for Complex Environments 2011
Beayna Grigorian, Marco Vitanza, Jason Cong, Glenn Reinman Accelerating Vision and Navigation Applications on a Customizable Platform 2011
Eun-Kyu Lee, Soon Y. Oh, Mario Gerla Fast and Resilient Key Establishment using Quorum Rendezvous under Jamming Attack 2011
Alper Ayvaci, Stefano Soatto Efficient Model Selection for Detachable Object Detection 2011
Wooseong Kim, Andreas J. Kassler, Marco Di Felicez, Mario Gerla Experiment and Design of TCP for Cognitive Multi-Radio Mesh Networks 2011
Jong Hoon Ahnn, Hao Shi, Liyin Tang, Jelena Mirkovic, Ted Faber Application-Optimal Resource Allocation from Multiple Clouds 2011
Jong Han Park, Pei-chun Cheng, Shane Amante, Dorian Kim, Danny McPherson, Lixia Zhang Quantifying i-BGP Convergence inside Large ISPs 2011
Brian Sung Chul Choi, Mario Gerla Finding the Transmit Power Limit for Cognitive Radios and Its Impact in a Fading Environment 2011
Vids Samanta Using Clock Skew Fingerprints to Increase the Cost of Spoofing on Participatory Sensing Devices 2011
Jagruti Pandya Incompressibility Accelerated Collision Detection and Resolution For Deformable Bodies 2011
Georgios Georgiadis, Alper Ayvaci, and Stefano Soatto Actionable Saliency Detection 2011
Kamil Wnuk, Stefano Soatto Multiple Instance Filtering 2011
Avinash Ravichandran, Stefano Soatto Modeling Stationarity at Multiple Time-Scales For Applications in Fire Detection and Traffic Monitoring 2011
Roberto Carisi, Eugenio Giordano, Giovanni Pau Enhanching in Vehicle Digital Maps via GPS Crowdsourcing 2011
Nikhilesh Reddy, Jinseong Jeon, Jeffrey A. Vaughan, Todd Millstein, Jeffrey S. Foster Application-centric security policies on unmodified Android 2011
Chunyi Peng, Suk-Bok Lee, Songwu Lu Green 3G Cellular Network Infrastructure: A Traffic-driven Approach 2011
Taehee Lee, Stefano Soatto Edgel Templates for Fast Planar Object Detection and Pose Estimation 2011
Pei-chun Cheng, Jong Han Park, Keyur Patel, Shane Amante, Lixia Zhang Explaining BGP Slow Table Transfers: Implementing a TCP Delay Analyzer 2011
Avinash Ravichandran, Stefano Soatto Long-Range Spatio-Temporal Modeling with Application to Fire Detection 2011
Georgios Georgiadis, Stefano Soatto Scene-Aware Video Modeling and Compression 2011
Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo Graph Queries in Datalog with Frequency Support: from Abstract Semantics to Efficient Implementation 2011
Metin Ozbilen, Milos D. Ercegovac Design and Evaluation of Schemes for Computing Sum of Squares in Fixed Point 2011
Zhao Yi, Stefano Soatto, Maneesh Dewan, Yiqiang Zhan Information Forests 2012
Brian Taylor, Alper Ayvaci, Avinash Ravichandran, Stefano Soatto Moving Object Detection and Pixel-Level Localization From Semantic Priors and Topological Constraints 2012
Chuchu Wu, Mario Gerla, Mihaela van der Schaar Social Norm Incentives for Secure Network Coding in MANETs 2012
Nikolay Laptev, Hamid Mousavi, Alexander Shkapsky, Carlo Zaniolo Optimizing Regular Expression Clustering for Massive Pattern Search 2012
Jeffrey A. Vaughan, Todd Millstein Secure Information Flow for Concurrent Programs Under Total Store Order: Supplemental Technical Material 2012
Jason Cong, Peng Zhang, Yi Zou Optimizing Memory Hierarchy Allocation with Loop Transformations for High-Level Synthesis 2012
Ethan L. Schreiber, Richard E. Korf Locality-Preserving Pattern Databases 2012
Jason Cong, Mohammad Ali Ghodrat, Michael Gill, Chunyue Liu, Glenn Reinman, Peng Zhang A Shared Buffer-in-NUCA Management Scheme for Accelerator-rich CMPs 2012
Alessandro Chiuso, Georgios Georgiadis, Stefano Soatto Texture, Structure and Visual Matching 2012
Chi-Yu Li, Chunyi Peng, Songwu Lu Achieving 802.11n NIC Energy Efficiency through Rate Adaptation 2012
Kai Zeng, Barzan Mozafari, Shi Gao, Carlo Zaniolo Uncertainty Propagation in Complex Query Networks on Data Streams: A New Paradigm for Load Shedding 2012
Eric Griffis, Jeffrey A. Vaughan, and Todd Millstein A Platform for Expressive and Secure Data Sharing with Untrusted Third Parties 2012
Georgios Georgiadis, Alessandro Chiuso, Stefano Soatto Texture Compression 2012
Guan-Hua Tu, Chunyi Peng, Chi-Yu Li, Xingyu Ma, Songwu Lu Mobile Data Accounting On the Go 2012
Hamid Mousavi, Deirdre Kerr, Markus Iseli, Carlo Zaniolo Deducing InfoBoxes from Unstructured Text in Wikipedia Pages 2013
Hamid Mousavi, Carlo Zaniolo Fast Computation of Approximate Biased Histograms on Sliding Windows over Data Streams 2013
Hamid Mousavi, Deirdre Kerr, Markus Iseli, Carlo Zaniolo OntoHarvester: An Unsupervised Ontology Generator from Free Text 2013
Maneesh Varshney, Vishwa Goudar PDQCollections: A Data-Parallel Programming Model and Library for Associative Containers 2013
Maneesh Varshney, Vishwa Goudar Blue: A Unified Programming Model for Diverse Data-intensive Cloud Computing Paradigms 2013
Jonathan Balzer, Daniel Acevedo-Feliz, Stefano Soatto, Sebastian Höfer, Markus Hadwiger, Jürgen Beyerer Cavlectometry: Holistic Reconstruction of Specular Objects in the Cave 2013
Joachim Valente, Stefano Soatto Modeling Focal Distortion for Face Image Editing and Recognition 2013
Damek Davis, Jonathan Balzer, Stefano Soatto Asymmetric sparse kernel approximations for nearest neighbors search 2013
Georgios Georgiadis, Stefano Soatto Natural Image Segmentation from Multiple Scale-Adapted Region Hypotheses 2013
M. Mazuran, E. Serra, Carlo Zaniolo Declarative Extension of Horn Clauses, and its Significance for Datalog and its Applications 2013
Mohsen Lesani, Rupak Majumdar, Todd Millstein, Sai Deep Tetali Static Analysis for Secure Cloud Computations 2013
Hamid Mousavi, Shi Gao, Carlo Zaniolo Discovering Attribute and Entity Synonyms for Knowledge Integration and Semantic Web Search 2013
Ioannis Pefkianakis, Chi-Yu Li, Chunyi Peng, Suk-Bok Lee, Songwu Lu Collaborative MIMO 802.11 Energy Save 2013
Lap-Fai Yu, Sai-Kit Yeung, Vladlen Koltun, Demetri Terzopoulos Clutterbrushing 2013
Vasiliy Karasev, Avinash Ravichandran, Stefano Soatto Active Frame and Detector Selection For Semantic Video Segmentation 2013
Yu-Ting Yu, Joshua Joy, Mario Gerla, M. Y. Sanadidi DT-ICAN: A Delay-tolerant Information-Centric Ad-Hoc Network 2013
Richard E. Korf, Ethan L. Schreiber, and Michael D. Moffitt Optimal Sequential Multi-Way Number Partitioning 2013
S. Soatto Observability, Identifiability, Sensitivity and Model Reduction for Vision-Assisted Inertial Navigation 2013
Nikolaos Karianakis, Yizhou Wang, Stefano Soatto Learning to Discriminate in the Wild: Representation-Learning Network for Nuisance-Invariant Image Comparison 2013
Michael Le, Yuval Tamir Fault Injection in Virtualized Systems -- Challenges and Applications 2013
Michael Le, Yuval Tamir Resilience to Device Driver Failures Using Virtualization 2013
Kai Zeng, Shi Gao, Barzan Mozafari, Carlo Zaniolo The Analytical Bootstrap: A New Method for Fast Error Estimation in Approximate Query Processing 2013
Jason Cong, Muhuan Huang, Peng Zhang Combining Computation and Communication Optimizations in System Synthesis for Streaming Applications 2013
Eun-Kyu Lee, Rui Huang, Peter Chu, Rajit Gadh, Mario Gerla Enhancing Customer Building Facility to Support Microgrid Operations 2014
Eun-Kyu Lee, Rajit Gadh, Mario Gerla Experiencing Commercialized Automated Demand Response with Small Customer in Energy Market 2014
Eun-Kyu Lee, Jae-Han Lim, Joshua Joy, Mario Gerla, Rajit Gadh Multi-Factor Authentication and Authorization using Attribute Based Identification 2014
Alexander Shkapsky, Neng Lu, Carlo Zaniolo Towards More Powerful Datalog Systems: The Implementation and Optimization of Recursive Queries with Monotonic Aggregates in DeALS 2014
Hamid Mousavi, Deirdre Kerr, Markus Iseli, Carlo Zaniolo Mining Semantic Structures from Syntactic Structures in Free Text Documents 2014
Noah Duncan, Lap-Fai Yu, Sai-Kit Yeung, Demetri Terzopoulos Merging Functional and Aesthetic Objects 2014
Michael Le (Dissertation) Resilient Virtualized Systems 2014
Israel Hsu (Dissertation) Design and Validation of a Layered Approach to Fault Tolerance for Distributed Applications 2014
Jason Cong, Peng Li, Bingjun Xiao, and Peng Zhang An Optimal Microarchitecture for Stencil Computation Acceleration Based on Non-Uniform Partitioning of Data Reuse Buffers 2014
Vasiliy Karasev, Avinash Ravichandran, Stefano Soatto Active Frame, Location, and Detector Selection for Automated and Manual Video Annotation 2014
Mohsen Lesani, Todd Millstein, Jens Palsberg Automatic Atomicity Verification for Clients of Concurrent Data Structures 2014
Jae-Han Lim , Katsuhiro Naito , Ji-Hoon Yun , Danijela Cabric and Mario Gerla Collaboration of TVWS and DSRC: Safety Message Dissemination in Urban Intersection 2014
Muhuan Huang, Kevin Lim, Jason Cong A Scalable, High-Performance Customized Priority Queue 2014
Mohan Yang, Carlo Zaniolo Main Memory Evaluation of Recursive Queries on Multicore Machines 2014
H. Tangmunarunkit, C.K. Hsieh, J. Jenkins, C. Ketcham, J. Selsky, F. Alquaddoomi, D. George, J. Kang, Z. Khalapyan, B. Longstaff, S. Nolen, T. Pham, J. Ooms, N. Ramanathan, D. Estrin Ohmage: A General and Extensible End-to-End Participatory Sensing Platform 2014
Alexander Shkapsky, Mohan Yang, Carlo Zaniolo Optimizing Recursive Queries with Monotonic Aggregates in DeALS 2014
Maurizio Atzori, Carlo Zaniolo Expressivity and Accuracy of By-Example Structured Queries on Wikipedia 2014
Muhao Chen, Jiankun Lei, Liang Zhang Enhancing Web Applications with Spatio-Temporal-Artifact Relationships 2014
Michael Le, Yuval Tamir Resilient Virtualized Systems Using ReHype 2014
Jae-Han Lim, Eduardo Cerqueira, Ramez Gerge, Gloria Gwynne, Mario Gerla, Danijela Cabric Simulation Study on STDMA for Vehicular Safety Applications 2014
Jingming Dong, Damek Davis, Jonathan Balzer, Joshua Hernandez, Stefano Soatto Multi-view Feature Engineering and Learning 2014
Jingming Dong and Stefano Soatto Domain Size Pooling in Local Descriptors 2014
Stefano Soatto, Alessandro Chiuso Visual scene representations: Sufficiency, minimality, invariance and deep approximation 2014
Stefano Soatto, Jingming Dong, Nikolaos Karianakis Visual Scene Representations: Contrast, scaling and occlusion 2014
Konstantine Tsotsos, Joshua Hernandez, Gottfried Graber, Thomas Pock, Trevor Campbell, Jonathan P. How, Stefano Soatto Scene Segmentation with Dense Reconstruction From Monocular Video 2014
Muhao Chen Converting Spatiotemporal Data Among Multiple Granularity Systems 2015
Brian Taylor, Vasiliy Karasev, Stefano Soatto Causal Video Object Segmentation From Persistence of Occlusions 2015
Mohan Yang, Alexander Shkapsky, Carlo Zaniolo Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines 2015
Shi Gao, Jiaqi Gu, Carlo Zaniolo RDF-TX: A Fast, User-Friendly System for Querying the History of RDF Knowledge Bases 2015
Giuseppe M. Mazzeo, Carlo Zaniolo The Parallelization of a Complex Hierarchical Clustering Algorithm: faster unsupervised learning on larger data sets 2016
Mohan Yang, Alexander Shkapsky, Carlo Zaniolo Scaling-up the Performance of more Powerful Datalog Systems on Multicore Machines 2016
Carlo Zaniolo, Mohan Yang, Ariyam Das, Matteo Interlandi Improving the Power, Performance and Usability of Datalog by Pushing Constraints into Recursion 2016
Giuseppe M. Mazzeo, Carlo Zaniolo CANaLI: A System for Answering Controlled Natural Language Questions on RDF Knowledge Bases 2016
Stefano Soatto Visual-Inertial Semantic Repres4ntations 2016
Uen-Tao Wang Tactical Edge Network Social Routing (TENSR) 2016
Pratik Chaudhari, Anna Choromanska, Stefano Soatto, Yann LeCun Entropy-SGD: Biasing Gradient Descent Into Wide Valleys 2016
Alessandro Achille, Stefano Soatto Information Dropout: learning optimal representations through noise 2016