Parallel and Distributed Processing: 15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings

3rd Workshop on Personal Computer based Networks Of Workstations (PC-NOW 2000)....Pages 1-3
Memory Management in a combined VIA/SCI Hardware....Pages 4-15
ATOLL, a new switched, high speed Interconnect in Comparison to Myrinet and SCI....Pages 16-27
ClusterNet: An Object-Oriented Cluster Network....Pages 28-38
GigaBit Performance under NT....Pages 39-50
MPI Collective Operations over IP Multicast....Pages 51-60
An Open Market-Based Architecture for Distributed Computing....Pages 61-70
The MultiCluster Model to the Integrated Use of Multiple Workstation Clusters....Pages 71-80
Parallel Information Retrieval on an SCI-Based PC-NOW....Pages 81-90
A PC-NOW Based Parallel Extension for a Sequential DBMS....Pages 91-100
Workshop on Advances in Parallel and Distributed Computational Models....Pages 101-101
The Heterogeneous Bulk Synchronous Parallel Model....Pages 102-108
On stalling in LogP....Pages 109-115
Parallelizability of some P -complete problems....Pages 116-122
A New Computation of Shape Moments via Quadtree Decomposition....Pages 123-129
The Fuzzy Philosophers....Pages 130-136
A Java Applet to Visualize Algorithms on Reconfigurable Mesh....Pages 137-142
A Hardware Implementation of PRAM and its Performance Evaluation....Pages 143-148
A Non-Binary Parallel Arithmetic Architecture....Pages 149-154
Multithreaded Parallel Computer Model with Performance Evaluation....Pages 155-160
Workshop on Parallel and Distributed Computing in Image Processing, Video Processing, and Multimedia (PDIVM 2000)....Pages 161-162
MAJC-5200: A High Performance Microprocessor for Multimedia Computing....Pages 163-170
A Novel Superscalar Architecture for Fast DCT Implementation....Pages 171-177
Computing Distance Maps Efficiently Using An Optical Bus....Pages 178-185
Advanced Data Layout Optimization for Multimedia Applications....Pages 186-193
Parallel Parsing of MPEG Video in a Multi-threaded Multiprocessor Environment....Pages 194-201
Parallelization Techniques for Spatial-Temporal Occupancy Maps from Multiple Video Streams....Pages 202-209
Heuristic Solutions for a Mapping Problem in a TV-Anytime Server Network....Pages 210-217
RPV: A Programming Environment for Real-time Parallel Vision —Specification and programming methodology—....Pages 218-225
Parallel low-level image processing on a distributed-memory system....Pages 226-233
Congestion-free Routing of Streaming Multimedia Content in BMIN-based Parallel Systems....Pages 234-241
Performance of On-Chip Multiprocessors for Vision Tasks (Summary)....Pages 242-249
Parallel Hardware-Software Architecture for computation of Discrete Wavelet Transform using the Recursive Merge Filtering algorithm....Pages 250-256
Fifth International Workshop on High-level Parallel Programming Models and Supportive Environments HIPS 2000....Pages 257-260
Pipelining Wavefront Computations: Experiences and Performance....Pages 261-268
Specification Techniques for Automatic Performance Analysis Tools....Pages 269-276
PDRS: A Performance Data Representation System....Pages 277-284
Clix — A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory....Pages 285-292
Controlling Distributed Shared Memory Consistency from High Level Programming Languages....Pages 293-300
Online Computation of Critical Paths for Multithreaded Languages....Pages 301-313
Problem Solving Environment Infrastructure for High Performance Computer Systems....Pages 314-323
Combining Fusion Optimizations and Piecewise Execution of Nested Data-Parallel Programs....Pages 324-331
Declarative concurrency in Java....Pages 332-339
Scalable Monitoring Technique for Detecting Races in Parallel Programs....Pages 340-347
3rd IPDPS Workshop on High Performance Data Mining....Pages 348-349
Implementation Issues in the Design of I/O Intensive Data Mining Applications on Clusters of Workstations....Pages 350-357
A Requirements Analysis for Parallel KDD Systems....Pages 358-365
Parallel Data Mining on ATM-Connected PC Cluster and Optimization of its Execution Environments....Pages 366-373
The Parallelization of a Knowledge Discovery System with Hypergraph Representation....Pages 374-381
Parallelisation of C4.5 as a Particular Divide and Conquer Computation....Pages 382-389
Scalable Parallel Clustering for Data Mining on Multicomputers....Pages 390-398
Exploiting Dataset Similarity for Distributed Mining....Pages 399-406
Scalable Model for Extensional and Intensional Descriptions of Unclassified Data....Pages 407-414
Parallel Data Mining of Bayesian Networks from Telecommunications Network Data....Pages 415-422
Irregular’00 Seventh International Workshop on Solving Irregularly Structured Problems in Parallel....Pages 423-426
Load Balancing and Continuous Quadratic Programming....Pages 427-427
Parallel Management of Large Dynamic Shared Memory Space: A Hierarchical FEM Application....Pages 428-434
Efficient Parallelization of Unstructured Reductions on Shared Memory Parallel Architectures....Pages 435-442
Parallel FEM Simulation of Crack Propagation — Challenges, Status, and Perspectives....Pages 443-449
Support for Irregular Computations in Massively Parallel PIM Arrays, Using an Object-Based Execution Model....Pages 450-456
Executing Communication-Intensive Irregular Programs Efficiently....Pages 457-468
Non-Memory-Based and Real-Time Zerotree Building for Wavelet Zerotree Coding Systems....Pages 469-475
Graph Partitioning for Dynamic, Adaptive and Multi-phase Computations....Pages 476-476
A Multilevel Algorithm for Spectral Partitioning with Extended Eigen-Models....Pages 477-484
An Integrated Decomposition and Partitioning Approach for Irregular Block-Structured Applications....Pages 485-496
Ordering Unstructured Meshes for Sparse Matrix Computations on Leading Parallel Systems....Pages 497-503
A GRASP for computing approximate solutions for the Three-Index Assignment Problem....Pages 504-504
On Identifying Strongly Connected Components in Parallel....Pages 505-511
A Parallel, Adaptive Refinement Scheme for Tetrahedral and Triangular Grids....Pages 512-518
PaStiX: A Parallel Sparse Direct Solver Based on a Static Scheduling for Mixed 1D/2D Block Distributions....Pages 519-525
Workshop on Java for Parallel and Distributed Computing....Pages 526-527
An IP Next Generation Compliant Java ™ Virtual Machine ....Pages 528-535
An Approach to Asynchronous Object-Oriented Parallel and Distributed Computing on Wide-Area Systems....Pages 536-543
Performance Issues for Multi-language Java Applications....Pages 544-551
MPJ: A Proposed Java Message Passing API and Environment for High Performance Computing....Pages 552-559
Implementing Java consistency using a generic, multithreaded DSM runtime system....Pages 560-567
Third Workshop on Bio-Inspired Solutions to Parallel Processing Problems (BioSP3)....Pages 568-569
Take Advantage of the Computing Power of DNA Computers....Pages 570-577
Agent surgery: The case for mutable agents....Pages 578-585
Was Collective Intelligence 1 before Life on Earth?....Pages 586-594
Solving Problems on Parallel Computers by Cellular Programming....Pages 595-603
Multiprocessor Scheduling with Support by Genetic Algorithms - based Learning Classifier System....Pages 604-611
Viewing Scheduling Problems through Genetic and Evolutionary Algorithms....Pages 612-619
Dynamic Load Balancing Model: Preliminary Assessment of a Biological Model for a Pseudo-Search Engine....Pages 620-627
A Parallel Co-evolutionary Metaheuristic....Pages 628-635
Neural Fraud Detection in Mobile Phone Operations....Pages 636-644
Information Exchange in Multi Colony Ant Algorithms....Pages 645-652
A Surface-Based DNA Algorithm for the Expansion of Symbolic Determinants....Pages 653-659
Hardware Support for Simulated Annealing and Tabu Search....Pages 660-667
Eighth International Workshop on Parallel and Distributed Real-Time Systems....Pages 668-670
A Distributed Real Time Coordination Protocol....Pages 671-677
A Segmented Backup Scheme for Dependable Real Time Communication in Multihop Networks....Pages 678-684
Real-Time Coordination in Distributed Multimedia Systems....Pages 685-691
Supporting Fault-Tolerant Real-Time Applications using the RED-Linux General Scheduling Framework....Pages 692-698
Are COTS suitable for building distributed fault-tolerant hard real-time systems?....Pages 699-705
Autonomous Consistency Technique in Distributed Database with Heterogeneous Requirements....Pages 706-712
Real-time Transaction Processing Using Two-stage Validation in Broadcast Disks....Pages 713-719
Using Logs to Increase Availability in Real-Time Main-Memory Database....Pages 720-726
Components are from Mars....Pages 727-733
2 + 10 ≻ 1 + 50 !....Pages 734-737
A Framework for Embedded Real-time System Design....Pages 738-742
Best-effort Scheduling of (m,k)-firm Real-time Streams in Multihop Networks....Pages 743-749
Predictability and Resource Management in Distributed Multimedia Presentations....Pages 750-756
Quality of Service Negotiation for Distributed, Dynamic Real-time Systems....Pages 757-765
An Open Framework for Real-Time Scheduling Simulation....Pages 766-772
5 th International Workshop on Embedded/Distributed HPC Systems and Applications (EHPC 2000)....Pages 773-775
A Probabilistic Power Prediction Tool for the Xilinx 4000-Series FPGA....Pages 776-783
Application Challenges: System Health Management for Complex Systems....Pages 784-791
Accommodating QoS Prediction in an Adaptive Resource Management Framework....Pages 792-799
Network Load Monitoring in Distributed Systems....Pages 800-807
A Novel Specification and Design Methodology Of Embedded Multiprocessor Signal Processing Systems Using High-Performance Middleware....Pages 808-815
Auto Source Code Generation and Run-Time Infrastructure and Environment for High Performance, Distributed Computing Systems....Pages 816-822
Developing an Open Architecture for Performance Data Mining....Pages 823-830
A 90k gate “CLB” for Parallel Distributed Computing....Pages 831-838
Power-Aware Replication of Data Structures in Distributed Embedded Real-Time Systems....Pages 839-846
Comparison of MPI Implementations on a Shared Memory Machine....Pages 847-854
A Genetic Algorithm Approach to Scheduling Communications for a Class of Parallel Space-Time Adaptive Processing Algorithms....Pages 855-861
Reconfigurable Parallel Sorting and Load Balancing on a Beowulf Cluster: HeteroSort....Pages 862-869
7th Reconfigurable Architectures Workshop (RAW 2000)....Pages 870-872
Run-Time Reconfiguration at Xilinx (invited talk)....Pages 873-873
JRoute: A Run-Time Routing API for FPGA Hardware....Pages 874-881
A Reconfigurable Content Addressable Memory....Pages 882-889
ATLANTIS — A Hybrid FPGA/RISC Based Re-configurable System....Pages 890-897
The Cellular Processor Architecture CEPRA-1X and its Configuration by CDL....Pages 898-905
Loop Pipelining and Optimization for Run Time Reconfiguration....Pages 906-915
Compiling Process Algebraic Descriptions into Reconfigurable Logic....Pages 916-923
Behavioral Partitioning with Synthesis for Multi-FPGA Architectures under Interconnect, Area, and Latency Constraints....Pages 924-931
Module Allocation for Dynamically Reconfigurable Systems....Pages 932-940
Augmenting Modern Superscalar Architectures with Configurable Extended Instructions....Pages 941-950
Complexity Bounds for Lookup Table Implementation of Factored Forms in FPGA Technology Mapping....Pages 951-958
Optimization of Motion Estimator for Run-Time-Reconfiguration Implementation....Pages 959-965
Constan t-Time Hough Transform On A 3D Reconfigurable Mesh Using Fewer Processors....Pages 966-973
Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA 2000....Pages 974-976
A Method for Automatic Cryptographic Protocol Verification....Pages 977-984
Verification Methods for Weaker Shared Memory Consistency Models....Pages 985-992
Models Supporting Nondeterminism and Probabilistic Choice....Pages 993-1000
Concurrent Specification And Timing Analysis of Digital Hardware using SDL....Pages 1001-1008
Incorporating Non-functional Requirements into Software Architectures....Pages 1009-1018
Automatic Implementation of Distributed Systems Formal Specifications....Pages 1019-1026
Refinement based validation of an algorithm for detecting distributed termination....Pages 1027-1036
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification A Practical View....Pages 1037-1038
A Foundation for Composing Concurrent Objects....Pages 1039-1041
Workshop on Optics and Computer Science (WOCS 2000)....Pages 1042-1043
Fault Tolerant Algorithms for a Linear Array with a Reconfigurable Pipelined Bus System....Pages 1044-1052
Fast and Scalable Parallel Matrix Computations with Optical Buses....Pages 1053-1062
Pulse-Modulated Vision Chips with Versatile-Interconnected Pixels....Pages 1063-1071
Connectivity Models for Optoelectronic Computing Systems....Pages 1072-1088
Optoelectronic-VLSI Technology: Terabit/s I/O to a VLSI Chip....Pages 1089-1091
Three Dimensional VLSI-Scale Interconnects....Pages 1092-1103
Present and Future Needs of Free-Space Optical Interconnects....Pages 1104-1109
Fast Sorting on a Linear Array with a Reconfigurable Pipelined Bus System....Pages 1110-1117
Architecture description and prototype demonstration of optoelectronic parallel-matching architecture....Pages 1118-1125
A Distributed Computing Demonstration System Using FSOI Inter-Processor Communication....Pages 1126-1131
Optoelectronic Multi-Chip Modules Based on Imaging Fiber Bundle Structures....Pages 1132-1132
VCSEL based smart pixel array technology enables chip-to-chip optical interconnect....Pages 1133-1133
Run-Time Systems for Parallel Programming....Pages 1134-1135
A Portable and Adaptative Multi-Protocol Communication Library for Multithreaded Runtime Systems....Pages 1136-1143
CORBA Based Runtime Support for Load Distribution and Fault Tolerance....Pages 1144-1151
Run-time Support for Adaptive Load Balancing....Pages 1152-1159
Integrating Kernel Activations in a Multithreaded Runtime System on top of Linux ....Pages 1160-1167
DyRecT: Software Support for Adaptive Parallelism on NOWs....Pages 1168-1175
Fast Measurement of LogP Parameters for Message Passing Platforms....Pages 1176-1183
Supporting flexible safety and sharing in multi-threaded environments....Pages 1184-1191
A Runtime System for Dynamic DAG Programming....Pages 1192-1199
Workshop on Fault-Tolerant Parallel and Distributed Systems (FTPDS’ 00)....Pages 1200-1201
Certification of system architecture dependability....Pages 1202-1203
Computing in the RAIN: A Reliable Array of Independent Nodes....Pages 1204-1213
Fault Tolerant Wide-Area Parallel Computing....Pages 1214-1225
Transient Analysis of Dependability/Performability Models by Regenerativ e Randomization with Laplace Transform In version....Pages 1226-1235
FANTOMAS Fault Tolerance for Mobile Agents in Clusters....Pages 1236-1247
Metrics, Methodologies, and Tools for Analyzing Network Fault Recovery Performance in Real-Time Distributed Systems....Pages 1248-1257
Consensus Based on Strong Failure Detectors: A Time and Message-Efficient Protocol....Pages 1258-1265
Implementation of Finite Lattices in VLSI for Fault-State Encoding in High-Speed Networks....Pages 1266-1275
Building a Reliable Message Delivery System Using the CORBA Event Service....Pages 1276-1280
Network Survivability Simulation of a Commercially Deployed Dynamic Routing System Protocol....Pages 1281-1285
Fault-tolerant Distributed-Shared-Memory on a Broadcast-based Interconnection Network....Pages 1286-1290
An Efficient Backup-Overloading for Fault-Tolerant Scheduling of Real-Time Tasks....Pages 1291-1295
Mobile Agents to Automate Fault Management in Wireless and Mobile Networks....Pages 1296-1300
9th Heterogeneous Computing Workshop (HCW 2000)....Pages 1301-1305