Department of Computer Science and Statistics

Technical Reports

Please contact the Computer Science and Statistics Department to obtain a publication.

TR05-302
Optimzations on Time Demand Analysis for Real-Time Schedulability Test, January 2005
TR04-301
Objects and Rules for Pedestrian Evacuation Simulation Tool, June 2004
TR04-300
URI Molecular Visualizer, April 2004, L. Martin, J.Y. Herv?, K. Clayton, H. Yun, L.T. Lee
TR04-299
Evaluating the SVM Component in Oracle 10g Beta, April 2004, L. Hamel, A. Uvarov
TR04-298
Universal Research Interchange (URI) Format, April 2004, J. Peckham, L. Martin
TR04-297
Corba 1.0 Compliant Static Scheduling Service for Periodic Tasks Technical Documentation, Jan. 2004, L. DiPippo
TR03-296
Assessing Decision Tree Models for Clinical In-Vitro Fertilization Data, Aug. 2003, L. Hamel
TR03-295
Evaluating Middleware Dynamic Scheduling, Feb. 2003, L. DiPippo, P. Galisukumar, O. Uvarov
TR03-294
On the Use of Machine Learning in Formal Software Verification, January 2003, L. Hamel
TR03-293
Gem Quest - The Binder: A Collection of Plutus Documentation, May 2002, J.M. Peckham, D. Rosen, K. Graf, R. Bernard, Y. Bogacz, A. Gwaltney, E. Lapisky, J. Murray
TR03-292
U Win - Product Development Seminar, Aug. 2000, Diane St. Laurent
TR02-291
The Observer Design Pattern and the Maintenance of Consistency Constraints in an Object-Oriented Database, FTDB System Test Procedures and Test Results, Rev, Sept. 2002, Mark J. Tseytlin
TR02-290
The Observer Design Pattern and the Maintenance of Consistency Constraints in an Object-Oriented Database, FTDB System Code, Rev, Sept 2002, Mark J. Tseytlin
TR02-289
The Observer Design Pattern and the Maintenance of Consistency Constraints in an Object-Oriented Database, Project Specification", Rev E, August 2000, M. J. Tseytlin
TR02-288
The Observer Design Pattern and the Maintenance of Consistency Constraints in an Object-Oriented Database, Proposal for MSCS Thesis, March 2000, M. J. Tseytlin
TR02-287
Load Allocation in Real-Time CORBA, July 2002, H. Corcoran
TR02-286
Dynamic Real Time Scheduling and Load Shedding for QOS Middleware, May 2002, O. Uvarov
TR02-285
Agent Facilitation Service for a Real-Time Multi-Agent System, May 2002, A. Uvarov
TR02-284
A Replication Strategy for Distributed Real-Time Object-Oriented Databases, April 2002, P. Peddi, L. C. DiPippo
TR01-283
Introducing TRIM, July 2001, Lutz Hamel
TR01-282
A Replication Strategy for Distributed Real-Time Object-Oriented Databases, May 2001, Praveen Peddi
TR01-281
Expressing Quality of Service in Agent Communication, June 2001, L. C. DiPippo, L. Nair
TR00-280
A Real-Time Multi-Agent System Architecture for E-Commerce Applications, Dec. 2000, L. C. DiPippo, V. F. Wolfe, L. S. Nair, E. Hodys, O. Uvarov
TR00-279
Extending ACL to Support Communication in a Real-Time Multi-Agent System, Dec. 2000, L. S. Nair
TR00-278
An Algebraic View of Inductive Equational Logic Programming, Dec. 2000, L. Hamel
TR00-277
RapidSched: Static Scheduling and Analysis for Real-Time CORBA, Nov. 2000, V.F. Wolfe
TR00-276
Real-Time CORBA, Nov. 2000, Fay Wolfe, L. DiPippo, G. Cooper, R. Johnston, P. Kortmann, B. Thuraisingham
TR00-275
A Scheduling Algorithm for a Real-Time Multi-Agent System, Aug. 2000, L. DiPippo, E. Hodys
TR99-274
A UML Package for Specifying Real-Time Objects, Nov. 1999. L. DiPippo, L. Ma
TR99-273
Towards a Real-Time Agent Architecture- A Whitepaper, Nov. 1999. L. DiPippo, B. Thuraisingham, E. Hodys
TR99-272
Real-Time CORBA Development at MITRE, NRaD, TriPacific, and URI, Dec. 1997. G. Cooper, L. DiPippo, L. Esibov, R. Ginis, R. Johnston, P. Kortman, P, Krupp,J. Mauer, M. Squadrito, B. Thuraisingham, S. Wohlever, V. F. Wolfe
TR98-271
RapidSched: Static Scheduling and Analysis for Real-Time CORBA, Jan1999 V.F. Wolfe, L. DiPippo, R Bethmangalkar, G. Cooper, R. Johnston, P. Kortman, B.Watson, S. Wohlever
TR98-270
Support for Automated Schedulability Analysis for Distributed Real-Time Middleware, May 1998. Levon Esibov
TR98-269
Schedulability Analysis in Static Real-Time Systems Priority Mapping and DASPCP for Real-Time CORBA, May 1999 Ramachandra Bethmangalkar
TR98-268
Integration of Real-Time Objects into a Distributed Multi-User Virtual Environment, May 1999. Ling Ma
TR98-267
Scheduling with Temporal and Logical Constraints, May 1998. Greg Jones
TR98-266
Integration for Real-Time CORBA into an Existing Distributed Planning Architecture, May 1998. Yuruo Chen
TR98-265
Integration of Real-Time Object-Oriented Database and Real-Time CORBA into Legacy Software, May 1998. Qingli Jiang
TR98-264
The Affected Set Priority Ceiling Protocols for Real-time Object-Oriented Concurrency Control, Dec. 1998. Michael Squadrito, Levon Esibov, Lisa C. DiPippo, Victor Fay Wolfe, GregoryCooper, Bhavani Thurasingham, Peter Krupp, Michael Milligan, Ramachandra Bethmangalkar
TR98-263
A Scheduling Service for a Dynamic Real-Time CORBA System, Feb. 1998. Lisa C. DiPippo, Victor Fay Wolfe, Roman Ginis, Michael Squadrito, ThomasWheeler, Russell Johnston
TR98-262
Concurrency Control in Real-Time Object-Oriented Systems: The Affected Set Priority Ceiling Protocols, Jan. 1998. Levon Esibov, Lisa C. DiPippo, Victor F. Wolfe, Gregory Cooper, Bhavani Thurasignham, Peter Krupp, Russell Johnston
TR98-261
Scheduling and Priority Mapping for Static Real-Time Middleware, Sept. 1998. Lisa C. DiPippo, Victor Fay Wolfe, Levon Esibov, Gregory Cooper, Russell Johnston, Bhavain Thuraisingham, John Mauer
TR98-260
Expressing and Enforcing Timing Constraints in a Dynamic Real-Time CORBA System, Jan. 1998. Victor Fay Wolfe, Lisa C. DiPippo, Roman Ginis, Michael Squadrito, StevenWohlever, Igor Zykh, Russell Johnston
TR97-259
Automating Semantic Locking for Object Oriented Databases, Aug. 1996. D. Druin
TR97-258
Extending the Priority Ceiling Protocol Using Read/Write Affected Set Semantics, April 1996. M. Squadrito
TR97-257
A Memory-Resident Object Store, May 1997. Y. Yuan
TR97-256
Real-Time CORBA, June 1997. L. C. DiPippo, R. Johnson
TR97-255
Peg-Solitaire, String Rewriting Systems and Finite Automata, May 1997. B. Ravikumar
TR97-254
Timed Distributed Method Invocations in CORBA, May 1997. I. Zykh
TR97-253
Concurrency Control in a Dynamic Real-Time Distributed Object Computing Environment, May 1997. S. C. Wohlever
TR96-253a
Improving the Security of Medical Database Systems, Aug. 1996. G. J.Pangalos
TR96-253
Implementing Security in the GAIA System, Aug. 1996. G. J.Pangalos
TR97-252
Expressions and Enforcing Timing Constraints in a Dynamic Real-Time CORBA System, Feb. 1997. L.C. DiPippo, R. Ginis, M. Squadrito, S. Wohlever, V. Fay-Wolfe, I. Zykh
TR96-251
The Design of an Open System, June 1996. R. Ginis, J. J. Prichard, V. Fay Wolfe
TR96-250
The Affected Set Priority Ceiling Protocol for Real-Time Object-Oriented Databases, May 1996. M. Squadrito, L. C. DiPippo, V. Fay Wolfe
TR96-249
Real-Time Databases, May 1995. L. C. DiPippo, V. Fay Wolfe
TR96-248
Randomized Parallel Algorithms for the Homing Sequence Problem, Jan. 1996. B. Ravikumar, X. Xiong
TR96-247
Object-based Semantic Real-Time Concurrency Control With Bounded Imprecision, Feb. 1996. L. C. DiPippo, V. Fay Wolfe
TR95-246
A Parallel Algorithm for Minimization of Finite Automata, Sept. 1995. B. Ravikumar, X. Xiong
TR95-245
Performance of Object-Based Concurrency Control with Bounded Imprecision,S ept. 1995. L. C. DiPippo, V. Fay Wolfe
TR95-244
Real-Time Method Invocations in Distributed Environments, April 1995. V. Fay Wolfe, J. Black, B. Thuraisingham, P. Krupp
TR95-243
The RTSORAC Real Time Object-Oriented Database Model and Prototype, Feb.1995. V. F. Wolfe, J. J. Prichard, L. C. DiPippo, J. Black, J. M. Peckham
TR94-242
Automated Tools for the Analysis of Algorithms, Dec. 1994. M. Hayden
TR94-241
Real-Time SQL: Extensions for Support of Real-Time Database Systems, Oct.1994. J. J. Prichard, P. J. Fortier, V. Fay Wolfe
TR94-240
A Parallel Algorithm to Transform Regular Expressions into Finite Automata, Sept. 1994. X. Xiong, B. Ravikumar
TR94-239
An Evaluation of the Open Object-Oriented Database, July 1994. F. Alsop
TR94-238
Parallel Algorithms for Homing Sequence Problem, July 1994. B. Ravikumar
TR94-237
A Constraint Based Database Schema Checking System, June 1994. X. Qian
TR94-236
The Design of Real-Time Extensions to the Open Object-Oriented Database System, June 1994. V. Fay Wolfe, L. C. DiPippo, J. J. Prichard, J. M. Peckham, P. Fortier
TR94-235
Flexible Real-Time SQL Transactions, May 1994. P. Fortier, V. Fay Wolfe, J. J. Prichard
TR94-234
Semantic Relationships in ARAC, June 1993. F. Vora, J. Peckham, B. MacKellar
TR94-233
Maximum Likelihood Analysis of Nucleotide Evolution, March 1994. Jie Chen
TR94-232
A Posi-Compliant Dynamic Real-Time Scheduler, March 1994. J. Senerchia III
TR94-231
RTSORAC: Design of a Real-Time Object-Oriented Database System, Feb. 1994. J. Peckham, V. Fay Wolfe, J. J. Prichard, L. C. DiPippo
TR94-230
Supporting Concurrency, Timing Constraints and Imprecision in Objects, Feb.1994. V. Fay Wolfe, L. C. DiPippo, J. K. Black
TR94-229
Blackboard System for Knowledge-Based Interpretation of Clouds in Advanced Very High Resolution Radiometer (AVHRR) Imagery, Jan. 1994. D. Holloway
TR94-228
The Missing Link and the Top-Spin, Jan. 1994. B. Ravikumar
TR93-227
Distributed Object-Based Real-Time Concurrency Control with Bounded Imprecision (Rev. from 12/93), Dec. 1993. L. C. DiPippo, V. Fay Wolfe
TR93-226
Integrating Object Oriented Technology and Security in Medical Database Systems, Sept. 1993. G. Pangalos
TR93-225
Database Systems Security, Sept. 1993. G. Pangalos
TR93-224
A User Interface for Database Schema Design and Analysis, Dec. 1992. Z. Dong
TR93-223
ARAC: A Data Modeling Interface for Architectural Design Systems, Aug. 1992. F. Vora
TR93-222
Implementing Relationships in an Object-Oriented Database, Aug. 1992. M. Doherty
TR93-221
Searching with an Error, May 1993. D. Innes
TR93-220
Bucketing Algorithms for Sorting, Selection and Computational Geometry, May1993. G. Hyslop
TR93-219
Object-based Semantic Real-Time Concurrency Control, May 1993. V. Fay Wolfe, L. Cingiser
TR93-218
Implementing Relationships and Constraints in an Object-Oriented Database, March 1993. M. Doherty, J. Peckham, V. Fay Wolfe
TR93-217
Identifying Real-Time Requirements in a Model for Parallel Architectures, Feb. 1993. J. Ionata, V. Fay Wolfe
TR93-216
A Model for Real-Time Object-Oriented Databases, Jan. 1993. L. Cingiser, J. Peckham, J. Prichard V. Fay Wolfe
TR93-215
Real-Time Considerations in Submarine Target Motion Analysis, Jan. 1993. G. A. Bussiere, J. Oblinger, V. Fay Wolfe
TR93-214
Real-Time Object-Oriented Database Support for Intelligent Program Stock Trading, Jan. 1993. V. Fay Wolfe, K.F. Lau
TR92-213
Error Free Incremental Computation of Voronoi Diagrams in the Plane, Oct.1992. E. Lamagna, G. Hyslop
TR92-212
Sorting by Distributed Partitioning with Fewer than n Buckets, Sept. 1992. G. Hyslop, E. Lamagna
TR92-211
Data Modeling Support for Design Databases, July 1992. B. MacKellar, J. Peckham, M. Doherty