This book constitutes the refereed proceedings of the 6th International Conference on Applied Parallel Computing, PARA 2002, held in Espoo, Finland, in June 2002.The 50 revised full papers presented together with nine keynote lectures were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on data mining and knowledge discovery, parallel program development, practical experience in parallel computing, computer science, numerical algorithms with hierarchical memory optimization, numerical methods and algorithms, cluster computing, grid and network technologies, and physics and applications.

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.

This book constitutes the refereed proceedings of the 8th European PVM/MPI Users' Group Meeting held in Santorini (Thera), Greece in September 2001. The 50 revised papers presented together with seven abstracts of invited talks were carefully reviewed and selected. The papers are organized in topical sections on implementation, evaluation, and performance of PVM/MPI; extensions and improvements on PVM/MPI; tools for PVM and MPI; algorithms using message passing; and applications in science and engineering.

Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing. The major themes can be divided into the broad categories of hardware, software, algorithms, and applications for parallel computing. The objective of Euro-Par is to provide a forum within which to promote the dev- opment of parallel computing both as an industrial technique and an academic discipline, extending the frontiers of both the state of the art and the state of the practice. This is particularlyimportant at a time when parallel computing is undergoing strong and sustained development and experiencing real ind- trial take up. The main audience for and participants in Euro-Par are seen as researchers in academic departments, government laboratories, and industrial organisations. Euro-Par aims to become the primarychoice of such professionals for the presentation of new results in their speci?c areas. Euro-Par is also int- ested in applications that demonstrate the e?ectiveness of the main Euro-Par themes. Euro-Par has its own Internet domain with a permanent web site where the historyof the conference series is described: http: //www. euro-par. org. The Euro-Par conference series is sponsored bythe Association of Computer Machineryand the International Federation of Information Processing. Euro-Par 2001 Euro-Par 2001 was organised bythe Universityof Manchester and UMIST

This book constitutes the refereed proceedings of the International Workshop on OpenMP Applications and Tools, WOMPAT 2001, held in West Lafayette, IN, USA in July 2001.The 15 full papers presented were carefully reviewed and revised for inclusion in the volume. The book presents a state-of-the-art overview on OpenMP shared memory parallel programming. The papers are organized in topical sections on benchmarking, compiler implementation and optimization, tools and tool technology, OpenMP experience, NUMA machines and clusters, and OpenMP extensions.

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.
The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.

The PaCT-2001 (Parallel Computing Technologies) conference was a four-day conference held in Akademgorodok (Novosibirsk), September 3-7, 2001. This was the sixth international conference in the PaCT series, organized in Russia every odd year. The ?rst conference, PaCT-91, was held in Novosibirsk (Academgorodok), September 7-11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 - September 4, 1993; in St.Petersburg, September 12-15, 1995; in Yaroslavl September 9-12, 1997; and in Pushkin (near St.Petersburg) from September 6-10, 1999. The PaCT proceedings are published by Springer- Verlag in the LNCS series. PaCT-2001 was jointly organized by the Institute of Computational Mat- maticsandMathematicalGeophysicsoftheRussianAcademyofSciences(No- sibirsk), the State University, and the State Technical University of Novosibirsk. The purpose of the conference was to bring together scientists working with theory, architecture, software, hardware, and solution of large-scale problems in order to provide integrated discussions on parallel computing technologies. The conference attracted about 100 participants from around the world. - thors from 17 countries submitted 81 papers. Of those submitted, 36 papers were selected for the conference as regular ones; there were also 4 invited - pers. In addition there were a number of posters presented. All the papers were internationally reviewed by at least three referees. As usual a demo session was organized for the participants.

This book constitutes the refereed proceedings of the 9th International Conference on High-Performance Computing and Networking, HPCN Europe 2001, held in Amsterdam, The Netherlands in June 2001.
The 67 revised papers and 15 posters presented were carefully reviewed and selected from a total of almost 200 submissions. Among the areas covered are Web/grid applications of HPCN, end user applications, computational science, computer science, and Java in HPCN.

This book examines the issues relevant to the design of vector and pipelined computer systems using the Cray X-MP/24. The purpose of the book is to help the readers arrive at a deep understanding of how vector processing systems really work. These insights will be useful to the scientist who would like to obtain maximum performance from a vector machine, to the computer science student, and to the compiler writer. The book can also be used to supplement a regular textbook in a graduate or senior level course in computer architecture. The book looks at the overall design of the Cray X-MP and then explores the operation of the machine by looking at detailed timings of various instructions and code segments. It examines such issues as instruction issues and buffering, handling of jump instructions, use of registers to hold intermediate results, memory conflicts resulting from vectorization, optimal vectorization of multiple statement loops, and synchronization problems with multi-tasking. Detailed Gantt charts are provided to guide the reader through the timing issues.

Scalable parallel systems or, more generally, distributed memory systems offer a challenging model of computing and pose fascinating problems regarding compiler optimization, ranging from language design to run time systems. Research in this area is foundational to many challenges from memory hierarchy optimizations to communication optimization.This unique, handbook-like monograph assesses the state of the art in the area in a systematic and comprehensive way. The 21 coherent chapters by leading researchers provide complete and competent coverage of all relevant aspects of compiler optimization for scalable parallel systems. The book is divided into five parts on languages, analysis, communication optimizations, code generation, and run time systems. This book will serve as a landmark source for education, information, and reference to students, practitioners, professionals, and researchers interested in updating their knowledge about or active in parallel computing.

This book constitutes the refereed proceedings of the 6th International Workshop on High-Level Parallel Programming Models and Supportive Environments, HIPS 2001, held in San Francisco, CA, USA in April 2001.The 10 revised full papers presented were carefully reviewed and selected out of 20 submissions. The focus of the book is on high-level programming of networks of workstations, computing clusters, and massively parallel machines. Among the issues addressed are language design, compilers, system architectures, programming tools, and advanced applications.

This book is the ?nal outcome of VECPAR 2000 - 4th International Meeting on Vector and Parallel Processing. VECPAR constitutes a series of conferences, which have been organized by the Faculty of Engineering of the University of Porto since 1993, with the main objective of disseminating new knowledge on parallel computing. Readership of This Book The book is aimed at an audience of researchers and graduate students in a broad range of scienti?c areas, including not only computer science, but also applied mathematics and numerical analysis, physics, and engineering. Book Plan From a total of 66 papers selected on the basis of extended abstracts for p- sentation at the conference, a subset of 34 papers were chosen during a second review process leading to their inclusion in the book, together with the invited talks. The book contains a total of 40 papers organized into 6 chapters, where each may appeal to people in di?erent but still related scienti?c areas. All ch- ters, with the exception of Chapter 6, are initiated by a short text, providing a quick overview of the organization and papers in the chapter. The 13 papers in Chapter 1 cover the aspects related to the use of multiple processors. Operating systems, languages and software tools for scheduling, and code transformation are the topics included in this chapter, initiated by the talk on computing over the Internet, entitled Grid Computing, byIan Foster

The papers in this volume were presented at PARA 2000, the Fifth International Workshop on Applied Parallel Computing. PARA 2000 was held in Bergen, Norway, June 18-21, 2000. The workshop was organized by Parallab and the Department of Informatics at the University of Bergen. The general theme for PARA 2000 was New paradigms for HPC in industry and academia focusing on: { High-performance computing applications in academia and industry, { The use of Java in high-performance computing, { Grid and Meta computing, { Directions in high-performance computing and networking, { Education in Computational Science. The workshop included 9 invited presentations and 39 contributed pres- tations. The PARA 2000 meeting began with a one-day tutorial on OpenMP programming led by Timothy Mattson. This was followed by a three-day wor- hop. The rst three PARA workshops were held at the Technical University of Denmark (DTU), Lyngby (1994, 1995, and 1996). Following PARA'96, an - ternational steering committee for the PARA meetings was appointed and the committee decided that a workshop should take place every second year in one of the Nordic countries. The 1998 workshop was held at Ume a University, Sweden. One important aim of these workshops is to strengthen the ties between HPC centers, academia, and industry in the Nordic countries as well as worldwide. The University of Bergen organized the 2000 workshop and the next workshop in the year 2002 will take place at the Helsinki University of Technology, Espoo, Finland.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2001, held in Cambridge, MA, USA, in June 2001.The 11 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision, and present state-of-the-art results in the area.

This volume contains the papers presented at the sixth workshop on Job Sched- ing Strategies for Parallel Processing, which was held in conjunction with the IPDPS 2000 Conference in Cancun, Mexico, on 1 May 2000. The papers have been through a complete refereeing process, with the full version being read and evaluated by ?ve to seven members of the program committee. We would like to take this opportunity to thank the program committee, Andrea Arpaci-Dusseau, Fran Berman, Steve Chapin, Allen Downey, Allan Gottlieb, Atsushi Hori, Phil Krueger, Richard Lagerstrom, Virginia Lo, Reagan Moore, Bill Nitzberg, Uwe Schwiegelshohn, and Mark Squillante, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and ?nal revisions for this volume. Finally, we would like to thank the MIT Laboratory for Computer S- ence and the Computer Science Institute at the Hebrew University for the use of their facilities in the preparation of these proceedings. This was the sixth annual workshop in this series, which re?ects the continued interest in this ?eld. The previous ?ve were held in conjunction with IPPS'95 through IPPS/SPDP'99. Their proceedings are available from Springer-Verlag as volumes 949, 1162, 1291, 1459, and 1659 of the Lecture Notes in Computer Science series. The last two are also available on-line from Springer LINK.

This book provides a detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems.Real-Time and Multi-Agent Systems brings together the 3 key fields of current and future data-processing:- Distributed systems and applications;- Parallel scientific computing;- Real-time and manufacturing systems.It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains lots of examples as well as complete case studies.

This volume contains the proceedings of the 21st International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressintheapplicationandtheoryofPetrinets. Typically, the conferenceshave 100{150participants{ one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. The conference and a number of other activities are co-ordinated by a ste- ingcommittee withthe followingmembers: G.Balbo(Italy), J.Billlington(A- tralia), G.De Michelis(Italy), C.Girault(France), K.Jensen(Denmark), S.- magai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Otheractivitiesbeforeandduringthe2000conferenceincludedtoolpresen- tions and demonstrations, a meeting on \Interchange Formats," extensive int- ductorytutorials, twoadvancedtutorialson\HardwareDesign"and\Timedand Hybrid Automata," and two workshops on \Software Engineering" and \Pr- tical Use of High-Level Nets." The tutorial notes and workshop proceedings are not published in these proceedings, but copies are available from the organisers. The 2000 conference was organised by the CPN Group at the University of Aarhus, Denmark. We would like to thank the organisers (see next page) and their teams. WewouldliketothankverymuchallthosewhosubmittedpaperstothePetri net conference.We receiveda totalof 57submissions from 20di erent countries. This volume comprises the papers that were accepted for presentation. Invited lectures were given by Jordi Cortadella, Philippe Darondeau, Gregor Engels, Serge Haddad, Kim Guldstrand Larsen, and Ole Lehrmann Madsen.

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 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.

PaCT-99 (Parallel Computing Technologies) was a four-day conference held in St. Petersburg on 6-10 September 1999. This represented the ?fth inter- tional conference in PaCT series, which take place in Russia every odd year. The ?rst, PaCT-91, was held in Novosibirsk (Academgorodok), 7-11 September, 1991. The second PaCT-93 was held in Obninsk (near Moscow), 30 August - 4 September, 1993. The third, PaCT-95, was organized in St.Petersburg, 12- 15 September, 1995 and the last fourth PaCT-97 was held in Yaroslavl 9-12 September, 1997. PaCT-99 was jointly organized by the Institute of Computational Mathem- ics and Mathematical Geophysics of the Russian Academy of Sciences (Novo- birsk) and by the Electrotechnical University of St.Petersburg. The purpose of the conference was to bring together scientists working with theory, archit- ture, software, hardware and solution of large-scale problems in order to provide integrated discussions on Parallel Computing Technologies. The Conference attracted more than 100 participants from around the world. Authors from over 23 countries submitted 103 papers and there were 2 invited papers. Of those submitted, 47 papers were selected for the conference; in ad- tion there were a number of posters presented. All the papers were internationally reviewed by at least three referees.

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."

TheAustrianCenterforParallelComputation(ACPC)isacooperativeresearch organization founded in 1989 to promote research and education in the eld of Software for Parallel Computer Systems. The areas in which the ACPC is active include algorithms, languages, c- pilers, programmingenvironments, andapplicationsforparallelandhigh-perf- mance computing systems. The partners of ACPC run researchprojects in these elds, use a common pool of hardware equipment, and oer a joint curriculum in ParallelComputationfor graduateand postgraduatestudents. Moreover, s- eral national and international workshops and conferences have been organized within the framework of the ACPC. TheseproceedingsconcerntheFourthInternationalConferenceoftheACPC (ACPC'99), held on February 16{18 in Salzburg, Austria. This conference is a merge of two established international conference/workshop series devoted to parallel processing: the ACPC conferences which were held previously in Salzburg, Gmunden, and Klagenfurt (all Austria) and the Parallel Numerics (ParNum) workshops which were organized in Smolenice (Slovakia), Sorrento (Italy), Gozd Martuljek (Slovenia), and Zakopane (Poland). We invited 20 researchers to participate on the program committee. The conference attracted authors from 22 countries around the worldwho submitted 75 papers, out of which 50 were selected for presentation at the conference. Additionally, a poster session was organized featuring work in progress. Four distinguished researcherspresented invited papers with topics related to the two specialtracksonParallelNumericsandParallelComputinginImageProcessing, Video Processing, and Multimedia.

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.

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."