Browse

ftp://ftp.cis.ufl.edu (253)

	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-002.ps.Z, 19910702 Non-Blocking Algorithms for Concurrent Data Structures Sundeep Prakash Yann-Hang Lee Theodore Johnson Dept. of Computer and Information Sciences University of Florida Gainesville, FL 32611 July 1, 1991
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-006.ps.Z, 19910730 HETEROGENEOUS DECOMPOSITION AND INTER-LEVEL COUPLING FOR COMBINED MODELING Paul A. Fishwick Dept. of Computer & Information Science University of Florida Bldg. CSE, Room 301 Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-005.ps.Z, 19910730 USING DISCRETE EVENT MODELING FOR EFFECTIVE COMPUTER ANIMATION CONTROL Paul A. Fishwick Hanns-Oskar A. Porr Dept. of Computer & Information Science University of Florida Bldg. CSE, Room 301 Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-007.ps.Z, 19910818 A Highly Concurrent Priority Queue Based on the B-link Tree University of Florida, Department of CIS Electronic Tech Report #007-91 Theodore Johnson August 18, 1991
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-008.ps.Z, 19910826 Feed-forward Neural Nets as Models for Time Series Forecasting Zaiyong Tang BUS 351 Dept. of Decision & Information Sciences University of Florida, Gainesville, FL 32611 Phone: 904-392-9600 Email: zt@beach.cis.ufl.edu Paul A. Fishwick 301 CSE, Department of Computer & Information Sciences University of
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr90/ai-app.paper.ps.Z, 19910904 1 POND: A Knowledge Representation Language which Facilates Requirements Capturing Douglas D. Dankel II Assistant Professor E301 CSE, C.I.S., University of Florida Gainesville, FL 32611 ddd@cis.ufl.edu (904) 392-1387 (Office), (904) 392-1220 (FAX) Wayne Walker Graduate Student E301 CSE, C.I.S. Mark
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr90/swe.paper.ps.Z, 19910905 1 GATOR: A Requirements Gatering System Douglas D. Dankel II Assistant Professor E301 CSE, C.I.S., University of Florida Gainesville, FL 32611 ddd@cis.ufl.edu (904) 392-1387 (Office), (904) 392-1220 (FAX) Wayne Walker Graduate Student E301 CSE, C.I.S. Mark Schmalz Graduate Student E301 CSE, C.I.S. Key
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-023.ps.gz, 19910906 Unsymmetric-pattern multifrontal methods for parallel sparse LU factorization T. A. Davis Computer and Information Sciences Department University of Florida, Gainesville, Florida, USA I. S. Duffy European Center for Research and Advanced Training in Scientific Computation (CERFACS) Toulouse, France
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-009.ps.Z, 19910912 A Concurrent Fast-Fits Memory Manager University of Florida, Dept. of CIS Electronic TR91-009 Theodore Johnson Dept. of Computer and Information Science, University of Florida ted@cis.ufl.edu September 12, 1991
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-026.ps.Z, 19911025 Optimal Folding Of Bit Sliced Stacks+ Doowon Paik Sartaj Sahni University of Minnesota University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr90/tr90-034.ps.Z, 19911025 Vertex Splitting In Dags And Applications To Partial Scan Designs And Lossy Circuits Doowon Paik+ Sudhakar Reddy++ Sartaj Sahni+ University of Florida University of Iowa University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-030.ps.Z, 19911025 Deleting Vertices To Bound Path Length Doowon Paik+ Sudhakar Reddy++ Sartaj Sahni+ University of Florida University of Iowa University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-028.ps.Z, 19911025 Upgrading Circuit Modules To Improve Performance+ Doowon Paik Sartaj Sahni University of Minnesota University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr90/book-pro.ps.Z, 19911030 PROSPECTUS The Engineering of Knowledge-based Systems by: Dr. A. J. Gonzalez, University of Central Florida Dr. D. D. Dankel, University of Florida The structure of this text was developed based on the weaknesses which the authors recognized in the texts existing in 1989: too little detail on how
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-031.ps.Z, 19911106 Reconfigurable Mesh Algorithms For Fundamental Data Manipulation Operations Jing-Fu Jenq1 and Sartaj Sahni2 1Department of Soil Science, University of Minnesota, Minneapolis, MN 55455, USA 2Computer and Information Sciences Department, CSE 301, University of Florida, Gainesville, FL 32611, USA
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-029.ps.Z, 19911106 NP-Hard Network Upgrading Problems+ Doowon Paik Sartaj Sahni University of Minnesota University of Florida University of Florida Technical Report 91-29
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-025.ps.Z, 19911108 A Data Structure for Circular String Analysis and Visualization Dinesh P. Mehta yz Sartaj Sahniy Technical Report 25
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-024.ps.Z, 19911108 Computing Display Conflicts in String Visualization Dinesh P. Mehta yz Sartaj Sahniy Technical Report 24
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-027.ps.Z, 19911202 Upgrading Vertices In Trees, Series-Parallel Digraphs And General Series-Parallel Digraphs To Bound Path Length+ Doowon Paik Sartaj Sahni University of Minnesota University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-002.ps.Z, 19920205 A Distributed Data-balanced Dictionary Based on the B-link Tree by Theodore Johnson Adrian Colbrook University of Florida MIT Laboratory for Computer Science Gainesville, FL 32611 Cambridge, MA 02139 ted@squall.cis.ufl.edu colbrook@concerto.lcs.mit.edu February 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-003.ps.Z, 19920228 A Functional/Declarative Dichotomy for Characterizing Simulation Models P. A. Fishwick Department of Computer and Information Sciences University of Florida, Bldg CSE, Room 301 Gainesville, FL. 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-001.ps.Z, 19920228 Hypertextual Concurrent Control of a Lisp Kernel P. David Stottsy Richard Furuta z Department of Computer and Department of Computer Science and Information Sciences Institute for Advanced Computer Studies University of Florida University of Maryland Gainesville, FL 32611 College Park, MD 20742
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-032.ps.Z, 19920402 Models and Techniques for the Visualization of Labeled Discrete Objects Dinesh P. Mehta yz Sartaj Sahniy
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-008.ps.Z, 19920403 Space Efficient Parallel Buddy Memory Management University of Florida CIS TR #92-008 Theodore Johnson Tim Davis Dept. of Computer and Information Science, University of Florida ted@cis.ufl.edu, davis@cis.ufl.edu April 3, 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-007.ps.Z, 19920403 Vlist: A Vectorized List University of Florida CIS TR #92-007 Theodore Johnson Dept. of CIS, University of Florida Gainesville, Fl 32611-2024 ted@cis.ufl.edu April 3, 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-013.ps.Z, 19920508 Synthesizing a Global Net State from Synchronized Local Pieces P. David Stottsy J. Cyrano Ruizz Department of Computer and Department of Reliability Engineering Information Sciences University of Maryland University of Florida College park, MD 20742 Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-014.ps.gz, 19920526 Performance of an unsymmetric-pattern multifrontal method for sparse LU factorization Timothy A. Davis 301 CSE, Computer and Information Sciences Dept. University of Florida, Gainesville, FL 32611-2024 USA (904) 392-1481, email: davis@cis.ufl.edu Supported in part by NSF ASC-9111263. To appear:
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-010.ps.Z, 19920608 Finding A Minimum Cost Acceptable Path in Parallel1 Theodore Johnson Panos E. Livadas ted@squall.cis.ufl.edu pel@cis.ufl.edu University of Florida, Dept. of CIS Gainesville, FL 32611-2024 Abstract We consider the problem of finding a minimum cost acceptable path on a toroidal grid graph, where each
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-018.ps.Z, 19920609 The Design and Implementation of the Ariel Active Database Rule Systemy Eric N. Hanson Department of Computer and Information Sciences University of Florida Gainesville, FL 32611 hanson@cis.ufl.edu UF-CIS-018-92 September 1991
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-019.ps.Z, 19920610 An efficient approximation algorithm for load balancing with resource migration in distributed systems Ravi Varadarajan Computer and Information Sciences Department University of Florida, Gainesville, FL 32611 An efficient approximation algorithm for load balancing with resource migration in distributed
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-020.ps.Z, 19920610 An Efficient Approximation Algorithm for the File Redistribution Scheduling Problem in Fully Connected Networks Ravi Varadarajan Pedro I. Rivera-Vegay
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-001.ps.Z, 19920612 A Multimodel Methodology for Qualitative Model Engineering Paul A. Fishwick University of Florida and Bernard P. Zeigler University of Arizona
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-016.ps.Z, 19920616 The Interval Skip List: A Data Structure for Finding All Intervals That Overlap a Point y Eric N. Hanson Theodore Johnson Computer and Information Sciences Department University of Florida Gainesville, FL 32611 UF-CIS-92-016 16 June 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr91/tr91-003.ps.Z, 19920701 Including Postscript Images in your LaTEX Document Paul A. Fishwick University of Florida email: fishwick@cis.ufl.edu July 1, 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-017.ps.gz, 19920717 Analysis of potential parallel implementations of the unsymmetric-pattern multifrontal method for sparse LU factorization Steven M. Hadfield and Timothy A. Davis 301 CSE, Computer and Information Sciences Dept. University of Florida, Gainesville, FL 32611-2024 USA (904) 392-1481, email: smh@cis.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-015.ps.Z, 19920728 1 AN OBJECT-ORIENTED RULE-BASED APPROACH TO DATA MODEL AND SCHEMA TRANSLATION* S. Y. W. Su S. C. Fang H. Lam Database Systems Research and Development Center, CSE#470 Department of Computer and Information Sciences Department of Electrical Engineering University of Florida, Ganiesville, FL 32611 Email:
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-022.ps.Z, 19920807 SIMPACK: GETTING STARTED WITH SIMULATION PROGRAMMING IN C AND C++ Paul A. Fishwick Dept. of Computer & Information Science University of Florida Bldg. CSE, Room 301 Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-024.ps.Z, 19920812 NP-hard Module Rotation Problems Keumog Ahn Sartaj Sahni* and University of Minnesota University of Florida University of Florida TR 92-24 Abstract Preplaced circuit modules may be rotated to improve performance and/or routability. We show that several simple versions of the module rotation problem are
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-023.ps.Z, 19920812 Flipping Modules To Improve Circuit Performance And Routability Keumog Ahn Sartaj Sahni* and University of Minnesota University of Florida University of Florida TR 92-23
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-025.ps.Z, 19920817 A Formal Approach to the Vertical Partitioning Problem in Distributed Database Design J. Muthuraj1 S. Chakravarthy2 R. Varadarajan Computer and Information Sciences Department University of Florida, Gainesville, FL 32611, USA Email: sharma@snapper.cis.ufl.edu S. B. Navathe1 College of Computing Georgia
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-027.ps.Z, 19920910 Analysis of Optimistic Concurrency Control Revisited Theodore Johnson September 3, 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr90/tr90-032.ps.Z, 19920916 Serial And Parallel Algorithms For The Medial Axis Transform* Jing-Fu Jenq Sartaj Sahni and University of Minnesota University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr90/shrink.ps.Z, 19920916 Reconfigurable Mesh Algorithms For Image Shrinking, Expanding, Clustering, And Template Matching* Jing-Fu Jenq and Sartaj Sahni University of Minnesota University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-029.ps.Z, 19920924 Approximate Analysis of Reader/Writer Queues Theodore Johnson Dept. of CIS University of Florida Gainesville, Fl 32611-2024 September 3, 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-028.ps.Z, 19920924 On the Natural Growth of Random Forests Theodore Johnson, University of Florida Harold S. Stone, IBM T. J. Watson Center July 29, 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-030.ps.Z, 19920924 Supporting Insertions and Deletions in Striped Parallel Filesystems Theodore Johnson University of Florida, Dept. of CIS Gainesville, Fl 32611-2024 September 23, 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-031.ps.Z, 19921007 An Overview of Production Rules in Database Systems Eric N. Hanson Dept. of Computer and Information Sciences University of Florida Gainesville, FL 32611 USA hanson@cis.ufl.edu Jennifer Widom IBM Almaden Research Center 650 Harry Road San Jose, CA 95120 USA widom@almaden.ibm.com University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-032.ps.Z, 19921104 Implementing Distributed Search Structures Padmashree Krishna Theodore Johnson pk@cis.ufl.edu ted@cis.ufl.edu Computer and Information Sciences Department University of Florida Gainesville, FL 32611 November 4, 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-035.ps.Z, 19921117 Constant Time Computational Geometry On Reconfigurable Meshes With Buses* Madhusudan Nigam and Sartaj Sahni University of Florida Gainesville, FL 32611 Technical Report 92-35
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-034.ps.Z, 19921117 Sorting n 2 Numbers On n n Meshes* Madhusudan Nigam and Sartaj Sahni University of Florida Gainesville, FL 32611 Technical Report 92-34
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-005.ps.Z, 19921117 Sorting n Numbers On n n Reconfigurable Meshes With Buses* Madhusudan Nigam and Sartaj Sahni University of Florida Gainesville, FL 32611 Technical Report 92-5
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-036.ps.Z, 19921120 Performance Driven Graph Enhancement Problems* Doowon Paika and Sartaj Sahnib aAT&T Bell Laboratories, Murray Hill, NJ bComputer and Information Sciences Department, University of Florida, Gainesville, FL 32611 TECHNICAL REPORT: 92-036
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-037.ps.Z, 19921123 A New Approach to Finding Objects in Programs Panos E. Livadas Theodore Johnson Computer and Information Sciences Department University of Florida, Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-038.ps.Z, 19921124 Hybrid Heterogeneous Hierarchical Models for Knowledge-Based Autonomous Systems Victor T. Miller University of Florida, Department of Aerospace and Mechanical Engineering Sciences 231 Aero building Gainesville, Florida, 32611 Paul A. Fishwick University of Florida, Department of Computer and Information
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-033.ps.Z, 19921210 Lazy Updates for Distributed Search Structures Theodore Johnson and Padmashree Krishna Dept. of CIS University of Florida December 1, 1992
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-040.ps.Z, 19921214 A simple correctness proof of the MCS contention-free lock Theodore Johnson Krishna Harathi Computer and Information Sciences Department University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-043.ps.Z, 19921217 University of Florida Computer and Information Sciences Real-Time Transaction Scheduling : A Cost Conscious Approach D. Hong T. Johnson S. Chakravarthy email: fdh2, ted, sharmag@cis.ufl.edu UF-CIS-TR-92-043 (Submited for publication) (This work was supported by the National Science Foundation Research
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-042.ps.Z, 19921217 University of Florida Computer and Information Sciences A New Perspective on Rule Support for Object-Oriented Databases E. Anwar L. Maugis S. Chakravarthy email: sharma@snapper.cis.ufl.edu UF-CIS-TR-92-042 (Submited for publication) (This work was supported in part by the NSF Research Initiation Grant
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-045.ps.Z, 19921217 University of Florida Computer and Information Sciences An Objective Function For Vertically Partitioning Relations in Distributed Databases and its Analysis Sharma Chakravarthy Jaykumar Muthuraj Ravi Varadarajan Shamkant B. Navathe email: sharma@snapper.cis.ufl.edu UF-CIS-TR-92-045 (Submitted for
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-044.ps.Z, 19921217 University of Florida Computer and Information Sciences A Retrospective Analysis of Time Concepts in Temporal Databases Seung-Kyum Kim and Sharma Chakravarthy email: fskk,sharmag@cis.ufl.edu UF-CIS-TR-92-044 (Submited for publication) (This work was supported in part by the NSF Research Initiation Grant
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-041.ps.Z, 19921217 University of Florida Computer and Information Sciences Architectures and Monitoring Techniques for Active Databases : An Evaluation Sharma Chakravarthy email: sharma@snapper.cis.ufl.edu UF-CIS-TR-92-041 (Submited for publication) (This work was (in part) supported by the Office of Naval Technology and
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-046.ps.Z, 19921227 University of Florida Computer and Information Sciences Database Supported Cooperative Problem Solving S. Chakravarthy K. Karlapalem S. B. Navathe A. Tanaka email: sharma@snapper.cis.ufl.edu Tech. Report UF-CIS-TR-92-046 December 1992 (Submitted for publication) Department of Computer and Information
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-047.ps.Z, 19921228 University of Florida Computer and Information Sciences Active Data/Knowledge Base Research At The University of Florida S. Chakravarthy E. Hanson S. Y. W. Su email: fsharma,hanson,sug@cis.ufl.edu Tech. Report UF-CIS-TR-92-047 December 1992 (Invited paper) Department of Computer and Information Sciences
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-048.ps.Z, 19921230 University of Florida Computer and Information Sciences Heterogeneous Databases: Inferring Relationships for Merging Component Schemas, and a Query Language W. K. Whang S. Chakravarthy S. B. Navathe email: sharma@snapper.cis.ufl.edu Tech. Report UF-CIS-TR-92-048 December 1992 (Submitted for publication)
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-001.ps.Z, 19930103 University of Florida Computer and Information Sciences Design and Implementation of Active Capability for an Object-Oriented Database S. Chakravarthy E. Anwar L. Maugis email: sharma@snapper.cis.ufl.edu Tech. Report UF-CIS-TR-93-001 January 1993 (Submitted for publication) Department of Computer and
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-002.ps.Z, 19930103 University of Florida Computer and Information Sciences A Comparative Evaluation of Active Relational Databases S. Chakravarthy email: sharma@snapper.cis.ufl.edu Tech. Report UF-CIS-TR-93-002 January 1993 (Submitted for publication) Department of Computer and Information Sciences Computer Science
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-006.ps.Z, 19930104 An Integrated Approach to System Modelling using a Synthesis of Artificial Intelligence, Software Engineering and Simulation Methodologies Paul A. Fishwick University of Florida.
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-004.ps.Z, 19930114 University of Florida Computer and Information Sciences Resolution of Time Concepts in Temporal Databases Sharma Chakravarthy Seung-Kyum Kim email: sharma@snapper.cis.ufl.edu Tech. Report UF-CIS-TR-93-004 January 1993 (Submitted for publication) Department of Computer and Information Sciences Computer
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-006.ps.Z, 19930131 University of Florida Computer and Information Sciences A Federated Multi-media DBMS for Medical Research : Architecture and Functionality S. Chakravarthy V. Krishnaprasad Z. Tamizuddin F. Lambay email: sharma@snapper.cis.ufl.edu Tech. Report UF-CIS-TR-93-006 January 1993 (Submitted for publication)
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-003.ps.Z, 19930222 A Simulation Environment for Multimodeling Paul A. Fishwick University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-007.ps.Z, 19930308 University of Florida Computer and Information Sciences Snoop: An Expressive Event Specification Language For Active Databases Sharma Chakravarthy Deepak Mishra email: sharma@snapper.cis.ufl.edu Tech. Report UF-CIS-TR-93-007 (Revised and extended version of UF-CIS-TR-91-23, September 1991) March 1993
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-011.ps.Z, 19930327 A Concurrent Dynamic Task Graph Theodore Johnson Dept. of Computer and Inf. Science University of Florida Gainesville, Fl 32611-2024 ted@cis.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-012.ps.Z, 19930331 A Parallel Algorithm For Surface Triangulation Theodore Johnson, Panos E. Livadas, Sunjay E. Talele Dept. of Computer and Information Science University of Florida March 31, 1993
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-013.ps, 19930405 University of Florida Computer and Information Sciences An Open Architecture for Optimizing Active and Deductive Rules Sharma Chakravarthy Xiaohai Zhang email: sharma@cis.ufl.edu Tech. Report UF-CIS-TR-93-013 April 1993 (Submitted for publication) Department of Computer and Information Sciences Computer
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-015.ps.Z, 19930427 A Fast Solution to the Surface Reconstruction Problem B. C. Vemuri1 and S. H. Lai2 1Department of Computer & Information Sciences 2Department of Electrical Engineering University of Florida, Gainesville, FL 32611 email:vemuri@scuba.cis.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-016.ps.Z, 19930505 INTEGRATING SIMULATION AND ANIMATION APPROACHES FOR AUTONOMOUS ARTICULATED BODIES1 Paul A. Fishwick University of Florida Computer and Information Sciences Dept. Bldg. CSE, Room 301 Gainesville, FL 32611 email: fishwick@cis.ufl.edu phone: (904) 392-1414 Hanns-Oskar A. Porr University of Pennsylvania
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-017.ps.Z, 19930506 Interruptible Critical Sections for Real-time Systems Theodore Johnson Dept. of Computer and Information Science University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-018.ps.gz, 19930514 An unsymmetric-pattern multifrontal method for sparse LU factorization Timothy A. Davis Computer and Information Sciences Department University of Florida, Gainesville, Florida, USA Iain S. Duffy European Center for Research and Advanced Training in Scientific Computation (CERFACS) Toulouse, France
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-014.ps.Z, 19930525 Shape Modeling with Front Propagation: A Level Set Approach Ravikanth Malladi,1 James A. Sethian,2 and Baba C. Vemuri1 1Department of Computer & Information Sciences University of Florida, Gainesville, FL 32611 2Department of Mathematics University of California, Berkeley, CA 94720
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-019.ps.Z, 19930603 An Object-Oriented Multimodel Design for Integrating Simulation and Planning Tasks Jin Joo Lee jl1@cis.ufl.edu William D. Norris II wdn@cis.ufl.edu Paul A. Fishwick fishwick@cis.ufl.edu Department of Computer and Information Sciences University of Florida June 3, 1993
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-020.ps.gz, 19930616 Users' Guide for the Unsymmetric-pattern MultiFrontal Package (UMFPACK) Timothy A. Davis June 1993 c 1993 T. Davis Technical Report TR-93-020 Computer and Information Sciences Department University of Florida Gainesville, FL, 32611 USA 1 Introduction The Unsymmetric-Pattern MultiFrontal Package
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-009.ps.Z, 19930618 Gator: A Discrimination Network Structure for Active Database Rule Condition Matching Eric N. Hanson 301 CSE CIS Department University of Florida Gainesville, FL 32611 hanson@cis.ufl.edu April 7, 1993 UF-CIS-TR-93-009 (revised June 14, 1993)
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-036a.ps.Z, 19930629 From Global to Local, a Continuum of Shape Models with Fractal Priors B. C. Vemuri1 and A. Radisavljevic2 1Department of Computer & Information Sciences 2Department of Electrical Engineering University of Florida, Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-022.ps.Z, 19930714 An Object-Oriented Multimodel Approach to Integrate Planning, Intelligent Control and Simulation Jin Joo Lee William Dean Norris II Paul A. Fishwick Department of Computer and Information Sciences University of Florida Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-023.ps.Z, 19930716 1 A Neutral Semantic Representation for Data Model and Schema Translation S. Y. W. Su S. C. Fang Database Systems Research and Development Center, CSE#470 Department of Computer and Information Sciences Department of Electrical Engineering University of Florida, Gainesville, FL32611, USA Technical
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-024.ps.Z, 19930722 An Architecture for Recoverable Interaction Between Applications and Active Databases (extended abstract) Eric N. Hanson Roxana Dastur Vijay Ramaswamy CIS Department University of Florida Gainseville, FL 32611 fhanson,vijay,rkdg@cis.ufl.edu July 22, 1993 CIS-TR-93-024 1 Introduction This paper describes
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-025.ps.Z, 19930803 An Adaptive Approach for Texture Segmentation by Multi-channel Wavelet Frames1 Andrew Laine and Jian Fan Center for Computer Vision and Visualization August, 1993 TR-93-025 1This work was supported by the National Science Foundation under Grant No. IRI-9111375.
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-030.ps.Z, 19930928 University of Florida Computer and Information Sciences An Interpretation and Implementation of Temporal Databases with Two-Dimensional Time Seung-Kyum Kim Sharma Chakravarthy email: sharma@snapper.cis.ufl.edu Tech. Report UF-CIS-TR-93-030 September 1993 (Submitted for publication) Department of
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-039.ps.Z, 19931004 IEEE TRANSACTIONS ON SYSTEMS, MAN AND CYBERNETICS, VOL. XX, NO. Y, MONTH 1993 1 A Multimodel Approach to Reasoning and Simulation Paul A. Fishwick N. Hari Narayanan Jon Sticklen Andrea Bonarini
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-028.ps.Z, 19931116 A DISTRIBUTED, REPLICATED, DATA-BALANCED SEARCH STRUCTURE THEODORE JOHNSON University of Florida, Dept. of CIS Gainesville, Fl 32611-2024 ADRIAN COLBROOK MIT Laboratory for Computer Science Cambridge, MA 02139
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-031.ps.Z, 19931116 A Fast Level Set based Algorithm for Topology-Independent Shape Modeling Ravikanth Malladi,1 James A. Sethian,2 and Baba C. Vemuri1 1Department of Computer & Information Sciences University of Florida, Gainesville, FL 32611 2Department of Mathematics University of California, Berkeley, CA 94720
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-036.ps.Z, 19931217 Gator: An Optimized Discrimination Network for Active Database Rule Condition Testing Eric N. Hanson 301 CSE CIS Department University of Florida Gainesville, FL 32611 (904) 392-2691 FAX: (904) 392-1220 hanson@cis.ufl.edu Mohammed S. Hasan 301 CSE CIS Department University of Florida Gainesville, FL
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-039.ps.Z, 19931224 University of Florida Computer and Information Sciences Anatomy of a Composite Event Detector S. Chakravarthy V. Krishnaprasad E. Anwar S.-K Kim email: sharma@snapper.cis.ufl.edu Tech. Report UF-CIS-TR-93-039 December 1993 (Submitted for publication) Department of Computer and Information Sciences
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-001.ps.Z, 19940113 A SIMPLE APPROACHTODISTRIBUTED POOLS BENEDICT M.RAFANELLO&THEODORE JOHNSON University of Florida, Department of Computer and information Sciences January 1994 Computer networks hold the potential to coordinate the activities of multiple machines so that their combined computational abilities can be
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-049.ps.Z, 19940118 Rule Condition Testing and Action Execution in Ariely Eric N. Hanson Database Systems Research and Development Center Computer and Information Sciences Department University of Florida, Gainesville, FL 32611 hanson@cis.ufl.edu CIS-TR-92-049
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-003.ps.Z, 19940121 A Graph-based Transaction Model for Active Databases and its Parallel Implementation Ramamohanrao Jawadi Stanley Y.W. Su Database Systems Research and Development Center Department of Computer and Information Sciences University of Florida, Gainesville, FL 32611 rsj,su@cis.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-038.ps.Z, 19940224 Sensitivity Analysis of Frequency Counting Theodore Johnson Dept. of Computer and Information Science University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-002.ps.gz, 19940302 Multifrontal Techniques for Chemical Process Simulation on Supercomputers S. E. Zitney1), J. Mallya2), T. A. Davis3), and M. A. Stadtherr2) 1) Cray Research, Inc., 655 E. Lone Oak Drive, Eagan, MN 55121, USA 2) Department of Chemical Engineering, University of Illinois, 600 S. Mathews Avenue, Urbana, IL
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-005.ps.gz, 19940304 A Combined Unifrontal/Multifrontal Method for Unsymmetric Sparse Matrices Tech. Report TR-94-005; Proc. Fifth SIAM Conf. on Applied Linear Algebra, June 1994 Timothy A. Davisy
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-006.ps.gz, 19940309 Potential and Achievable Parallelism in the Unsymmetric-Pattern Multifrontal LU Factorization Method for Sparse Matrices Tech. Report TR-94-006; Proc. Fifth SIAM Conf. on Applied Linear Algebra, June 1994 Steven M. Hadfield and Timothy A. Davisy
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-008.ps.Z, 19940316 Contents 1 Introduction 1 2 Previous work 3 2.1 Discussion : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 3 Motivation For our Approach 5 4 Transaction Pre-analysis 8 4.1 Use of Pre-analysis Information : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-009.ps.Z, 19940326 Implementing Distributed Search Structures Padmashree Krishna Theodore Johnson pk@cis.ufl.edu ted@cis.ufl.edu Computer and Information Sciences Department University of Florida Gainesville, FL 32611 March 26, 1994
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-010.ps.Z, 19940328 A Fast and Low Overhead Distributed Priority Lock Theodore Johnson and Richard Newman-Wolfe Dept. of CIS, University of Florida Gainesville, Fl 32611-2024 ted@cis.ufl.edu, nemo@cis.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-012.ps.Z, 19940330 A Fast Algorithm To Test Planar Topological Routability Andrew Limy Sartaj Sahniz Venkat Thanvantrix Technical Report 94-012
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-011.ps.Z, 19940330 Folding A Stack Of Equal Width Components Venkat Thanvantri and Sartaj Sahni Department of CIS, University of Florida, Gainesville, FL-32611 Technical Report 94-011
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-013.ps.Z, 19940407 Minimum Area Joining of Compacted Cells1 Seonghun Cho and Sartaj Sahni Department of Computer and Information Science, University of Florida Gainesville, FL 32611, USA Technical Report 94-013
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-014.ps.Z, 19940412 Simulation-Based Planning for Computer Generated Forces Jin Joo Lee , Paul A. Fishwick Department of Computer and Information Sciences University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-015.ps.Z, 19940414 COMPUTER SIMULATION: GROWTH THROUGH EXTENSION Paul A. Fishwick Computer & Information Sciences Dept. University of Florida, CSE 301 Gainesville, FL 32611, USA E-mail: fishwick@cis.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-016.ps.Z, 19940419 New Rules for Early Delivery in an Atomic Multicast System Theodore Johnson and Lionnel Maugis Dept. of CIS, University of Florida Gainesville, Fl 32611-2024 ted@cis.ufl.edu April 19, 1994
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr90/thesis.ps.Z, 19940429 The Performance of Concurrent Data Structure Algorithms Theodore Johnson April 29, 1994 A Dissertation in the Department of Computer Science submitted to the faculty of the Graduate School of Arts and Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy at New York
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-021.ps.gz, 19940509 Characterizing the Performance of Algorithms for Lock-free Objects Theodore Johnson Dept. of CIS University of Florida Gainesville, Fl 32611-2024
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-037.ps.Z, 19940519 2Q: A Low Overhead High Performance Buffer Management Replacement Algorithm Theodore Johnson Dennis Shasha University of Florida Courant Institute, New York University Gainesville, FL 32611 New York, NY 10012 Novell, Inc. Summit, NJ 07901
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-004.ps.Z, 19940527 An efficient dynamic load balancing algorithm for adaptive mesh refinement Ravi Varadarajan Dept. of Mathematics, University of Puerto Rico Rio Piedras, PR 00931 Email : r varadaraja@upr1.upr.clu.edu Fax : (809) 754-0757 Injae Hwang Comp. and Info. Sciences Department, University of Florida Gainesville,
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/f_vldb4.ps.gz, 19940527 2Q: A Low Overhead High Performance Buffer Management Replacement Algorithm Theodore Johnson Dennis Shasha University of Florida Courant Institute, New York University Gainesville, FL 32611 New York, NY 10012 and Novell, Inc. Summit, NJ 07901
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-018.ps.Z, 19940603 Recognition of Handwritten Characters by Voronoi Representations Niranjan Mayya Andrew F. Laine UF-CIS-TR-94-18 Department of Computer & Information Sciences University of Florida, Gainesville, Fl 32611 Submitted to IEEE PAMI 1 Submitted for publication to the IEEE Transactions on Pattern Analysis and
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-029.ps.Z, 19940603 Voronoi Diagrams of Polygons: A Framework for Shape Representation. Niranjan Mayya1 V. T. Rajan2 UF-CIS-TR-93-29 1Department of Computer & Information Sciences University of Florida, Gainesville, Fl 32611 2 IBM T. J. Watson Research Center P.O Box 218, Yorktown Heights, New York, NY 10598. Conditionally
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-019.ps.gz, 19940606 ON THE LU FACTORIZATION OF SEQUENCES OF IDENTICALLY STRUCTURED SPARSE MATRICES WITHIN A DISTRIBUTED MEMORY ENVIRONMENT BY STEVEN MICHAEL HADFIELD A DISSERTATION PRESENTED TO THE GRADUATE SCHOOL OF THE UNIVERSITY OF FLORIDA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-020.ps.Z, 19940707 TR94-020 Virtual Cell in Mobile Computer Communications Kyungshik Lim and Yann-Hang Lee Computer and Information Sciences Department University of Florida Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-021.ps.Z, 19940716 Parallel Processing Letters c World Scientific Publishing Company Parallel Creation of Linear Octrees from Quadtree Slices L. K. Swift, T. Johnson, and P. E. Livadas Dept. of Computer and Information Science, University of Florida Gainesville, FL 32611-2024, USA
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-022.ps.Z, 19940716 A Comparison of Fast and Low Overhead Distributed Priority Locks Theodore Johnson and Richard Newman-Wolfe Dept. of CIS, University of Florida Gainesville, Fl 32611-2024 ted@cis.ufl.edu, nemo@cis.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-023.ps.Z, 19940719 University of Florida Computer and Information Sciences ECA Rule Integration into an OODBMS: Architecture and Implementation S. Chakravarthy V. Krishnaprasad Z. Tamizuddin R. H. Badani email: sharma@cis.ufl.edu Tech. Report UF-CIS-TR-94-023 May 1994 (Submitted for publication) Department of Computer and
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-024.ps.Z, 19940719 University of Florida Computer and Information Sciences Incorporating Load Factor into the Scheduling of Soft Real-Time Transactions S. Chakravarthy D. Hong T. Johnson email: sharma@cis.ufl.edu Tech. Report UF-CIS-TR-94-024 April 1994 (Submitted for publication) Department of Computer and Information
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-025.ps.Z, 19940817 TR-94-025 A Heuristic Algorithm for the Rectilinear Steiner Arborescence Problem Javier C ordova Computer Science Department University of Puerto Rico Arecibo, PR 00613 Yann-Hang Lee Computer and Information Sciences Department University of Florida Gainesville, FL 32611 August 17, 1994
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-027.ps.gz, 19940829 Potential and Achievable Parallelism in Unsymmetric-Pattern Multifrontal LU Factorization Steven M. Hadfield Department of Mathematical Sciences United States Air Force Academy Colorado Springs, Colorado, USA phone: (719) 472-4470 Timothy A. Davis Computer and Information Sciences Department University
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-028.ps.gz, 19940829 A PARALLEL UNSYMMETRIC-PATTERN MULTIFRONTAL METHOD STEVEN M. HADFIELDy AND TIMOTHY A. DAVISz
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-030.ps.Z, 19940906 Incorporating Flexible and Expressive Rule Control in a Graph-based Transaction Framework Ramamohanrao Jawadi Stanley Y.W. Su Technical Report TR94-030 Database Systems Research and Development Center Department of Computer and Information Sciences University of Florida, Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-031.ps.Z, 19940907 OSAM*.KBMS/P: A Parallel, Active, Object-oriented Knowledge Base Server Stanley Y.W. Su Ramamohanrao Jawadi Prashant Cherukuri Qiang Li Richard Nartey Technical Report TR94-031 Database Systems Research and Development Center Department of Computer and Information Sciences University of Florida,
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-032.ps.Z, 19940908 A Performance Comparison of Fast Distributed Synchronization Algorithms Theodore Johnson Dept. of CIS, University of Florida Gainesville, Fl 32611-2024 ted@cis.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr92/tr92-050.ps.Z, 19940919 Hierarchical Characterization and Flow Modeling of Computer Network Traffic Using Real-time Measurements Madhu K. Acharya a Bharati Bhalla a R.E. Newman-Wolfe a Haniph A. Latchman b Randy Chow a a Computer and Information Sciences Department b Department of Electrical Engineering University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-007.ps.Z, 19940930 Interruptible Critical Sections Theodore Johnson and Krishna Harathi Dept. of Computer and Information Science University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-034.ps.Z, 19941010 Real-Time Simulation-Based Planning for Computer Generated Force Simulation Jin Joo Lee , Paul A. Fishwick Department of Computer and Information Sciences University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-005.ps.Z, 19941018 A Prioritized Multiprocessor Spin Lock Theodore Johnson Krishna Harathi Dept. of Computer and Information Science University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-036.ps.gz, 19941028 An Approach for Parallelizing any General Unsymmetric Sparse Matrix Algorithm Tariq Rashidy Timothy A. Davisz Technical Report TR-94-036, Computer and Information Sciences Department, University of Florida, 1994. Presented at the 7th SIAM Conference on Parallel Processing for Scientific Computing,
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-037.ps.Z, 19941105 Heuristics for Multiway Partitioning in Hexagonal Cellular Systems Kyungshik Lim and Yann-Hang Lee Computer and Information Sciences Department University of Florida Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-029.ps.gz, 19941111 LOST PIVOT RECOVERY FOR AN UNSYMMETRIC-PATTERN MULTIFRONTAL METHOD STEVEN M. HADFIELD AND TIMOTHY A. DAVISy Computer and Information Sciences Department, University of Florida Technical Report TR-94-029.
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-033.ps.Z, 19941115 Flexible and Recoverable Interaction Between Applications and Active Databases Eric N. Hanson I-Cheng Chen Roxana Dastur Kurt Engel Vijay Ramaswamy Chun Xu CIS Department University of Florida Gainseville, FL 32611 hanson@cis.ufl.edu September 28, 1994 CIS-TR-94-033 (revised November 15, 1994)
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-040.ps.Z, 19941122 The IBS-tree: A Data Structure for Finding All Intervals That Overlap a Point Eric N. Hanson1;2 Moez Chaabouni2 1 USAF Wright R. & D. Center WRDC/TXI Dayton, OH 45433 2 Wright State University Dept. of Computer Science Dayton, OH 45435 November 22, 1994
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-041.ps.Z, 19941201 University of Florida Computer and Information Sciences Two Approaches for High Concurrency in Multicast-Based Object Replication by Theodore Johnson and Lionnel Maugis Dept. of CIS, University of Florida Gainesville, Fl 32611-2024 ted@cis.ufl.edu Department of Computer and Information Sciences Computer
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-035.ps.Z, 19941201 The Distributed Compartment Model for Resource Management and Access Control Steven J. Greenwald (sjg@cis.ufl.edu) and Richard E. Newman-Wolfe (nemo@cis.ufl.edu) Technical Report Number TR94-035 Department of Computer and Information Sciences The University of Florida Gainesville, Florida 32611 October,
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-038.ps.gz, 19941212 AN UNSYMMETRIC-PATTERN MULTIFRONTAL METHOD FOR SPARSE LU FACTORIZATION TIMOTHY A. DAVIS AND IAIN S. DUFFy Computer and Information Sciences Dept., University of Florida, Technical Report TR-94-038, November, 1994. Abstract. Sparse matrix factorization algorithms for general problems are typically
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-002.ps.Z, 19950103 Load Balancing in a Distributed Processing System for High-Energy Physics (UFMulti) Jagadeesh Kasaraneni Theodore Johnson Dept. of Computer and Information Science University of Florida Gainesville, Fl 32611-2024 Paul Avery Dept. of Physics University of Florida Gainesville, Fl 32611-2024
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-001.ps.Z, 19950103 Analysis of the Request Patterns to the NSSDC On-line Archive1 Theodore Johnson ted@cis.ufl.edu Code 630 Dept. of CIS NASA Goddard Space Flight Center University of Florida Greenbelt MD 20771 Gainesville, Fl 32611-2024
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-003.ps.Z, 19950103 Designing a Distributed Queue Theodore Johnson Dept. of Computer and Information Science University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-004.ps.gz, 19950106 Users' Guide for the Unsymmetric-pattern MultiFrontal Package (UMFPACK) Version 1.1 Timothy A. Davis January 1995 c 1995 T. Davis Technical Report TR-95-004 Computer and Information Sciences Department University of Florida Gainesville, FL, 32611 USA 1 Introduction The Unsymmetric-Pattern MultiFrontal
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-009.ps.Z, 19950224 Database Research at the University of Florida Database Systems Research and Development Center CIS Department and EE Department University of Florida, Gainesville, FL 32611 Email:fsu,hlam, sharma,kamel, hansong@cis.ufl.edu 1 Introduction This report gives a brief description of the current database
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-011.ps.Z, 19950320 An Optimal Algorithm for the Construction of the System Dependence Graph Panos E. Livadas Theodore Johnson Computer and Information Sciences Department University of Florida Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-010.ps.gz, 19950324 Physically-based Adaptive Preconditioning for Early Vision1 S. H. Lai and B. C. Vemuri UF-CIS Technical Report TR-95-010 Computer and Information Sciences Department University of Florida Bldg. CSE, Room 301 Gainesville, Florida 32611-6120 March 1995 1This work was supported in part by the NSF grant
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-013.ps.gz, 19950404 The Performance of Holding Versus Releasing Locks in a Multiprogrammed Multiprocessor Theodore Johnson Krishna Harathi Dept. of Computer and Information Science University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-017.ps.gz, 19950511 Selection Predicate Indexing for Active Databases Using Interval Skip Lists Eric N. Hanson Theodore Johnson Computer and Information Sciences Department University of Florida Gainesville, FL 32611 fhanson,tedg@cis.ufl.edu TR94-017 15 April 1994 (revised 13 October 1994) Abstract A new, efficient
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-012.ps.gz, 19950522 Robust and Efficient Computation of Optical Flow1 S. H. Lai and B. C. Vemuri UF-CIS Technical Report TR-95-012 Computer and Information Sciences Department University of Florida Bldg. CSE, Room 301 Gainesville, Florida 32611-6120 email:hong@cis.ufl.edu vemuri@cis.ufl.edu April 1995 Key Phrases: Motion
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-015.ps.Z, 19950613 Highly Scalable Data Balanced Distributed B-trees Padmashree A. Krishna Theodore Johnson pk@cis.ufl.edu ted@cis.ufl.edu Computer and Information Sciences Department University of Florida Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-026.ps.gz, 19950706 Generalized Capacitance Matrix Theorems for Solving Linear Systems1 S. H. Lai and B. C. Vemuri email: hong@cis.ufl.edu and vemuri@scuba.cis.ufl.edu UF-CIS Technical Report TR-94-026 Computer and Information Sciences Department University of Florida Bldg. CSE, Room 301 Gainesville, Florida 32611 August
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-034.ps.Z, 19950713 Designing Distributed Search Structures with Lazy Updates Theodore Johnson Padmashree Krishna Dept. of Computer and Information Science University of Florida Gainesville, Fl 32611-2024
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr94/tr94-039.ps.gz, 19950718 AN APPROXIMATE MINIMUM DEGREE ORDERING ALGORITHM TIMOTHY A. DAVIS , PATRICK AMESTOYy , AND IAIN S. DUFFz Computer and Information Sciences Dept., University of Florida, Technical Report TR-94-039, December, 1994 (revised July 1995).
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-016.ps.gz, 19950719 THE USE OF GRAPH THEORY IN A PARALLEL MULTIFRONTAL METHOD FOR SEQUENCES OF UNSYMMETRIC PATTERN SPARSE MATRICES STEVEN M. HADFIELD AND TIMOTHY A. DAVISy Computer and Information Science and Engineering Department, University of Florida, Technical Report TR-95-016, April 1995. Abstract. Multifrontal
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-018.ps.Z, 19950803 SIMULATION-BASED REAL-TIME DECISION MAKING FOR ROUTE PLANNING Jin Joo Lee Paul A. Fishwick Department of Computer & Information Science & Engineering University of Florida Gainesville, Florida 32611, U.S.A.
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-020.ps.gz, 19950919 A COMBINED UNIFRONTAL/MULTIFRONTAL METHOD FOR UNSYMMETRIC SPARSE MATRICES TIMOTHY A. DAVIS AND IAIN S. DUFFy Technical Report TR-95-020, Computer and Information Science and Engineering Department, University of Florida. September, 1995.
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-017.ps.Z, 19950921 Computer Simulation: The Art and Science of Digital World Construction Paul A. Fishwick Computer & Information Science and Engineering Department University of Florida, CSE 301 Gainesville, FL 32611, USA E-mail: fishwick@cis.ufl.edu September 21, 1995 WHAT IS SIMULATION Computer simulation is the
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-023.ps.gz, 19951006 A PARALLEL IMPLEMENTATION OF THE BLOCK-PARTITIONED INVERSE MULTIFRONTAL ZSPARSE ALGORITHM YOGIN E. CAMPBELL AND TIMOTHY A. DAVISy Technical Report TR-95-023, Computer and Information Sciences Department, University of Florida, Gainesville, FL, 32611 USA. October, 1995. Key words. Symmetric multifrontal
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-021.ps.gz, 19951006 COMPUTING THE SPARSE INVERSE SUBSET: AN INVERSE MULTIFRONTAL APPROACH YOGIN E. CAMPBELL AND TIMOTHY A. DAVISy Technical Report TR-95-021, Computer and Information Sciences Department, University of Florida, Gainesville, FL, 32611 USA. October, 1995. Key words. Sparse matrices, symmetric multifrontal
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-027.ps.gz, 19951023 Optimized Rule Condition Testing in Ariel using Gator Networks Eric N. Hanson, Sreenath Bodagala, Mohammed Hasan, Goutam Kulkarni and Jayashree Rangarajan Rm. 301 CSE, P.O. Box 116120 CISE Department University of Florida Gainesville, FL 32611-6120 hanson@cis.ufl.edu http://www.cis.ufl.edu/~hanson/ 23
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-022.ps.gz, 19951025 The paper On Computing an arbitrary subset of entries of the inverse of a matrix, CISE Tech Report TR-95-022, will appear here sometime by early November, 1995. 1
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-024.ps.gz, 19951031 INCOMPLETE LU FACTORIZATION: A MULTIFRONTAL APPROACH YOGIN E. CAMPBELL AND TIMOTHY A. DAVIS y Technical Report TR-95-024, Computer and Information Sciences Department, University of Florida, Gainesville, FL, 32611 USA. October, 1995. Key words. Unsymmetric-pattern multifrontal method, sparse matrices,
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-025.ps.gz, 19951031 MULTIFRONTAL ALGORITHMS FOR SPARSE INVERSE SUBSETS AND INCOMPLETE LU FACTORIZATION BY YOGIN EON CAMPBELL A DISSERTATION PRESENTED TO THE GRADUATE SCHOOL OF THE UNIVERSITY OF FLORIDA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY UNIVERSITY OF FLORIDA 1995 Technical
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-032.ps.gz, 19951120 University of Florida Computer and Information Science and Engineering A Confluent Rule Execution Model for Active Databases S-K. Kim S. Chakravarthy EMAIL: sharma@cis.ufl.edu WWW: http://www.cis.ufl.edu/ sharma Tech. Report UF-CIS-TR-95-032 (Submitted for publication) October 1995 (This work is partly
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-028.ps.Z, 19951120 University of Florida Computer and Information Science and Engineering A Visualization and Explanation Tool for Debugging ECA Rules in Active Database S. Chakravarthy Z. Tamizuddin J. Zhou EMAIL: sharma@cis.ufl.edu WWW: http://www.cis.ufl.edu/ sharma Tech. Report UF-CIS-TR-95-028 November 1995 (Appeared
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-030.ps.gz, 19951120 University of Florida Computer and Information Science and Engineering Performance of Grace Hash Join Algorithm on the KSR-1 Multiprocessor: Evaluation and Analysis S. Chakravarthy X. Zhang H. Yokota EMAIL: sharma@cis.ufl.edu WWW: http://www.cis.ufl.edu/ sharma Tech. Report UF-CIS-TR-95-030 (Submitted
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-026.ps.gz, 19951120 University of Florida Computer and Information Science and Engineering Exploiting Active Database Paradigm For Supporting Flexible Transaction Model S. Chakravarthy E. Anwar EMAIL: sharma@cis.ufl.edu WWW: http://www.cis.ufl.edu/ sharma Tech. Report UF-CIS-TR-95-026 April 1995 This work is supported by
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-029.ps.gz, 19951120 University of Florida Computer and Information Science and Engineering Realizing Transaction Models: An Extensible Approach using ECA Rules E. Anwar S. Chakravarthy M. Viveros EMAIL: sharma@cis.ufl.edu WWW: http://www.cis.ufl.edu/ sharma Tech. Report UF-CIS-TR-95-029 (Submitted for publication) October
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-031.ps.gz, 19951120 University of Florida Computer and Information Science and Engineering Alternative Version Concurrency Control (AVCC) for firm real-time database system D. Hong S. Chakravarthy T. Johnson EMAIL: sharma@cis.ufl.edu WWW: http://www.cis.ufl.edu/ sharma Tech. Report UF-CIS-TR-95-031 (Submitted for
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-035.ps.Z, 19951205 Invited paper to be presented in CIKM (Conference on Information and Knowledge Management), Baltimore, MD, November 28 - December 2, 1995. An Extensible Knowledge Base Management System for Supporting Rule-based Interoperability among Heterogeneous Systems * Stanley Y. W. Su, Herman Lam, Javier
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-036.ps.Z, 19951205 Paper to be published in the Fifth Annual Express User Group International Conference (EUG '95) Grenoble, France, 21-22 October 1995 On Bridging and Extending OMG/IDL and STEP/EXPRESS for Achieving Information Sharing and System Interoperability * Stanley Y. W. Su, Herman Lam, Tsae-Feng Yu Sooha Lee,
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-034.ps.Z, 19951205 Final manuscript submitted to JIIS (Journal of Intelligent Information Systems) Special Issue on Intelligent Integration of Information NCL: A Common Language for Achieving Rule-Based Interoperability among Heterogeneous Systems * Stanley Y. W. Su Herman Lam Tsae-Feng Yu Javier A. Arroyo-Figueroa
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr93/tr93-035.ps.gz, 19960105 An O(N ) Iterative Solution to the Poisson Equation in Low-level Vision Problems1 S. H. Lai and B. C. Vemuri UF-CIS Technical Report TR-93-035 Computer and Information Sciences Department University of Florida Bldg. CSE, Room 301 Gainesville, Florida 32611 November 15, 1993 1This work was supported in
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-002.ps.gz, 19960116 Biased Leftist Trees and Modified Skip Lists1 Seonghun Cho and Sartaj Sahni Department of Computer and Information Science and Engineering University of Florida Gainesville, FL 32611, U.S.A. Technical Report 96-002
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-001.ps.gz, 19960116 A New Weight Balanced Binary Search Tree1 Seonghun Cho and Sartaj Sahni Department of Computer and Information Science and Engineering University of Florida Gainesville, FL 32611, U.S.A. Technical Report 96-001
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-004.ps.gz, 19960123 A RANDOMIZED APPROACH TO HYBRID MONTE CARLO SIMULATION Brian Thorndyke, Paul Fishwick and Sanguthevar Rajasekaran Department of Computer and Information Sciences and Engineering University of Florida 301 CISE, P.O. Box 116120, Gainesville, FL 32611 e-mail: thorndyb@cis.ufl.edu Keywords: Molecular
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-007.ps.gz, 19960210 TWO METHODS FOR EXPLOITING ABSTRACTION IN SYSTEMS Paul A. Fishwick and Kangsun Lee Computer and Information Science and Engineering Department University of Florida Gainesville, FL 32601
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-008.ps.Z, 19960214 Parallel Computing: Performance Metrics and Models Sartaj Sahni and Venkat Thanvantri Computer & Information Sciences Department University of Florida Gainesville, FL 32611, USA sahni@cis.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-009.ps.gz, 19960223 A Solution to the Parallel Trigger Termination Problem Nabeel Al-Fayoumi, Eric N. Hanson Rm. 301 CSE, P.O. Box 116120 CISE Department University of Florida Gainesville, FL 32611-6120 nabeel@cis.ufl.edu hanson@cis.ufl.edu http://www.cis.ufl.edu/~hanson/ February 1996 TR-96-009
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-010.ps.Z, 19960313 Data Refinement of Mixed Specifications: A Generalization of UNITY Beverly A. Sanders Department of Computer and Information Science and Engineering University of Florida Gainesville, FL 32611-6120 fax: (352) 392-1528 email: sanders@cis.ufl.edu TR 96-010
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-011.ps.Z, 19960314 1 VISUALIZATION OF FUNCTIONAL MAGNETIC RESONANCE IMAGES THROUGH SELF-ORGANIZING MAPS Didem Gokcay and LiMin Fu Department of Computer and Information Sciences University of Florida Gainesville, FL-32611 didem@cis.ufl.edu, fu@cis.ufl.edu Technical Report: 96-011
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-012.ps.gz, 19960412 IMPLEMENTATION OF NCL: NIIIP COMMON LANGUAGE FOR ACHIEVING INFORMATION SHARING AND INTEROPERABILITY AMONG HETEROGENEOUS SYSTEMS By SOOHA PARK LEE A THESIS PRESENTED TO THE GRADUATE SCHOOL OF THE UNIVERSITY OF FLORIDA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-013.ps.Z, 19960415 Composing Leads-to Properties David Meier and Beverly Sandersy TR 96-013 April 15, 1996
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-005.ps.gz, 19960522 Toward a Convergence of Systems and Software Engineering Paul A. Fishwick Computer & Information Science and Engineering Department University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-005.ps.gz, 19960531 IEEE TRANSACTIONS ON SYSTEMS, MAN AND CYBERNETICS, VOL. XX, NO. Y, MONTH 1995 1 Asynchronous Parallel Discrete Event Simulation Yi-Bing Lin and Paul A. Fishwick, senior member
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-016.ps.gz, 19960604 WORKFLOW MODELING AND SIMULATION USING AN EXTENSIBLE OBJECT-ORIENTED KNOWLEDGE BASE MANAGEMENT SYSTEM Sunil Kunisetty Database Research and Development Center University of Florida sk0@cis.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr95/tr95-019.ps.gz, 19960621 SUBMISSION FOR SPECIAL ISSUE ON COMPUTER SIMULATION for IIE Transactions on IE Research A Taxonomy for Simulation Modeling Based on Programming Language Principles Paul A. Fishwick Dept. of Computer & Information Science and Engineering University of Florida Bldg. CSE, Room 301 Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-020.ps.Z, 19960625 Analysis of the Request Patterns to the NSSDC On-line Archive1 Theodore Johnson Carlos Guerra ted@cis.ufl.edu cguerra@cis.ufl.edu Dept. of CISE University of Florida Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-017.ps.Z, 19960625 Hierarchical Matrix Timestamps for Scalable Update Propagation T. Johnson K. Jeong June 25, 1996
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-019.ps.Z, 19960625 An Analytical Performance Model of Robotic Storage Libraries Theodore Johnson Dept. of CISE, University of Florida ted@cis.ufl.edu June 25, 1996
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-018.ps.Z, 19960625 A Fair Fast Distributed Concurrent-Reader Exclusive-Writer Synchronization Theodore Johnson and Hankil Yoon Dept. of CISE, University of Florida Gainesville, FL 32611-2024 ted@cis.ufl.edu, hyoon@cis.ufl.edu May 8, 1996
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-021.ps.Z, 19960626 Distributed Shared Memory Using Reflective Memory: The LAM System Roger Denton Theodore Johnson Encore Computer Corporation Dept. of Computer and Information Science Plantation, Florida University of Florida Gainesville, Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-022.ps.gz, 19960628 A SIMULATION-BASED APPROACH FOR DECISION MAKING AND ROUTE PLANNING By JIN JOO LEE A DISSERTATION PRESENTED TO THE GRADUATE SCHOOL OF THE UNIVERSITY OF FLORIDA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY UNIVERSITY OF FLORIDA 1996 To God And to my parents, Bum Suk
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-023.ps.Z, 19960703 Mergeable
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-024.ps.gz, 19960712 DYNAMIC MODEL ABSTRACTION Kangsun Lee Paul A. Fishwick Dept. of Computer and Information Science and Engineering University of Florida Bldg. CSE, Room 301 Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-027.ps.gz, 19960715 WEB-BASED SIMULATION: SOME PERSONAL OBSERVATIONS Paul A. Fishwick Dept. of Computer and Information Science and Engineering University of Florida Bldg. CSE, Room 301 Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-028.ps.Z, 19960724 Analysis of the access patterns at GSFC Distributed Active Archive Center Theodore Johnson1 Jean-Jacques Bedet ted@cis.ufl.edu bedet@daac.gsfc.nasa.gov Dept. of CISE, University of Florida Hughes STX Corporation Gainesville, Fl 32611 7701 Greenbelt Rd., Suite 400 AT&T Research Greenbelt, MD 20770 Murray
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-029.ps.gz, 19960805 1 Supporting Object Migration in Distributed Systems George Semeczko Stanley Y.W. Su Database Systems Research & Development Center University of Florida Gainesville, FL 32611 {georges, su}@cis.ufl.edu TR-96-029 July, 1996
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-030.ps.Z, 19960813 Planar Topological Routing Andrew Limy Venkat Thanvantriz Sartaj Sahnix
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-031.ps.gz, 19960815 DYNAMIC MODEL ABSTRACTION Kangsun Lee Paul A. Fishwick Department of Computer and Information Science and Engineering University of Florida Bldg. CSE, Room 301 Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-032.ps.gz, 19960829 1 Supporting Distributed Query Processing in a Heterogeneous Environment George Semeczko, Stanley Y.W. Su, Tsae-Feng Yu, Fang Wang Database Systems Research & Development Center University of Florida Gainesville, FL 32611 {georges,su,yu,fwang}@cis.ufl.edu TR-96-032 August, 1996
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol1.ps, 19960927 Chapter 1 Section 1.1 Introduction 1. (a) What is its cost (b) What operating system is needed 2. (a) If the program takes an amount of memory (or time) that is substantial ly different from the estimated amount, we may suspect there is a bug in the program. (b) We may get charged on the basis of the
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/sol1.ps, 19960927 Chapter 1 Section 1.1 Introduction 1. (a) What is its cost (b) What operating system is needed 2. (a) If the program takes an amount of memory (or time) that is substantial ly different from the estimated amount, we may suspect there is a bug in the program. (b) We may get charged on the basis of the
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-015.ps.Z, 19960930 An Algorithm for Distributed Location Management in Networks of Mobile Computers Svetlana Kryukovay, Berna Massingillz, and Beverly Sandersx University of Florida CISE Technical Report 96-015{
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-033.ps.gz, 19961001 UF CISE Technical Report 96-033 c Rutger M. Dijkstra and Beverly A. Sanders, 1996 A predicate transformer for the progress property `to-always' Rutger M. Dijkstra1 and Beverly A. Sanders2 1 Department of Computing Science,University of Groningen, P.O. Box 800, 9700 AV, Groningen, the Netherlands,
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-034.ps.gz, 19961001 Exploiting Historical Information about Computations UF CISE Technical Report 96-034 Beverly A. Sanders y K. Mani Chandyz
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/sol3.ps, 19961002 Chapter 3 Section 3.3 Special Matrices 1. The new class header is template class DiagonalMatrix
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/sol2.ps, 19961002 Chapter 2 1. Assume the representa tion of a linear list defined by Equation 2.1. (a) Extend the definition of the class LinearList ( P{lclass}) to include a function, Reverse, to reverse the order of the elements in the list. The reversal is to be done inplace (i.e., within the array element ). Note
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol2.ps, 19961002 Chapter 2 1. Assume the representa tion of a linear list defined by Equation 2.1. (a) Extend the definition of the class LinearList ( P{lclass}) to include a function, Reverse, to reverse the order of the elements in the list. The reversal is to be done inplace (i.e., within the array element ). Note
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol3.ps, 19961002 Chapter 3 Section 3.3 Special Matrices 1. The new class header is template class DiagonalMatrix
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-026.ps.gz, 19961010 SUBMISSION FOR SPECIAL ISSUE ON MODEL SPECIFICATION & REPRESENTATION for ACM Transactions on Modeling and Computer Simulation Extending Object-Oriented Design for Physical Modeling Paul A. Fishwick Dept. of Computer & Information Science and Engineering University of Florida Bldg. CSE, Room 301
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/e1.ps, 19961014 COP 3530 Data & Program Structures Oct. 4, 1996 SOLUTIONS (1) (a) (2n2 -6n)/n2 fi 2 as n fi . Also, n2 /(2n2-6n) = 1/(2-6/n) fi 1/2 as n fi . So, 2n2-6n = Q(n2). Alternate proof: 2n2-6n < 2n2 for n 1 and 2n 2-6n 2n 2-n2 = n2 for n 6. So, n2 2n2 - 6n 2n2 for n0 6. Hence, 2n2 - 6n = Q(n2 ). (b) n2/(2n +4)
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol6.ps, 19961025 Chapter 6 Section 6.3 Skip List Representation 1. 2. 3. All elements are on the level zero chain. When this chain is examined left-to-right, the elements are in ascending order. So, the output can be created by moving down the level zero chain. The code is template void
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/sol5.ps, 19961025 Chapter 5 Section 5.2 Formula-based Representation 1. The extensions are Size (): Return the number of elements in the queue; Input (): Read in a queue front-to-rear; Return 1 if successful and otherwise; Output (): Output the queue elements front-to-rear; (b) The new public members are template
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol5.ps, 19961025 Chapter 5 Section 5.2 Formula-based Representation 1. The extensions are Size (): Return the number of elements in the queue; Input (): Read in a queue front-to-rear; Return 1 if successful and otherwise; Output (): Output the queue elements front-to-rear; (b) The new public members are template
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/sol4.ps, 19961025 Chapter 4 Section 4.2 Formula-based Representation 1. (a) The codes from scratch are template class Stack eturn top == -1;} int IsFull()
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/sol6.ps, 19961025 Chapter 6 Section 6.3 Skip List Representation 1. 2. 3. All elements are on the level zero chain. When this chain is examined left-to-right, the elements are in ascending order. So, the output can be created by moving down the level zero chain. The code is template void
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol4.ps, 19961025 Chapter 4 Section 4.2 Formula-based Representation 1. (a) The codes from scratch are template class Stack eturn top == -1;} int IsFull()
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-037.ps.gz, 19961104 INTEGRATING CONTINUOUS AND DISCRETE MODELS WITH OBJECT ORIENTED PHYSICAL MODELING Paul A. Fishwick Dept. of Computer & Information Science and Engineering University of Florida Bldg. CSE, Room 301 Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-014.ps.gz, 19961105 Improved Decision Making through Simulation Based Planning Paul A. Fishwick, Gyooseok Kim, Jin Joo Lee Computer and Information Science and Engineering Department University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol7.ps, 19961120 Chapter 7 Section 7.9 ADT And Class Extensions 1. (a) Add the lines Copy (T): Create a copy of the binary tree T; return if the operation fails, return 1 otherwise at the end of the operations section of ADT 7.1. (b) We can make a copy of the binary tree T by traversing it in postorder. The postorder
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol8.ps, 19961120 Chapter 8 Section 8.4 Applications 1. 2. 3. (a) An IncreaseKey can be done by increasing the key of the root element and then performing a root to leaf scan of the min heap (as in a delete min) sliding elements up if they are smaller than the increased key. The derived class has all the public member
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol10.ps, 19961120 Chapter 10 Section 10.1 Binary Search Trees 1. 2. 3. 4. 5. The class definition is template class IndexedBinarySearchTree : public BinarySearchTree {public: int IndexedSearch(int k, etype& e); int Insert(const etype& e); int Delete(const ktype& k, etype& e); int
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol11.ps, 19961211 Chapter 11 Section 11.7 Class Definitions 1. 2. 3. 4. 5. The input and output codes for a linked graph are identical to those for a linked directed graph provided we make use of the member function Add to add edges to the graph. The member function Linked ::Add is inherited from LinkedDigraph. This
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol13.ps, 19961211 Chapter 13 Section 13.3 Merge Sort 1. When sorting a chain, the merge sort code is best given recursively. We need a protected function to merge together two chains. This is similar to the merge code developed in the exercises of Chapter 2. However, here, the code is written to accept pointers to the
	ftp://ftp.cis.ufl.edu/cis/tech-reports/sahni/exercise/sol12.ps, 19961211 Chapter 12 Section 12.3 Container Loading 1. 2. (a) The completion times are (4, 6, 14, 15). So, the ACT is (4 + 6 + 14 + 15) / 4) = 9.75. (b) When the task order is 2, 1, 4, 3, the completion times are (2, 6, 7, 15). Now, the ACT is (2 + 6 + 7 + 15) / 4 = 7.5. (c) For the greedy order 4, 2, 1, 3, the
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-035.ps.Z, 19961212 Reasoning about Program Composition K. Mani Chandyy Beverly A. Sanders z UF CISE Technical Report 96-035 November 18, 1996
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-036.ps.gz, 19970113 Efficient Termination Detection for Asynchronous Parallel Computations Nabeel Al-Fayoumi and Eric N. Hanson Rm. 301 CSE, P.O. Box 116120 CISE Department University of Florida Gainesville, FL 32611-6120 nabeel@cis.ufl.edu hanson@cis.ufl.edu http://www.cis.ufl.edu/~nabeel/ http://www.cis.ufl.edu/~hanson/
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-025.ps.gz, 19970210 Reducing the Time Complexity of Hybrid Monte Carlo Simulation through Randomized Selection Brian Thorndyke and Paul Fishwick Department of Computer and Information Sciences and Engineering University of Florida 301 CSE, P.O. Box 116120, Gainesville, FL 32611 e-mail: thorndyb@cise.ufl.edu February 10,
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-005.ps.gz, 19970324 A method for resolving the consistency problem between rule-based and quantitative models using fuzzy simulation Gyooseok Kim and Paul A. Fishwick Computer and Information Science and Engineering Department University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-006.ps.gz, 19970324 A semi-automated method for dynamic model abstraction Kangsun Lee and Paul A. Fishwick Department of Computer Information Science and Engineering University of Florida Bldg. CSE, Room 301 Gainesville, FL 32611
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-004.ps.gz, 19970324 MOOSE: architecture of an object-oriented multimodeling simulation system Robert Cubert, Tolga Goktekin, and Paul A. Fishwick Department of Computer & Information Science and Engineering CSE Room 301 University of Florida Gainesville, FL 32611-6120
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-002.ps.gz, 19970327 Optimized Trigger Condition Testing in Ariel using Gator Networks Eric N. Hanson, Sreenath Bodagala, Ullas Chadaga, Mohammed Hasan, Goutam Kulkarni and Jayashree Rangarajan Rm. 301 CSE, P.O. Box 116120 CISE Department University of Florida Gainesville, FL 32611-6120 hanson@cise.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-008.ps.gz, 19970416 BPC
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-009.ps.gz, 19970421 REVISED SUBMISSION FOR SPECIAL ISSUE ON MODEL SPECIFICATION & REPRESENTATION for ACM Transactions on Modeling and Computer Simulation A Visual Object-Oriented Multimodeling Design Approach for Physical Modeling Paul A. Fishwick Dept. of Computer & Information Science and Engineering University of
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-001.ps.gz, 19970602 Simulation Based Planning in Support of Multi-Agent Scenarios Jin Joo Lee and Paul A. Fishwick Computer & Information Science and Engineering Department University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-012.ps.gz, 19970603 MOOSE: an object-oriented multimodeling and simulation application framework Robert M. Cubert and Paul A. Fishwick Department of Computer & Information Science and Engineering CSE Room 301 University of Florida Gainesville, FL 32611-6120
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-003.ps.gz, 19970616 Modifying a Sparse Cholesky Factorization Timothy A. Davisy Department of Computer and Information Science and Engineering University of Florida, Gainesville, FL 32611 and William W. Hagerz Department of Mathematics University of Florida, Gainesville, FL 32611 April 28, 1997 Technical Report TR-97-003,
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-014.ps.gz, 19970626 A WORKFLOW MANAGEMENT AND SIMULATION SYSTEM AND ITS SUPPORTING OBJECT-ORIENTED KNOWLEDGE BASE MANAGEMENT SYSTEM By MAHESH K. JAGANNATH A THESIS PRESENTED TO THE GRADUATE SCHOOL OF THE UNIVERSITY OF FLORIDA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE UNIVERSITY OF
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-015.ps.gz, 19970823 IMAGE DENOISING AND SEGMENTATION VIA NONLINEAR DIFFUSION YUNMEI CHENy, BABA C. VEMURI z, AND LI WANG x
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-016.ps.gz, 19970909 A Combined Unifrontal/Multifrontal Method for Unsymmetric Sparse Matrices Timothy A. Davis Iain S. Duffy September 5, 1997 Technical Report TR-97-016, Computer and Information Science and Engineering Department, University of Florida. Revision of TR-95-020.
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-018.ps.gz, 19970911 A Method for Resolving the Consistency Problem Between Rule Based and Quantitative Knowledge using Fuzzy Simulation Gyooseok Kim, Paul A. Fishwick Computer & Information Science and Engineering Department University of Florida
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-017.ps.gz, 19970911 An Optimal Parallel Algorithm for Sorting Multisets1 Sanguthevar Rajasekaran Dept. of CISE, Univ. of Florida, Gainesville, FL 32611.
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr96/tr96-038.ps.gz, 19971107 A Multimodeling Basis for Across-Trophic-Level Ecosystem Modeling: The Florida Everglades Example Paul A. Fishwick Department of Computer and Information Science and Engineering University of Florida James G. Sanderson National Biological Survey Department of Wildlife Ecology and Conservation University
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-020.ps.gz, 19971111 1 Dynamic Catmull-Clark Subdivision Surfaces Hong Qin Chhandomay Mandal Baba C. Vemuri CISE Technical Report # TR-97-020 Department of Computer and Information Science and Engineering P.O. Box 116120 University of Florida, Gainesville, Florida 32611. Email: fqin j cmandal j vemurig@cise.ufl.edu Tel:
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-021.ps.gz, 19971113 Optimized Trigger Condition Testing in Ariel Using Gator Networks Eric N. Hanson CISE Department University of Florida hanson@cise.ufl.edu Sreenath Bodagala CISE Department University of Florida sre@cise.ufl.edu Ullas Chadaga CISE Department University of Florida uchadaga@cise.ufl.edu 12 November 1997
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-023.ps.gz, 19971118 High-Speed Stereo Matching with Wavelet Frame Representations* Minbo Shim Computer and Information Sciences and Engineering Department University of Florida Gainesville, FL 32611 2024 E-mail: ms2@cise.ufl.edu Andrew F. Laine Center for Biomedical Engineering Columbia University New York, NY 10027
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-022.ps.gz, 19971118 A Fast Algorithm to Support Interactive Wavelet Processing on a Radiologist Workstation TR97-022 Minbo Shim Computer and Information Sciences and Engineering Department University of Florida Gainesville, FL 32611 Andrew F. Laine y Center for Biomedical Engineering Columbia University New York, NY 10027
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-025.ps.gz, 19971216 Modifying a Sparse Cholesky Factorization Timothy A. Davisy Department of Computer and Information Science and Engineering University of Florida, Gainesville, FL 32611 and William W. Hagerz Department of Mathematics University of Florida, Gainesville, FL 32611 April 28, 1997 Revised December 15, 1997
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-027.ps.gz, 19980109 Distributed Information Mediation and Query Processing in a CORBA Environment Stanley Y. W. Su and Tsae-Feng Yu Database Systems Research and Development Center Department of Computer and Information Science and Engineering University of Florida fsu,yug@cise.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-029.ps.gz, 19980115 Basic Operations On The OTIS-Mesh Optoelectronic Computer Chih-fang Wang and Sartaj Sahni Department of Computer and Information Science and Engineering University of Florida Gainesville, FL 32611 fwang,sahnig@cise.ufl.edu
	ftp://ftp.cis.ufl.edu/cis/tech-reports/tr97/tr97-028.ps.gz, 19980115 BPC Permutations On The OTIS-Hypercube Optoelectronic Computer Sartaj Sahni and Chih-fang Wang Department of Computer and Information Science and Engineering University of Florida Gainesville, FL 32611 fsahni,wangg@cise.ufl.edu