• 1998 Reports
• 1997 Reports
• 1996 Reports
• 1995 Reports
• 1994 Reports
• 1993 Reports
• 1992 Reports

TR 98-01
COMPARISON OF GLOBAL AND PARTITIONING SCHEMES FOR SCHEDULING RATE MONOTONIC TASKS ON A MULTIPROCESSOR
Sylvain Lauzac, Rami Melhem and Daniel Mosse'

TR 98-02
RECONFIGURABLE PROCESSOR ARCHITECTURES EMPLOYING HIGH BANDWIDTH OPTICAL I/O
M. F. Sakr, S. P. Levitan and D. M. Chiarulli

TR 98-03
LOW-COST, BOUNDED-DELAY MULTICAST ROUTING FOR QoS-BASED NETWORKS
Tawfig Alrabiah and Taieb F. Znati

TR 98-04
CLASS BASED CALL ADMISSION CONTROL IN MULTIMEDIA WIRELESS ENVIRONMENTS
AbdulRahman Aljadhai and Taieb F. Znati

TR 98-05
PROGRAMMING VIEWS FOR MOBILE DATABASE CLIENTS
Susan Weissman Lauzac and Panos K. Chrysanthis

TR 98-06, ISL 97-6
DESIGNING COMPUTER-BASED FRAMEWORKS THAT FACILITATE DOCTOR-PATIENT COLLABORATION
Bruce G. Buchanan, Giuseppe Carenini, Vibhu Mittal, Johanna D. Moore

TR 98-07
TIME SLOT ALLOCATION FOR REAL-TIME MESSAGES WITH NEGOTIABLE DISTANCE CONSTRAINTS
Libin Dong, Rami Melhem and Daniel Mosse'

TR 97-01
FAULT-TOLERANT REAL-TIME MACH: A TIMELINE-BASED APPROACH
Dmitry Mikulin, Rami Melhem and Daniel Mosse'

TR 97-02
VISUAL ABSTRACTION IN THE VISUAL DESIGN PROCESS
S. K. Chang, W. Hua and C. W. Yoo

TR 97-03
FAULT-TOLERANT RATE-MONOTONIC SCHEDULING
Sunondo Ghosh, Rami Melhem and Daniel Mosse'

TR 97-04
A PROTOTYPE WEB-AT-A GLANCE SYSTEM FOR INTELLIGENT INFORMATION RETRIEVAL
T. Catarci, S. K. Chang, L. B. Dong and G. Santucci

TR 97-05
PERFORMANCE OF ATOMIC COMMIT PROTOCOLS IN GIGABIT-NETWORKED DATABASE SYSTEMS
Yousef Al-Houmaily, Robert Conticello and Panos Chrysanthis

TR 97-06
AN ARRAY DATA FLOW ANALYSIS BASED COMMUNICATION OPTIMIZER
X. Yuan, R. Gupta and R. Melhem

TR 97-07
TIME AND FREQUENCY DOMAIN TRANSIENT SIGNAL ANALYSIS FOR DEFECT DETECTION IN CMOS DIGITAL ICS
James F. Plusquellic, Donald M. Chiarulli and Steven P. Levitan

TR 97-08, ISL-96-4
THE WORLD: KNOWLEDGE DISCOVERY FROM MULTIPLE DISTRIBUTED DATABASES
J. M. Aronis, V. Kolluri, F. J. Provost, and B. G. Buchanan

TR 97-09, ISL-97-5
KNOWLEDGE AND DATA INTEGRATION FOR DISCOVERY
John Aronis, Carolina Ruiz, and Bruce Buchanan

TR 97-10, ISL-96-07
INCREASING THE EFFICIENCY OF DATA MINING ALGORITHMS WITH BREADTH-FIRST MAKER ALGORITHM
J. M. Aronis and F. J. Provost

TR 97-11
AN EFFICIENT RMS ADMISSION CONTROL AND ITS APPLICATION TO MULTIPROCESSOR SCHEDULING
Sylvain Lauzac, Rami Melhem and Daniel Mosse'

TR 97-12
EFFICIENT ASSIGNMENT OF REPLICAS TO AND / OR SERIES / PARALLEL GRAPHS
Archna Kalra and Daniel Mosse'

TR 97-13
PATH PROFILE GUIDED PARTIAL REDUNDANCY ELIMINATION USING SPECULATION
R. Gupta, D.A. Berson and J.Z. Fang

TR 97-14
PATH PROFILE GUIDED PARTIAL DEAD CODE ELIMINATION USING PREDICATION
R. Gupta, D.A. Berson and J.Z. Fang

TR 97-15
RESOURCE-SENSITIVE PROFILE-DIRECTED DATA FLOW ANALYSIS FOR CODE OPTIMIZATION
R. Gupta, D.A. Berson and J.Z. Fang

TR 97-16
NETWORK LATENCY OPTIMIZATIONS IN DISTRIBUTED DATABASE SYSTEMS
Sujata Banerjee and Panos K. Chrysanthis

TR 97-17
PATH-SENSITIVE VALUE-FLOW ANALYSIS
Rastislav Bodik and Sadun Anik

TR 97-18
AN APPROACH FOR MONITORING INTRUSION REMOVAL IN REAL TIME SYSTEMS
V. Jain, M. Spezialetti and R. Gupta

TR 97-19
AN EVALUATION OF INTEGRATED INSTRUCTION SCHEDULING AND REGISTER ALLOCATION TECHNIQUES
D.A. Berson, R. Gupta and M.L. Soffa

TR 97-20
AUTOMATIC GENERATION OF ARCHITECTURE SIMULATORS
S. Onder and R. Gupta

TR 97-21
A CODE MOTION FRAMEWORK FOR GLOBAL INSTRUCTION SCHEDULING
R. Gupta

TR 97-22
ESTIMATION OF GLOBAL CODE MOTION INDUCED REGISTER PRESSURE CHANGES AND ITS APPLICATIONS
R. Gupta

TR 97-23, ISL-96-8
AMERICAN MISTLETOE EXPOSURES... THE KISS OF DEATH?
Edward P. Krenzelok, T. D. Jacobsen, John M. Aronis

TR 97-24, ISL-97-8
EVALUATION OF KNOWLEDGE-BASED SYSTEMS: A REPORT FROM A WORKSHOP
Bruce G. Buchanan

TR 97-25
COMPLETE REMOVAL OF REDUNDANT COMPUTATIONS
R. Bodik, R. Gupta and M.L. Soffa

TR 97-26
DEBUGGING OPTIMIZED CODE THROUGH COMPARISON CHECKING
C. Jaramillo, R. Gupta and M.L. Soffa

TR 97-27
FAULT-TOLERANT RT-MACH (FT-RT-MACH) AND ITS APPLICATION TO REAL-TIME TRAIN CONTROL
A. Egan, D. Kutz, D. Mikulin, R. Melhem and D. Mosse'

TR 97-28
INCREMENTAL RESOURCE RECLAIMING ALGORITHMS
C. Filachek, R. Melhem and D. Mosse'

TR 97-29
TIME SLOT ALLOCATION FOR REAL-TIME MESSAGES WITH NEGOTIABLE DISTANCE CONSTRAINTS
L. Dong, R. Melhem and D. Mosse'

TR 97-30
ARTEMIS: AN APPROACH TO INTEGRATING RESTRUCTURING TRANSFORMATIONS AND MULTIPLE SCHEDULING TECHNIQUES
Tia Marcia R. Watts

TR 96-01, ISL-95-8
A TEMPORAL ANALYSIS OF QMR
C. F. Aliferis, G. F. Cooper, R. A. Miller, B. G. Buchanan, R. Bankowitz and N. Guise

TR 96-02
FAULT-TOLERANT RATE-MONOTONIC SCHEDULING
Sunondo Ghosh, Rami Melhem and Daniel Mosse'

TR 96-03
PREDICATING STATEMENTS: AN APPROACH FOR ENHANCED PARTIAL DEAD CODE ELIMINATION
Rastislav Bodik and Rajiv Gupta

TR 96-04
INTERPROCEDURAL CONDITIONAL BRANCH ELIMINATION
Rastislav Bodik, Rajiv Gupta and Mary Lou Soffa

TR 96-05
INTEGRATING PROGRAM OPTIMIZATIONS AND TRANSFORMATIONS WITH THE SCHEDULING OF INSTRUCTION LEVEL PARALLELISM
David A. Berson, Pohua Chang, Rajiv Gupta and Mary Lou Soffa

TR 96-06
A COST-DIRECTED PLANNER: PRELIMINARY REPORT
Eithan Ephrati, Martha E. Pollack and Marina Milshtein

TR 96-07
ON-LINE AVOIDANCE OF COMMUNICATION INTRUSION IN TOKEN RING NETWORKS
Wanqing Wu, Madalene Spezialetti and Rajiv Gupta

TR 96-08
GUARANTEED INTRUSION REMOVAL FROM MONITORED DISTRIBUTED APPLICATIONS
Wanqing Wu, Madalene Spezialetti and Rajiv Gupta

TR 96-09
ON INTRUSIVE EFFECTS OF MONITORING DISTRIBUTED SYSTEMS
Wanqing Wu, Madalene Spezialetti and Rajiv Gupta

TR 96-10
AN AGREEMENT-BASED CLIENT-SERVER MODEL FOR MOBILE TRANSACTION PROCESSING
Gary D. Walborn and Panos K. Chrysanthis

TR 96-11
AN OPTIMAL DETERMINISTIC ALGORITHM FOR ONLINE b-MATCHING
Bala Kalyanasundaram and Kirk R. Pruhs

TR 96-12
SIMULATION OF DIGITAL IC TRANSIENT RESPONSE IN DEFECTIVE AND DEFECT-FREE DEVICES
James F. Plusquellic, Donald M. Chiarulli and Steven P. Levitan

TR 96-13
A DEMAND-DRIVEN APPROACH FOR EFFICIENT INTERPROCEDURAL DATA FLOW ANALYSIS
Evelyn Duesterwald

TR 96-14, ISL-96-12
DYNAMICALLY GENERATED FOLLOW-UP QUESTIONS
Johanna D. Moore and Vibhu O. Mittal

TR 96-15
THE IMPLICIT-YES VOTE COMMIT PROTOCOL WITH DELEGATION OF COMMITMENT
Y. J. Al-Houmaily and P. K. Chrysanthis

TR 96-16
SEARCHING FOR AN INFRASTRUCTURE TO SUPPORT CONCURRENT WORKFLOWS
Robert Conticello and Panos Chrysanthis

TR 96-17
INSTRUCTIONS FOR CODING EXPLANATIONS: IDENTIFYING SEGMENTS, RELATIONS AND MINIMAL UNITS
Megan G. Moser, Johanna D. Moore and Erin Glendening

TR 96-18
DEBUGGING OF OPTIMIZED CODE USING VALUE COMPARISONS
Clara Jaramillo, Rajiv Gupta and Mary Lou Soffa

TR 96-19
ENHANCING THE PERFORMANCE OF PRESUMED COMMIT PROTOCOL
Yousef J. Al-Houmaily, Panos K. Chrysanthis and Steven P. Levitan

TR 96-20
FLAW SELECTION STRATEGIES FOR PARTIAL-ORDER PLANNING
Martha E. Pollack, David Joslin, Massimo Paolucci and Yazmine DeLeon

TR 96-21
AN ARGUMENT IN FAVOR OF THE PRESUMED COMMIT PROTOCOL
Y. Al-Houmaily, P. Chrysanthis and S. Levitan

TR 96-22
MODELING COMMUNICATION COSTS IN MULTIPLEXED OPTICAL SWITCHING NETWORKS
Charles Salisbury and Rami Melhem

TR 96-23, ISL-96-5
EXPLOITING BACKGROUND KNOWLEDGE IN AUTOMATED DISCOVERY
J. M. Aronis, F. J. Provost and B. G. Buchanan

TR 96-24, ISL-96-14
EXTENDING PARALLEL RL TO HANDLE LARGE DATA SETS CONTAINING NUMERIC DATA TYPES
Russell P. Lentini

TR 96-25, ISL-96-15
PLANT EXPOSURES: A STATE PROFILE OF THE MOST COMMON SPECIES
E. P. Krenzelok, T. D. Jacobsen and J. M. Aronis

TR 95-01
LEARNING RULES TO PREDICT RODENT CARCINOGENICITY OF NON-GENOTOXIC COMPOUNDS
Yongwon Lee, Bruce G. Buchanan, Donald M. Mattison, Gilles Klopman and Herbert S. Rosenkranz

TR 95-02
A NETWORK-BASED FRAMEWORK TO SUPPORT STREAM SYNCHRONIZATION IN DISTRIBUTED MULTIMEDIA SYSTEMS
Taieb Znati, Robert Simon and Brian Field

TR 95-03
OPTIMAL PLACEMENT OF LOAD-STORE PLACEMENT OPERATIONS FOR ARRAY ACCESSES IN LOOPS
Rastislav Bodik and Rajiv Gupta

TR 95-04
ADAPTIVE LOOP TRANSFORMATIONS FOR SCIENTIFIC PROGRAMS
Rajiv Gupta and Rastislav Bodik

TR 95-05
INDUCTIVE POLICY: THE PRAGMATICS OF BIAS SELECTION
Foster John Provost and Bruce G. Buchanan

TR 95-06
HARE: A HIERARCHICAL ALLOCATOR FOR REGISTERS IN MULTIPLE ISSUE ARCHITECTURES
David Berson, Rajiv Gupta and Mary Lou Soffa

TR 95-07
USING MULTI-SEGMENTED VIRTUAL CHANNELS FOR RELIABLE DELIVERY OF MULTIMEDIA TRAFFIC
P.K. Chrysanthis and D. Mosse'

TR 95-08
SUPPORTING SEMANTICS-BASED TRANSACTION PROCESSING IN MOBILE DATABASE APPLICATIONS
Gary D. Walborn and Panos K. Chrysanthis

TR 95-09
AN ESCROW METHOD TO SUPPORT DISCONNECTED MOBILE DATABASE OPERATIONS
Gary D. Walborn and Panos K. Chrysanthis

TR 95-10
AN ICONIC QUERY PROCESSING FACILITY FOR MOBILE USERS
Antonio Massari and Panos K. Chrysanthis

TR 95-11, ISL-94-03
SCALING UP INDUCTIVE LEARNING WITH MASSIVE PARALLELISM
Foster J. Provost and John M. Aronis

TR 95-12
EFFICIENTLY CONSTRUCTING RELATIONAL FEATURES FROM BACKGROUND KNOWLEDGE FOR INDUCTIVE MACHINE LEARNING
John M. Aronis and Foster J. Provost

TR 95-13
ICONIC INDEXING OF VERY LARGE SPATIAL DATABASES USING THE SIGMA-TREE
Erland Jungert and Shi-Kuo Chang

TR 95-14
A FRAMEWORK OF A VISUAL LANGUAGE WITH DYNAMIC SPECIFICATION
Jun'ichi Miyao and Shi-Kuo Chang

TR 95-15
AN INFORMATION BASED BAYESIAN APPROACH TO HISTORY-TAKING
Giuseppe Carenini, Stefano Monti and Gordon Banks

TR 95-16
INDUCTION OF RULES FOR BIOLOGICAL MACROMOLECULE CRYSTALLIZATION
Daniel Hennessy, Vanathi Gopalakrishnan, Bruce G. Buchanan, Johm M. Rosenberg, and Devika Subramanian

TR 95-17
AN INTELLIGENT SYSTEM FOR COMPARING PROTEIN STRUCTURES
Ethan Benatan

TR 95-18
EXPLORING ALTERNATIVE BIASES PRIOR TO LEARNING IN SCIENTIFIC DOMAIN
Bruce G. Buchanan and Yongwon Lee

TR 95-19
BUILDING A MEDICAL MUTIMEDIA DATABASE SYSTEM TO INTEGRATE CLINICAL INFORMATION: AN APPLICATION OF HIGH-PERFORMANCE COMPUTING AND COMMUNICATIONS TECHNOLOGY
Henry J. Lowe, Bruce G. Buchanan, Gregory F. Cooper and John K. Vries

TR 95-20
VQLM: A VISUAL QUERY LANGUAGE FOR MACROMOLECULAR STRUCTURAL DATABASES
Dawn Cohen, Kumar Vadaparty and Bill Dickinson

TR 95-21
SIMD HYBERCUBE ALGORITHMS FOR COMPLETE EUCLIDEAN DISTANCE TRANSFORM
Henry Y.H. Chuang and Ling Chen

TR 95-22
A SYSTEMATIC DESIGN OF SYSTOLIC ARRAYS FROM AFFINE RECURRENCE EQUATIONS
Henry Y. H. Chuang and Ling Chen

TR 95-24
THE ONLINE TRANSPORTATION PROBLEM
Bala Kalyanasundaram, and Kirk Pruhs

TR 95-25
WHAT CONTINGENCIES TO PLAN FOR
Nilufer Onder

TR 95-28, ISL-95-12
GENERATING PATIENT-SPECIFIC INTERACTIVE NATURAL LANGUAGE EXPLANATION
Giuseppe Carenini, Vibhu O. Mittal, and Johanna D. Moore

TR 95-29
DYNAMIC GENERATION OF FOLLOW UP QUESTION MENUS: FACILITATING INTERACTIVE NATURAL LANGUAGE DIALOGUES
Vibhu O. Mittal and Johanna D. Moore

TR 95-30
HYBRID SLICING: AN APPROACH FOR REFINING STATIC SLICES USING DYNAMIC INFORMATION
R. Gupta and M.L. Soffa

TR 95-32
DEALING WITH INCOMPATIBLE PRESUMPTIONS OF COMMIT PROTOCOLS IN MULTIDATABASE SYSTEMS
Yousef J. Al-Houmaily and Panos K. Chrysanthis

TR 95-33
LEVERAGING A FELLOWSHIP IN MEDICAL INFORMATICS: FOCUS ON THE SOFTWARE
Bruce G. Buchanan

TR 95-34, ISL-95-18
UNDERSTANDING AND ASSISTING CAD USERS IN THE REAL WORLD
Suresh K. Bhavnani, Ulrich Flemming, Diana E. Forsythe, James H. Garrett, Jr., and Doris S. Shaw

TR 95-36, ISL-95-20
ABSTRACTS OF POSTERS PRESENTED AT THE 1995 NORTH AMERICAN CONGRESS OF CLINICAL TOXICOLOGY ANNUAL MEETING
E. P. Krenzelok, T.D. Jacobsen and J. M. Aronis

TR 94-01
AN ASYMMETRIC, SEMI-ADAPTIVE TEXT COMPRESSION ALGORITHM
Harry Plantinga

TR 94-02 / ISL-93-8
USING ETHNOGRAPHY IN THE DESIGN OF AN EXPLANATION SYSTEM
Diana E. Forsythe

TR 94-03
UNDOING CODE TRANSFORMATIONS IN AN INDEPENDENT ORDER
Chyi-Ren Dow, Mary Lou Soffa and Shi-Kuo Chang

TR 94-04
INCENTIVE TO WORK: DERIVING COOPERATION AMONG SELF-INTERESTED AGENTS
Eithan Ephrati, Motty Perry and Jeffrey S. Rosenschein

TR 94-05 / ISL-93-14
IMPLEMENTING INHERITANCE WITH ROLES ON THE CONNECTION MACHINE
John M. Aronis

TR 94-06 / ISL-94-1
GOAL-DIRECTED INDUCTIVE LEARNING: TRADING OFF ACCURACY FOR REDUCED ERROR, COST
Foster John Provost

TR 94-07
LEAST-COST FLAW REPAIR: A PLAN REFINEMENT STRATEGY FOR PARTIAL-ORDER PLANNING
David Joslin and Martha E. Pollack

TR 94-08 / ISL-94-2
DESIGNING MEDICAL INFORMATICS RESEARCH AND LIBRARY-RESOURCE PROJECTS TO INCREASE WHAT IS LEARNED
William W. Stead, MD; R. Brian Haynes, MD; Sherrilynne Fuller, PhD; Charles P. Friedman, PhD; Larry E. Travis, PhD; J. Robert Beck, MD; Carol H. Fenichel, PhD; B. Chandrasekaran, PhD; Bruce G. Buchanan, PhD; Enrique E. Abola, PhD; Mary Ellen C. Sievert, PhD; Reed M. Gardner, PhD; Judith Messerle, Conrad C. Jaffe, MD; William R. Pearson, PhD; and Robert M. Abarbanel, MD, PhD

TR 94-11
DIVIDE AND CONQUER IN MULTI-AGENT PLANNING
Eithan Ephrati and Jeffrey S. Rosenschein

TR 94-12
AUTOMATIC TRANSFORMATION OF PROGRAMS FOR FAULT DETECTION ON DISTRIBUTED MEMORY MULTIPROCESSORS
Chun Gong, Rami Melhem and Rajiv Gupta

TR 94-13
ADP-GROUP COMMUNICATION AND NETWORK LEVEL SUPPORT FOR DISTRIBUTED MULTIMEDIA SYSTEMS
Robert Simon, Taieb Znati and Robert J. Sclabassi

TR 94-14
DATABASE SCHEMA EVOLUTION THROUGH THE SPECIFICATION AND MAINTENANCE OF CHANGES ON ENTITIES AND RELATIONSHIPS
Chien-Tsai Liu, Panos K. Chrysanthis and Shi-Kuo Chang

TR 94-15 / ISL-92-16
PROTEIN SECONDARY STRUCTURE PREDICTION USING TWO-LEVEL CASE-BASED REASONING
Bing Leng, Bruce G. Buchanan and Hugh B. Nicholas

TR 94-16 / ISL-92-17
PROTEIN SECONDARY STRUCTURE PREDICTION A MACHINE LEARNING APPROACH
Bing Leng, Bruce G. Buchanan and Hugh B. Nicholas

TR 94-22
PIVOT: A PROGRAM PARALLELIZATION AND VISUALIZATION ENVIRONMENT
Chyi-Ren Dow

TR 94-23
SINAN - AN ARGUMENT FORWARDING MULTITHREADED ARCHITECTURE
Soner Onder and Rajiv Gupta

TR 94-24
BUSY-IDLE PROFILES AND COMPACT TASK GRAPHS: COMPILE-TIME SUPPORT FOR INTERLEAVED AND OVERLAPPED SCHEDULING OF REAL-TIME TASKS
Rajiv Gupta and Madalene Spezialetti

TR 94-25
SERIALIZABILITY-BASED CORRECTNESS CRITERIA
Panos K. Chrysanthis

TR 94-27, ISL-94-10
THE ROLE OF EXPERIMENTATION IN ARTIFICIAL INTELLIGENCE
Bruce G. Buchanan

TR 94-28
TOWARDS A MACHINE IQ: SOME PERSPECTIVES ON EVALUATION METRICS FOR EMBEDDED AGENTS WITH AN APPLICATION TO AGENTS DESIGNED FOR THE PACIFICA EVACUATION SCENARIO
Arthur Nunes

TR-94-29, ISL-93-4
ADAPTIVE EXPERT SYSTEMS: APPLYING MACHINE LEARNING TO NYNEX MAX
Andrea Pohoreckyj Danyluk and Foster John Provost

TR-94-30, ISL-93-15
SMALL DISJUNCTS IN ACTION: LEARNING TO DIAGNOSE ERRORS IN THE LOCAL LOOP OF THE TELEPHONE NETWORK
Andrea Pohoreckyj Danyluk and Foster John Provost

TR 94-31
EXPERIMENTAL INVESTIGATION OF AN AGENT COMMITMENT STRATEGY
Martha E. Pollack, David Joslin, Arthur Nunes, Sigalit Ur and Eithan Ephrati

TR 94-32
USING THE ESCROW TRANSACTIONAL METHOD TO MANAGE REPLICATED DATA IN DISCONNECTED MOBILE OPERATIONS
Gary D. Walborn and Panos K. Chrysanthis

TR-94-33, ISL-94-07
DISTRIBUTED MACHINE LEARNING: SCALING UP WITH COARSE-GRAINED PARALLELISM
Foster John Provost and Daniel N. Hennessy

TR 94-34
RANDOMIZED ALGORITHMS FOR REAL-TIME SCHEDULING WITH FAULT-TOLERANCE
Bala Kalyanasundaram and Kirk Pruhs

TR 94-37
V-Net: A FRAMEWORK FOR A VERSATILE NETWORK ARCHITECTURE TO SUPPORT REAL-TIME COMMUNICATION PERFORMANCE GUARANTEES
Brian Field, Taieb F. Znati and Daniel MossÈ

TR 94-38
V-NET: A FRAMEWORK FOR A VERSATILE NETWORK ARCHITECTURE TO SUPPORT REAL-TIME COMMUNICATION PERFORMANCE GUARANTEES
Brian Field, Taieb F. Znati and Daniel MossÈ

TR 94-39
LOOP TRANSFORMATIONS FOR FAULT DETECTION ON MASSIVELY PARALLEL SYSTEMS
Chun Gong, Rami Melhem and Rajiv Gupta

TR 94-40, ISL-94-16
THE CRYSTALLOGRAPHER'S ASSISTANT
Vanathi Gopalakrishnan, Daniel Hennessy, Bruce Buchanan, and Devika Subramanian

TR 94-41
ON-LINE ERROR DETECTION THROUGH DATA DUPLICATION IN DISTRIBUTED-MEMORY SYSTEMS
Chun Gong, Rami Melhem and Rajiv Gupta

TR 94-43
THE PARTITIONED OPTICAL PASSIVE STARS (POPS) TOPOLOGY
G. Gravenstreter, R.G. Melhem, D.M. Chiarulli, S.P. Levitan, J.P. Teza

TR 94-44
AN IMPLICITLY YES-VOTE: A TWO PHASE COMMIT OPTIMIZATION
Yousef J. Al-Houmaily and Panos K. Chrysanthis

TR 94-45
THE DESIGN OF A DISTRIBUTED INTERPROCESS COMMUNICATION ARCHITECTURE FOR MULTIMEDIA SYSTEMS
Robert Simon, Taieb Znati and Robert J. Sclabassi

TR 94-46
PROBABILISTIC ANALYSIS OF ALTERNATIVE ROUTING IN MULTIMEDIA COMMUNICATION NETWORKS
Robert Simon, Taieb Znati and Robert J. Sclabassi

TR 94-47, ISL-93-13
USE OF A LEARNING PROGRAM FOR TRIGGER SENSITIVITY STUDIES
Scott H. Clearwater and Yongwon Lee

TR 93-01
AN INTEGRATED FRAMEWORK FOR FAULT-TOLERANT APPLICATIONS IN REAL-TIME AND NON-REAL-TIME SYSTEMS
Daniel MossÈ

TR 93-02
ONLINE LOAD BALANCING OF TEMPORARY TASKS
Bala Kalyanasundaram and Kirk Pruhs

TR 93-03
EXTENDING EXISTING MODELS TO CONSTRUCT RESILIENT COMPUTATIONS IN REAL-TIME SYSTEMS
Daniel MossÈ

TR 93-04, ISL-93-05
IMPROVING ERROR TOLERANCE THROUGH PERFORMANCE SENSITIVE LEARNING
Yongwon Lee

TR 93-05
SYNTHESIS OF EXTENDED TRANSACTION MODELS USING ACTA
Panos K. Chrysanthis and Krithi Ramamritham

TR 93-06
IMPACT OF AUTONOMY REQUIREMENTS ON TRANSACTIONS AND THEIR MANAGEMENT IN HETEROGENEOUS DISTRIBUTED DATABASE SYSTEMS
Panos K. Chrysanthis and Krithi Ramamritham

TR 93-08
FAULT-TOLERANT SCHEDULING ON HARD REAL-TIME MULTIPROCESSOR SYSTEMS
Sunondo Ghosh, Rami Melhem and Daniel MossÈ

TR 93-09
BENCHMARKS, TESTBEDS, CONTROLLED EXPERIMENTATION, AND THE DESIGN OF AGENT ARCHITECTURES
Steve Hanks, Martha E. Pollack and Paul R. Cohen

TR 93-12
TILEWORLD USER'S MANUAL
David Joslin, Arthur Nunes and Martha E. Pollack

TR 93-13
AVERAGE-CASE SCALABLE ON-LINE ALGORITHMS FOR FAULT REPLACEMENT
Kirk R. Pruhs

TR 93-14
ROUTING AND PATH ESTABLISHMENT FOR MULTIMEDIA COMMUNICATION
Robert Simon and Taieb Znati

TR 93-15
DEMAND-DRIVEN PROGRAM ANALYSIS
Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa

TR 93-16, ISL-93-09
AN INTELLIGENT INTERACTIVE SYSTEM FOR DELIEVERING INDIVIDUALIZED INFORMATION TO PATIENTS
Bruce G. Buchanan, Johanna D. Moore, Diana E. Forsythe, Giuseppe Carenini, Stellan Ohlsson, Gordon Banks

TR 93-17
PERTURBATION ANALYSIS: A STATIC ANALYSIS APPROACH FOR THE NON-INTRUSIVE MONITORING OF PARALLEL PROGRAMS
Rajiv Gupta and Madalene Spezialetti

TR 93-18
META-ANALYSIS: A SYSTEMATIC APPROACH FOR OPTIMIZING THE PERFORMANCE OF DATA FLOW ANALYZERS
Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa

TR 93-19
REDUCING THE COST OF DATA FLOW ANALYSIS BY CONGRUENCE PARTITIONING
Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa

TR 93-20
FAULT-TOLERANT SCHEDULING
Bala Kalyanasundaram and Kirk R. Pruhs

TR 93-21
A VERSATILE NETWORK ARCHITECTURE TO SUPPORT REAL-TIME COMMUNICATION PERFORMANCE GUARANTEES
Brian Field and Taieb Znati

TR 93-22
PIVOT: A PROGRAM PARALLELIZATION AND VISUALIZATION ENVIRONMENT
Chyi-Ren Dow, Mary Lou Soffa and Shi-Kuo Chang

TR 93-23
EFFICIENT REINFORCEMENT LEARNING
Claude-Nicolas Fiechter

TR 93-24
THE DIPART COMMUNICATIONS PACKAGE
Sylvain Lauzac

TR 93-27
DECOMPOSITION AND CAUSALITY IN PARTIAL-ORDER PLANNING
R. Michael Young, Martha E. Pollack and Johanna D. Moore