This volume contains the papers presented at the f th workshop on Job SchedulingStrategiesforParallelProcessing, whichwasheldinconjunctionwith the IPPS/SPDP 99conference in San Juan, Puerto Rico, on April 16, 1999.The papers have been through a complete refereeing process, with the full version beingreadandevaluatedbyv etosevenmembersoftheprogramcommittee.We would like to take this opportunity to thank the program committee, Andrea Arpaci-Dusseau, Stephen Booth, Allen Downey, Allan Gottlieb, Atsushi Hori, PhilKrueger, RichardLagerstrom, MironLivny, VirginiaLo, ReaganMoore, Bill Nitzberg, UweSchwiegelshohn, KenSevcik, MarkSquillante, andJohnZahorjan, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and nal revisionsfor this volume. Finally, we wouldlike to thank the MIT Laboratory for Computer Science and the Computer Science Institute at the Hebrew Universityfor the use of their facilities in the preparationof these proceedings. Thiswasthe fth annualworkshopinthis series, whichre?ectsthe continued interest in this eld. The previous four were held in conjunction with IPPS 95 through IPPS/SPDP 98. Their proceedings are available from Springer-Verlag as volumes 949, 1162, 1291, and 1459 of the Lecture Notes in Computer Science series. Sinceour rstworkshop, parallelprocessinghas evolvedtothe pointwhereit is no longer synonymous with scienti c computing on massively parallel sup- computers. In fact, enterprise computing on one hand and metasystems on the other hand often overshadow the original uses of parallel processing. This shift has underscored the importance of job scheduling in multi-user parallelsystems. Correspondingly, we had a session in the workshop devoted to job scheduling on standalonesystems, emphasizing gang scheduling, and another on scheduling for meta-systems. A third session continued the trend from previous workshops of discussing evaluation methodology and workloads. Aninnovationthisyearwasapaneldiscussiononthepossiblestandardization ofaworkloadbenchmarkthatwillservefortheevaluationofdi erentsche

This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM'99), which took place at the ETH Zurich in Switzerland and was hosted by the Computer Engineering and Networking Laboratory, TIK. DSOM'99 is the tenth workshop in a series of annual workshops, and Zurich is proud to host this 10th anniversary of the IEEE/IFIP workshop. DSOM'99 follows highly successful meetings, the most recent of which took place in Delaware, U.S.A. (DSOM'98), Sydney, Australia (DSOM'97), and L'Aquila, Italy (DSOM'96). DSOM workshops attempt to bring together researchers from the area of network and service management in both industry and academia to discuss recent advancements and to foster further growth in this ?eld. In contrast to the larger management symposia IM (In- grated Network Management) and NOMS (Network Operations and Management S- posium), DSOM workshops follow a single-track program, in order to stimulate interaction and active participation. The speci?c focus of DSOM'99 is "Active Technologies for Network and Service Management," re?ecting the current developments in the ?eld of active and program- ble networks, and about half of the papers in this workshop fall within this category.

This textbook is designed as a first book on concurrent programming for computer science undergraduates, and provides a comprehensive introduction to the problems of concurrency. Concurrency is of vital importance in many areas of computer science, particularly in operating systems. It is also increasingly being taught in undergraduate courses. The book builds on the student's familiarity with sequential programming in a high level language, which should make it very accessible to computer science students. The book is concerned mainly with the high level aspects of concurrency, which will be equally applicable to traditional time sliced or more recent truly parallel systems.

This book constitutes the carefully refereed proceedings of the 4th International Workshop on Applied Parallel Computing, PARA'98, held in Umea, Sweden, in June 1998.
The 75 revised papers presented were carefully reviewed and selected for inclusion in the book. The papers address a variety of topics in large scale scientific and industrial-strength computing, in particular high-performance computing and networking; tools, languages, and environments for parallel processing; scientific visualization and virtual reality; and future directions in high-performance computing and communication.

This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99) held in Eindhoven, The Netherlands, 24-27 August 1999. ThepurposeoftheCONCURconferencesistobringtogetherresearchers, - velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromote its applications. Interest in this topic is continuously growing, as a consequence oftheimportanceandubiquityofconcurrentsystemsandtheirapplications, and of the scienti?c relevance of their foundations. The scope of CONCUR'99 covers all areas of semantics, logics and veri?cation techniques for concurrent systems. A list of speci?c topics includes (but is not limited to) concurrency-related - pects of: models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, stochastic systems, - cidability, model-checking, veri?cation techniques, re?nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, and tools and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991, the following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL) and Nice (F). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, and 1466.

but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ er see different things as being equal, and how we can produce algo rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. * The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.

Clusters of workstations/PCs connected by o?-the-shelf networks have become popular as a platform for cost-e?ective parallel computing. Hardware and so- ware technological advances have made this network-based parallel computing platform feasible. A large number of research groups from academia and industry are working to enhance the capabilities of such a platform, thereby improving its cost-e?ectiveness and usability. These developments are facilitating the mig- tion of many existing applications as well as the development of new applications on this platform. Continuing in the tradition of the two previously successful workshops, this 3rd Workshop on Communication, Architecture and Applications for Netwo- based Parallel Computing (CANPC 99) has brought together researchers and practitioners working in architecture, system software, applications and perf- mance evaluation to discuss state-of-the-art solutions for network-based parallel computing systems. This workshop has become an excellent forum for timely dissemination of ideas and healthy interaction on topics at the cutting edge in cluster computing technology. Each submitted paper underwent a rigorous review process, and was assigned to at least 3 reviewers, including at least 2 program committee members. Each paper received at least 2 reviews, most received 3 and some even had 4 reviews."

This volume provides a state of the art survey of research trends in parallel functional programming. The text is divided into two sections: the first section gives comprehensive introductions to key issues such as: foundations, programming constructs, proof, architectures, and implementations; the second comprises shorter summaries of research areas which are either of particular interest at the moment, or which promise to provide key developments in the near future. Topics covered here include: coordination languages, performance monitoring; data flow programming; explicit parallelism; BSP and cost modelling. Contributions have been commissioned by key researchers and practitioners in the area, including several from the US and Canada where this is an area of increasing interest. Research Directions in Parallel Functional Programming will be of interest to researchers, (post)graduate students and practitioners in all relevant areas.

This book constitutes the refereed proceedings of the 5th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'98, held in Berkeley, California, in August 1998.
The 26 revised full papers presented were carefully reviewed and selected for inclusion from several dozen submissions. Also included are abstracts of four invited talks and 6 invited presentations given during minisymposia held in parallel. The book presents a unique overview on algorithmic, applicational, and systems aspects arising in the development of efficient parallel solutions to irregularly structured problems.

Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel applications. This volume comprises 67 revised contributions presented at the Sixth European PVM/MPI Users' Group Meeting, which was held in Barcelona, Spain, 26-29 September 1999. The conference was organized by the Computer Science Department of the Universitat Autonoma de Barcelona. This conference has been previously held in Liverpool, UK (1998) and Cracow, Poland (1997). The first three conferences were devoted to PVM and were held at the TU Munich, Germany (1996), ENS Lyon, France (1995), and University of Rome (1994). This conference has become a forum for users and developers of PVM, MPI, and other message passing environments. Interaction between those groups has proved to be very useful for developing new ideas in parallel computing and for applying some of those already existent to new practical fields."

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Languages and Compilers for Parallel Computing, LCPC'97, held in Minneapolis, Minnesota, USA in August 1997
The book presents 28 revised full papers together with four posters; all papers were carefully selected for presentation at the workshop and went through a thorough reviewing and revision phase afterwards. The papers are organized in topical sections on data locality, program analysis, automatic parallelization, HPF extensions and compilers, synchronization and communication, parallel programming models and language extensions, and instruction level parallelism.

This book stands as the visible mark of VECPAR'98 - 3rd International Meeting on Vector and Parallel Processing, which was held in Porto (Portugal) from 21 to 23 June 1998. VECPAR'98 was the third of the VECPAR series of conferences initiatedin1993and organisedby FEUP, the FacultyofEngineering of the University of Porto. The conference programme comprised a total of 6 invited talks, 66 c- tributedpapers and18posters. Thecontributed papers andposters were selected from 120 extended abstracts originating from 27 countries. Outline of the book The book, with 7 chapters, contains 41 contributed papers and 6 invited talks. The 41 papers included in these proceedings result from the reviewing of all papers presented at the conference. Each of the ?rst 6 chapters includes 1 of the 6 invited talks of the conference, and related papers. Chapters 1, 2, 4, 5 and 7 are initiated by an introductory text providing the reader with a guide to the chapter contents. Chapter 1 is on numerical algebra.It begins with an introductory text by - cente Hernandez, followedby the invited talk by Gene Golub, entitled Some - usual Eigenvalue Problems.The remaining11contributed articles in thischapter deal either with large scale eigenvalue problems or with linear system problems. Computational?uiddynamicsandcrashandstructural analysiswere brought under the same chapter and that is Chapter 2, which contains the invited talk byTimothyBarth, entitledParallel Domain Decomposition Pre-conditioning for Computational Fluid Dynamics, plus 8 contributed papers. Timothy Barth also authors the introductory text to the chapter."

This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE '98), held at Santa 1 Fe, New Mexico, USA on December 8{11, 1998. ISCOPE is in its second year, and continues to grow both in attendance and in the diversity of the subjects covered. ISCOPE'97 and its predecessor conferences focused more narrowly on scienti c computing in the high-performance arena. ISCOPE '98 retains this emphasis, but has broadened to include discrete-event simulation, mobile c- puting, and web-based metacomputing. The ISCOPE '98 Program Committee received 39 submissions, and acc- ted 10 (26%) as Regular Papers, based on their excellent content, maturity of development, and likelihood for widespread interest. These 10 are divided into three technical categories. Applications: The rst paper describes an approach to simulating advanced nuclear power reactor designs that incorporates multiple local solution - thods and a natural extension to parallel execution. The second paper disc- ses a Time Warp simulation kernel that is highly con gurable and portable. The third gives an account of the development of software for simulating high-intensity charged particle beams in linear particle accelerators, based on the POOMA framework, that shows performance considerably better than an HPF version, along with good parallel speedup.

This book constitutes the strictly refereed proceedings of the Second International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'98, held in Las Vegas, Nevada, USA, in January/February 1998.
The 18 revised full papers presented were selected from 38 submissions on the basis of four to five reviews per paper. The volume comprises a representative compilation of state-of-the-art solutions for network-based parallel computing. Several new interconnection technologies, new software schemes and standards are studied and developed to provide low-latency and high-bandwidth interconnections for network-based parallel computing.

This is an introduction to the field of efficient parallel algorithms and to the techniques for efficient parallelisation. It is self-contained and presumes no special knowledge of parallel computers or particular mathematics. The book emphasises designing algorithms within the timeless and abstracted context of a high-level programming language rather than within highly specific computer architectures. This is an approach which concentrates on the essence of algorithmic theory, determining and taking advantage of the inherently parallel nature of certain types of problem. The authors present regularly-used techniques and a range of algorithms which includes some of the more celebrated and well-known. Efficient Parallel Algorithms is targeted at non-specialists who are considering entering the field of parallel algorithms. It will be particularly useful for courses aimed at advanced undergraduate or new postgraduate students of computer science and mathematics.

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

This book constitutes the refereed proceedings of the Fourth International Conference on Parallel Computing Technologies, PaCT-97, held in Yaroslavl, Russia, in September 1997.
The volume presents a total of 54 contributions: 21 full papers, 20 short papers, 10 posters, and three tutorials. All papers were selected for inclusion in the proceedings from numerous submissions on the basis of three independent reviews. The volume covers all current topics in parallel processing; it is divided into sections on theory, software, hardware and architecture, applications, posters, and tutorials.

This book constitutes the refereed proceedings of the 5th International Conference on Parallel Problem Solving from Nature, PPSN V, held in Amsterdam, The Netherlands, in September 1998.The 101 papers included in their revised form were carefully reviewed and selected from a total of 185 submissions. The book is divided into topical sections on convergence theory; fitness landscape and problem difficulty; noisy and non-stationary objective functions; multi-criteria and constrained optimization; representative issues; selection, operators, and evolution schemes; coevolution and learning; cellular automata, fuzzy systems, and neural networks; ant colonies, immune systems, and other paradigms; TSP, graphs, and satisfiability; scheduling, partitioning, and packing; design and telecommunications; and model estimations and layout problems.

This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996.
The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on automatic data distribution and locality enhancement, program analysis, compiler algorithms for fine-grain parallelism, instruction scheduling and register allocation, parallelizing compilers, communication optimization, compiling HPF, and run-time control of parallelism.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Job Scheduling Strategies for Parallel Processing held during IPPS/SPDP'98, in Orlando, Florida, USA, in March 1998. The 13 revised full papers presented have gone through an iterated reviewing process and give a report on the state of the art in the area.

Collective systems, abounding in nature, have evolved by natural selection to exhibit striking problem-solving capacities. Employing simple yet versatile parallel cellular models, coupled with evolutionary computation techniques, this volume explores the issue of constructing man-made systems that exhibit characteristics like those occuring in nature. Parallel cellular machines hold potential both scientifically, as vehicles for studying phenomena of interest in areas such as complex adaptive systems and artificial life, and practically, enabling the construction of novel systems, endowed with evolutionary, reproductive, regenerative, and learning capabilities. This volume examines the behavior of such machines, the complex computation they exhibit, and the application of artificial evolution to attain such systems.

This book constitutes a carefully arranged selection of revised full papers chosen from the presentations given at the Second International Conference on Vector and Parallel Processing - Systems and Applications, VECPAR'96, held in Porto, Portugal, in September 1996.
Besides 10 invited papers by internationally leading experts, 17 papers were accepted from the submitted conference papers for inclusion in this documentation following a second round of refereeing. A broad spectrum of topics and applications for which parallelism contributes to progress is covered, among them parallel linear algebra, computational fluid dynamics, data parallelism, implementational issues, optimization, finite element computations, simulation, and visualisation.

This book constitutes the refereed proceedings of the First International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'97, held in San Antonio, Texas, USA, in February 1997.
The 19 revised full papers presented were carefully selected from a total of 36 submissions. Among the topics addressed are processor/network interfaces, communication protocols, high-performance network technology, operating systems and architectural issues, and load balancing techniques. All in all, the papers competently describe the state-of-the-art for network-based computing systems.

This book constitutes the refereed proceedings of 10 international workshops held in conjunction with the merged 1998 IPPS/SPDP symposia, held in Orlando, Florida, US in March/April 1998. The volume comprises 118 revised full papers presenting cutting-edge research or work in progress.
In accordance with the workshops covered, the papers are organized in topical sections on reconfigurable architectures, run-time systems for parallel programming, biologically inspired solutions to parallel processing problems, randomized parallel computing, solving combinatorial optimization problems in parallel, PC based networks of workstations, fault-tolerant parallel and distributed systems, formal methods for parallel programming, embedded HPC systems and applications, and parallel and distributed real-time systems.

This book constitutes the refereed proceedings of the 4th European Parallel Virtual Machine and Message Passing Interface Users' Group Meeting, PVM/MPI '97, held in Cracow, Poland in November 1997.
Parallel Virtual Machine and Message Passing Interface are the most popular tools for programming in accordance with the message passing paradigm which, at present, is considered to be the best way to develop effective parallel programs.
The book presents 63 carefully selected papers covering the whole range of PVM/MPI issues. The papers are organized in sections on evaluation and performance, extensions and improvements, implementation, tools, algorithms, and applications in science and engineering.