Software Technology Minitracks

OBJECT ORIENTED MULTIDATABASE SYSTEMS
Coordinator: Omran Bukhres

SOF 1
€ Extending an Object-Oriented Programming Language to Support the Integration of
Heterogeneous Database Systems, E. Pitoura

€ Asynchronous Consistency Restoration Under Epsilon Serializability, P. Drew and C. Pu

* TriGSflow Active Object-Oriented Workflow Management, G. Kappel, B. Proll, S. Rausch-Schott,
and W. Retschitzegger

PARTITIONING AND SCHEDULING IN PARALLEL AND DISTRIBUTED SYSTEMS
Coordinators: Apostolos Gerasoulis and Tao Yang

SOF 2 Program Partitioning
Session Chair: A.R. Hurson
€ Beyond Convexity: Scanning ³Non-Convex Polyhedra², Z.S. Chamski

€ Partitioning a Lenient Parallel Language into Sequential Threads, S. Ha, S. Han, and
H. Kim

€ Impact of Memory Hierarchy on Program Partitioning and Scheduling, W.K. Kaplow,
W.A. Maniatty, and B.K. Szymanski

SOF 3 Partitioning and Dependence Graphs
Session Chair: C. Polychronopoulos
€ Automatic Data and Computation Decomposition for Distributed Memory Machines,
Q. Ning, V. Van Dongen, and G.R. Gao

* Automatic Task Graph Generation Techniques, M. Cosnard and M. Loi

€ Classical Dependence Analysis Techniques: Sufficiently Accurate in Practice, K. Psarris
and S. Pande

SOF 4 Static Scheduling
Session Chair: T. Yang
€ A Strategy for Scheduling Partially Ordered Program Graphs onto Multicomputers,
B. Lee, C. Shin, and A.R. Hurson

€ Static Multiprocessor Scheduling of Periodic Real-Time Tasks with Precedence
Constraints and Communication Costs, S. Ronngren and B.A. Shirazi

€ Compile-Time Scheduling with Resource-Constraints, G. Bilsen, R. Lauwereins, and
J.A. Peperstraete

SOF 5 Load Balancing and Processor Allocation
Session Chair: B.K. Szymanski
€ Guiding Processor Allocation with Estimated Execution Time for Mesh Connected Multiple
Processor Systems, Y-K. Chu, I-L. Yen, and D.T. Rover
€ A Scalable Time-Sharing Scheduling for Partitionable, Distributed Memory Parallel Machines,
A. Hori, Y. Ishikawa, H. Konaka, M. Maeda, and T. Tomokiyo

SOF 6 Load Balancing and Run-Time Scheduling
Session Chair: B.A. Shirazi
€ Optimal Load Distribution for Asynchronously Scheduled Homogeneous Multiprocessor and
Distributed Systems, E. Haddad

€ Performance of Synchronous Parallel Discrete-Event Simulation, B.L. Noble, G.D. Peterson, and
R.D. Chamberlain

€ Parameter Estimation for a Generalized Parallel Loop Scheduling Algorithm, K.K. Yue and
D.J. Lilja

SOF 7 Open Forum
Session Chair: A. Gerasoulis


PROGRAM DEVELOPMENT TOOLS AND ENVIRONMENTS FOR PARALLEL AND DISTRIBUTED SYSTEMS
Coordinators: Ted Lewis and Amr Zaky

SOF 8 Program Development Tools & Environments I
€ A Method for Optimizing Large Scale Parallel Applications, O. Hansen

€ MaTRiX++: An Object-Oriented Environment for Parallel High-Performance Matrix Computa
tions, T. Collins and J.C. Browne

€ Using the Parsec Environment to Implement a High-Performance Processor Farm, D. Feldcamp
and A. Wagner

SOF 9 Program Development Tools & Environments II
€ Transparently Distributing Objects with Inheritance, T. Wolff

€ Detecting Conjunctive Channel Predicates in a Distributed Programming Environment, V.K. Garg,
C. Chase, J.R. Mitchell, and R. Kilgore

€ The ³Annai² Environment for Portable Distributed Parallel Programming, C. Clemencon, A. Endo,
J. Fritscher, A. Muller, R. Ruhl, and B.J.N. Wylie

SOF 10 Program Development Tools & Environments III
€ Accomodating Heterogeneity in a Debugger - A Client-Server Approach, R. Hood and D. Cheng

€ The Software Architect¹s Assistant - A Visual Environment for Distributed Programming, K. Ng,
J. Kramer, J. Magee, and N. Dulay

€ Efficiency Evaluation of Selected Parallelization Tools, G. Kotsis and F. Sukup

SOF 11 Program Development Tools & Environments IV
€ From a Formal Dynamic Semantics of Sisal to a Sisal Environment, I. Attali, D. Caromel,
and A.L. Wendelborn

€ Bulk Synchronous Parallel Computing - A Paradigm for Transportable Software, T. Cheatham,
A. Fahmy, D.C. Stefanescu, and L.G. Valiant
* N-MAP: A Virtual Processor Discrete Event Simulation Tool for Performance Prediction
in the CAPSE Environment, A. Ferscha and J. Johnson

SOF 12 Open Forum

DISTRIBUTION AND CONCURRENCY IN PERSISTENT SYSTEMS Coordinators: John Rosenberg and Alan Dearle

SOF 13 Distribution and Concurrency in Persistent Systems I
€ Data Consistency in a Distributed Persistent Object System, Z. Wu, K. Moody, J. Bacon,
and R.J. Stroud

€ Page-Based Optimistic Concurrency Control for Memory-Mapped Persistent Object
Systems, S. Inohara, Y. Shigehata, K. Uehara, H. Miyazawa, K. Yamamoto, and
T. Masuda

* Persistent SR: Adding Persistence to Concurrency, C. Allison and M. Livesey

SOF 14 Distribution and Concurrency in Persistent Systems II
€ Using Directed Graphs to Describe Entity Dependency in Stable Distributed Persistent
Stores, R. Jalili and F.A. Henskens

€ Towards a Resilient Shared Memory Concept for Distributed Persistent Object Systems,
B. Irlenbusch and J. Kaiser

€ Working With Alien Objects: An Object Oriented Viewpoint, A. Malhotra

SOF 15 Distribution and Concurrency in Persistent Systems III
€ Is Distribution a Genuine Problem for Persistent Systems or is Addressing the Real
Problem?, J.L. Keedy

€ Open Forum

COMMUNICATION IN PARALLEL AND DISTRIBUTED SYSTEMS
Coordinators: Alan Fekete, Arthur L. Liestman, and Joseph G. Peters

SOF 16 Embeddings and Routings
Session Chair: Joseph Peters
€ Embedding Hypercubes into Pancake, Cycle Prefix and Substring Reversal Networks,
L. Gardner, Z. Miller, D. Pritikin, and I.H. Sudborough

€ Embeddings of Complete Binary Trees into Star Graphs with Congestion, M-C. Heydemann,
J. Opatrny, and D. Sotteau

€ Fast Algorithms for Finding O(Congestion+Dilation) Packet Routing Schedules, T. Leighton and B. Maggs

SOF 17 Information Movement in Networks
Session Chair: Arthur Liestman
€ Broadcasting with Universal Lists, K. Diks and A. Pelc

€ Broadcasting in an n-Grid With a Given Neighborhood Template, C. Garcia and
C. Peyrat
€ Structured Communication in Torus Networks, P. Fragniaud and J.G. Peters

SOF 18 Dist;ributed Systems
Session Chair: Alan Fekete
€ Media Synchronization Protocols for Packet Audio-Video System on Multimedia Informa
tion Networks, Y. Shibata, N. Seta and S. Shimizu

€ Broadcast Time Warp, B. Bayerdorffer

* RELACS: A Communications Infrastructure for Constructing Reliable Applications in
Large-Scale Distributed Systems, O. Babaoglu, R. Davoli, L.-A. Giachini, and M.G. Baker

SOF 19
€ Connection Management Without Retaining Information, H. Attiya, S. Dolev, and J.L. Welch

FAULT TOLERANCE IN DISTRIBUTED/PARALLEL SYSTEMS
Coordinators: Shahram Latifi and Pradip K. Srimani

SOF 20 Fault Tolerance in Distributed/Parallel Systems I
€ Fault-Diameter of the Star-Connected Cycles Interconnection Network, M.M. Azevedo,
N. Bagherzadeh, and S. Latifi

€ Cayley Graph Connected Cycles: A New Class of Fixed-Degree Interconnection Networks,
S.R. Ohring, F. Sarkar, and D.H. Hohndel

€ Efficient Reconfiguration Technique for Redundant Ring Networks, A. Nayak, N. Santoro, and
Q. Xue

SOF 21 Fault Tolerance in Distributed/Parallel Systems II
* Fault-Tolerant Graphs for Hypercubes and Tori, T. Yamada, K. Yamamoto, and S. Ueno

€ A Fault-Tolerant Architecture Based on Autonomous Replicated Objects, T. Seki, T.Hasegawa,
Y. Okataku, and S. Tamura

€ Reliability Analysis of CSP Specifications Using Petri Nets and Markov Processes, K.M. Kavi,
F.T. Sheldon, B. Shirazi, and A.R. Hurson

SOF 22 Fault Tolerance in Distribvuted/Parallel Systems III
€ The Performance of Independent Checkpointing in Distributed Systems, P. Sens

€ Open Forum

SOF 23 Birds-of-a-Fealther Session I

SOF 24 Birds-of-a-Feather Session II

DIRECTIONS IN SOFTWARE ENGINEERING FOR PARALLEL SYSTEMS
Coordinators: Ian Gorton, Innes Jelly, Peter Croll, and Patrick Nixon

SOF 25 Directions in Software Engineering For Parallel Systems I
€ Introduction, Ian Gorton, Innes Jelly, Peter Croll and Patrick Nixon

€ Software Reuse and Portability of Parallel Programs, H. Burkhart and S. Gutzwiller
* Modularization, Re-Use and Testing for Parallel Message-Passing Programs, G. Wirtz

€ Prototyping of Parallel and Distributed Object-Oriented Systems: The PDC Model and Its
Environment, R. Weinreich and R. Plosch

SOF 26 Directions in Software Engineering for Parallel Systems II
€ A Rigorous Method for the Constructive Design of Parallel and Distributed Programs,
G.R.R. Justo

€ DCCA: A Versatile Paradigm for the Description and Development of Concurrent Communicating
Systems, S. Aggarwal, S. Mitra, and S.S. Jagdale

€ Modelling the Client-Server Behaviour of Parallel Real-Time Systems Using Petri Nets,
C.I. Birkinshaw and P.R. Croll

SOF 27 Directions in Software Engineering for Parallel Systems III
€ Software Engineering for Parallel Systems: The TRAPPER Approach, C. Scheidler, L. Schafers,
and O. Kramer-Fuhrmann

€ Compositional Adjustment of Concurrent Programs to Satisfy Temporal Logic Constraints in
MENDELS ZONE, N. Uchihira and S. Honiden

€ Re-Vision: A Methodology and Tool for Parallel Computations, X. Ma and T. Hintz

SOF 28 Directions in Software Engineering for Parallel Systems IV
€ An Initial Comparison of Implicit and Explicit Programming Styles for Distributed Memory Multi
processors, M. Haines and W. Bohm

€ Open Forum

PERFORMANCE EVALUATION AND PREDICTION OF PARALLEL AND DISTRIBUTED SYSTEMS
Minitrack Coordinator: Diane T. Rover

SOF 29 Measurement: Benchmarking and Instrumentation
€ HINT: A New Way to Measure Computer Performance, J.L. Gustafson and Q.O. Snell

€ Benchmarking Financial Database Queries on a Parallel Machine, J.A. Keane, T.N. Franklin,
R. Dipper, A.J. Grant, S. Sumner, and M.Q. Xu

€ A Model for Instrumentation System Management in Concurrent Computer Systems, A. Waheed,
V.F. Melfi, and D.T. Rover

SOF 30 Modeling and Specification
€ A Probabilistic Approach to Parallel System Performance Modelling, H. Jonkers, A.J.C. van
Gemund, and G.L. Reijns

€ Stealing Cycles: Can We Get Along?, G.D. Peterson and R.D. Chamberlain

€ Portrayal of Parallel Applications for Performance Evaluation and Prediction, K. Ekanadham and
V.K. Naik
SOF 31 Modeling and Prediction
€ Performance Modeling of Parallel Systems with Flexible Precision, A.J.C. van Gemund,
H. Jonkers, and G.L. Reijns

* Multivariate Statistical Techniques for Parallel Performance Prediction, M.J. Clement and
M.J. Quinn

€ Performance Prediction of Scalable Computing: A Case Study, X-H. Sun and J. Zhu

SOF 32 Open Forum

PARALLEL ALGORITHMS Coordinator: Michael A. Langston

SOF 33 Communication and Scheduling
€ Fault-Tolerant Communication Algorithms on the Star Network Using Disjoint Paths,
P. Fragopoulou and S.G. Akl

€ Recycling Random Bits in Parallel, K. Friedl and S-C. Tsai

€ Scheduling Interval Orders in Parallel, E.W. Mayr

SOF 34 Probabilistic Algorithms
* Eventual Determinism: Using Probabilistic Means to Achieve Deterministic Ends, J.R. Rao

€ Quickest Paths: Parallelization and Dynamization, D. Kagaris, G.E. Pantziou,
S. Tragoudas, and C.D. Zaroliagis

SOF 35 Computational Models
€ A Parallel Local-Search Algorithm for the k-Partitioning Problem, R. Diekmann, R. Lueling,
B. Monien, and C. Spraner

€ Models and Resource Metrics for Parallel and Distributed Computation, Z. Li, P.H. Mills, and
J.H. Reif

€ Models of Parallel Computation: A Survey and Synthesis, B.M. Maggs, L.R. Matheson, and
R.E. Tarjan

HICSS-28 HOMEPAGE

HICSS HOMEPAGE