University of Florida :: Department of Computer and Information Science and Engineering (CISE)

Departmental Reports (year: 1996)

Search Departmental Reports
By Author: 
By Time: 
Keyword search:
Browse by Year
2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002
2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990
Report ID:REP-1996-236
Title:A Multimodeling Basis for Across-Trophic-Level Ecosystem Modeling: The Florida Everglades Example
Authors:Paul A. Fishwick; James G. Sanderson; Wilfried F. Wolff
Posted:January 1, 1996
Report ID:REP-1996-235
Title:Integrating Continuous and Discrete Models with Object Oriented Physical Modeling
Author:Paul A. Fishwick
Posted:January 1, 1996
Report ID:REP-1996-234
Title:Efficient Termination Detection for Asynchronous Parallel Computations
Authors:Nabeel Al-Fayoumi; Eric N. Hanson
Posted:January 1, 1996
Report ID:REP-1996-233
Title:Reasoning About Program Composition
Authors:K. Mani Chandy; Beverly A. Sanders
Posted:January 1, 1996
Report ID:REP-1996-232
Title:Exploiting Historical Information about Computations
Authors:Beverly A. Sanders; K. Mani Chandy
Posted:January 1, 1996
Report ID:REP-1996-231
Title:A predicate transformer for the progress property `to-always'
Authors:Rutger M. Dijkstra; Beverly A. Sanders
Posted:January 1, 1996
Report ID:REP-1996-230
Title:Supporting Distributed Query Processing in a Heterogeneous Environment
Authors:George Semeczko; Stanley Y.W. Su; Tsae-Feng Yu; Fang Wang
Posted:January 1, 1996
Report ID:REP-1996-229
Title:Dynamic Model Abstraction
Authors:Kangsun Lee; Paul Fishwick
Posted:January 1, 1996
Report ID:REP-1996-228
Title:Planar Topological Routing
Authors:Andrew Lim; Venkat Thanvantri; Sartaj Sahni
Posted:January 1, 1996
Report ID:REP-1996-227
Title:Analysis of the Access Patterns at the GSFC Distributed Active Archive Center
Authors:George Semeczko; Stanley Y.W. Su
Posted:January 1, 1996
Report ID:REP-1996-226
Title:Analysis of the Access Patterns at the GSFC Distributed Active Archive Center
Authors:Theodore Johnson; Jean-Jacques Bedet
Posted:January 1, 1996
Report ID:REP-1996-225
Title:Web-Based Simulation: Some Personal Observations
Author:Paul Fishwick
Posted:January 1, 1996
Report ID:REP-1996-224
Title:Extending Object-Oriented Design for Physical Modeling
Author:Paul Fishwick
Posted:January 1, 1996
Report ID:REP-1996-223
Title:Reducing the Time Complexity of Hybrid Monte Carlo through Randomized Selection
Authors:Brian Thorndyke; Paul Fishwick
Posted:January 1, 1996
Report ID:REP-1996-222
Title:Dynamic Model Abstraction
Authors:Kangsun Lee; Paul Fishwick
Posted:January 1, 1996
Report ID:REP-1996-221
Title:Mergeable Double-Ended Priority Queues
Authors:Seonghun Cho; Sartaj Sahni
Posted:January 1, 1996
Report ID:REP-1996-220
Title:A Simulation-Based Approach for Decision Making and Route Planning
Author:Jin Joo Lee
Posted:January 1, 1996
Report ID:REP-1996-219
Title:Distributed Shared Memory Using Reflective Memory: The LAM System
Authors:Roger Denton; Theodore Johnson
Posted:January 1, 1996
Report ID:REP-1996-218
Title:Analysis of the Request Patterns to the NSSDC On-line Archive
Authors:Theodore Johnson; Carlos Guerra
Posted:January 1, 1996
Report ID:REP-1996-217
Title:An Analytical Performance Model of Robotic Storage Libraries
Author:Theodore Johnson
Posted:January 1, 1996
Report ID:REP-1996-216
Title:A Fair Fast Distributed Concurrent-Reader Exclusive-Writer Synchronization
Authors:Theodore Johnson; Hankil Yoon
Posted:January 1, 1996
Report ID:REP-1996-215
Title:Hierarchical Matrix Timestamps for Scalable Update Propagation
Authors:Theodore Johnson; Karpjoo Jeong
Posted:January 1, 1996
Report ID:REP-1996-214
Title:Workflow Modeling and Simulation using an Extensible Object-Oriented Knowledge Base Management System
Authors:Sunil K Kunisetty; Stanley Y.W. Su
Posted:January 1, 1996
Report ID:REP-1996-213
Title:An Algorithm for Distributed Location Management in Networks of Mobile Computers
Authors:Svetlana Kryukova; Berna Massingill; Beverly Sanders
Posted:January 1, 1996
Report ID:REP-1996-212
Title:Improved Decision Making through Simulation Based Planning
Authors:Paul A. Fishwick; Gyooseok Kim; Jin Joo Lee
Posted:January 1, 1996
Report ID:REP-1996-211
Title:Composing Leads-to Properties
Authors:David Meier; Beverly Sanders
Posted:January 1, 1996
Report ID:REP-1996-210
Title:Parallel Computing: Performance Metrics and Models
Authors:Sooha Lee; Stanley Y. W. Su
Posted:January 1, 1996
Report ID:REP-1996-209
Title:Parallel Computing: Performance Metrics and Models
Authors:Didem Gokcay; LiMin Fu
Posted:January 1, 1996
Report ID:REP-1996-208
Title:Parallel Computing: Performance Metrics and Models
Author:Beverly A. Sanders
Posted:January 1, 1996
Report ID:REP-1996-207
Title:Parallel Computing: Performance Metrics and Models
Authors:Nabeel I. Al-Fayoumi; Eric N. Hanson
Posted:January 1, 1996
Report ID:REP-1996-206
Title:Parallel Computing: Performance Metrics and Models
Authors:Sartaj Sahni; Venkat Thanvantri
Posted:January 1, 1996
Report ID:REP-1996-205
Title:Two Methods for Exploiting Abstraction in Systems
Authors:Paul A. Fishwick; Kangsun Lee
Posted:January 1, 1996
Report ID:REP-1996-204
Title:Fast algorithms for fitting multiresolution hybrid shape models to brain MRI.
Authors:B. C. Vemuri; Y. Guo; S. H. Lai
Posted:January 1, 1996
Report ID:REP-1996-203
Title:Toward a Convergence of Systems and Software Engineering
Author:Paul A. Fishwick
Posted:January 1, 1996
Report ID:REP-1996-202
Title:A Randomized Approach to Hybrid Monte-Carlo Simulation
Authors:Brian Thorndyke; Paul Fishwick; Rajasakeran Sanguthevar
Posted:January 1, 1996
Report ID:REP-1996-201
Title:Dictionary and Priority Queue Programs
Authors:Seonghun Cho; Sartaj Sahni
Posted:January 1, 1996
Report ID:REP-1996-200
Title:Weight Biased Leftist Trees and Modified Skip Lists
Authors:Seonghun Cho; Sartaj Sahni
Posted:January 1, 1996
Report ID:REP-1996-199
Title:A New Weight Balanced Binary Search Tree
Authors:Seonghun Cho; Sartaj Sahni
Posted:January 1, 1996
To submit items for this page, please log in on the CISE submit page.