The PaCT 2005 (Parallel Computing Technologies) conference was a four-day conference held in Krasnoyarsk, September 5-9, 2005. This was the Eighth - ternational conference in the PaCT series. The conferences are held in R- sia 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. Pete- burg, September 12-15, 1995, in Yaroslavl, September, 9-12 1997, in Pushkin (near St. Petersburg) September, 6-10 1999, in Academgorodok (Novosibirsk), September 3-7, 2001, and in Nizhni Novgorod, September 15-19, 2003. The PaCT proceedings are published by Springer in the LNCS series. PaCT 2005 was jointly organized by the Institute of Computational Mat- maticsandMathematicalGeophysicsoftheRussianAcademyofSciences(RAS), theInstituteofComputationalModelingalsooftheRASandtheStateTechnical University of Krasnoyarsk. The purpose of the conference was to bring together scientists working on theory, architecture, software, hardwareand the solution of large-scaleproblems in order to provide integrated discussions on Parallel Computing Technologies. The conference attracted about 100 participants from around the world. - thorsfrom20countriessubmitted78papers.Ofthosesubmitted, 38paperswere selected for the conference as regular ones; there was also 1 invited paper. In addition there were a number of posters presented. All the papers were inter- tionally reviewed by at least three referees. The demo session was organized for the participants. PaCT 2007 is planned to be held in Irlutsk, near lake Baikal, in September as usual.

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and to promote its applications. This year s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publication."

The message passing paradigmis the most frequently used approachto devel- ing high performance computing applications on parallel and distributed c- puting architectures.The ParallelVirtual Machine (PVM) and Message Passing Interface (MPI) are the two main representatives in this domain. This volume comprises 61 selected contributions presented at the 12th European PVM/MPI Users' Group Meeting, which was held in Sorrento, Italy, September 18-21, 2005. The conference was organized by the Dipartimento di Ingegneria dell'Informazione of the Second University of Naples, Italy in coll- oration with CREATE and the Institute of Graphics and Parallel Processing (GUP) of the Johannes Kepler University Linz, Austria. The conference was previously held in Budapest, Hungary (2004), Venice, Italy (2003), Linz, Austria (2002), Santorini, Greece (2001), Balatonfur ] ed, Hungary (2000), Barcelona, Spain (1999), Liverpool, UK (1998), and Krakow, Poland (1997). The ?rst three conferences were devoted to PVM and were held in Munich, Germany (1996), Lyon, France (1995), and Rome, Italy (1994). In its twelfth year, this conference is well established as the forum for users and developers of PVM, MPI, and other message passing environments. Int- actions between these groups have proved to be very useful for developing new ideas in parallel computing, and for applying some of those already existent to new practical ?elds. The main topics of the meeting were evaluation and p- formance of PVM and MPI, extensions, implementations and improvements of PVMandMPI, parallelalgorithmsusing the messagepassingparadigm, parallel applications in science and engineering, and cluster and grid computing."

This volume contains the papers presented at the 10th Anniversary Workshop on Job Scheduling Strategies for Parallel Processing. The workshop was held in New York City, on June 13, 2004, at Columbia University, in conjunction with the SIGMETRICS 2004 conference. Although it is a workshop, the papers were conference-reviewed, with the full versions being read and evaluated by at least five and usually seven members of the Program Committee. We refer to it as a workshop because of the very fast turnaround time, the intimate nature of the actual presentations, and the ability of the authors to revise their papers after getting feedback from workshop attendees. On the other hand, it was actually a conference in that the papers were accepted solely on their merits as decided upon by the Program Committee. We would like to thank the Program Committee members, Su-Hui Chiang, Walfredo Cirne, Allen Downey, Eitan Frachtenberg, Wolfgang Gentzsch, Allan Gottlieb, Moe Jette, Richard Lagerstrom, Virginia Lo, Reagan Moore, Bill Nitzberg, Mark Squillante, and John Towns, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and final revisions for this volume. Finally, we would like to thank the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL), The Hebrew University, and Columbia University for the use of their facilities in the preparation of the workshop and these proceedings.

Welcometotheproceedingsofthe2ndInternationalSymposiumonParalleland Distributed Processing and Applications (ISPA2004) which was held in Hong Kong, China, 13 15 December, 2004. With the advance of computer networks and hardware technology, parallel and distributed processing has become a key technology which plays an imp- tant part in determining future research and development activities in many academic and industrial branches. It provides a means to solve computati- ally intensive problems by improving processing speed. It is also the only - ableapproachtobuildinghighlyreliableandinherentlydistributedapplications. ISPA2004 provided a forum for scientists and engineers in academia and ind- try to exchange and discuss their experiences, new ideas, research results, and applications about all aspects of parallel and distributed computing. There was a very large number of paper submissions (361) from 26 countries and regions, including not only Asia and the Paci?c, but also Europe and North America. All submissions were reviewed by at least three program or technical committee members or external reviewers. It was extremely di?cult to select the presentations for the conference because there were so many excellent and interesting submissions. In order to allocate as many papers as possible and keep the high quality of the conference, we ?nally decided to accept 78 regular papers and 38 short papers for oral technical presentations. We believe that all of these papers and topics not only provide novel ideas, new results, work in progress and state-of-the-art techniques in this ?eld, but also stimulate the future research activities in the area of parallel and distributed computing with applications."

The message passing paradigm is the most frequently used approach to develop high-performancecomputing applications on paralleland distributed computing architectures. Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the two main representatives in this domain. This volume comprises 50 selected contributions presented at the 11th - ropean PVM/MPI Users' Group Meeting, which was held in Budapest, H- gary, September 19-22, 2004. The conference was organized by the Laboratory of Parallel and Distributed Systems (LPDS) at the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI). The conference was previously held in Venice, Italy (2003), Linz, Austria (2002), Santorini, Greece (2001), Balatonfu ]red, Hungary (2000), Barcelona, Spain (1999), Liverpool, UK (1998), and Krakow, Poland (1997).The ?rst three conferences were devoted to PVM and were held in Munich, Germany (1996), Lyon, France (1995), and Rome, Italy (1994). In its eleventh year, this conference is well established as the forum for users and developers of PVM, MPI, and other messagepassing environments.Inter- tionsbetweenthesegroupshaveprovedtobeveryusefulfordevelopingnewideas in parallel computing, and for applying some of those already existent to new practical?elds.Themaintopicsofthe meeting wereevaluationandperformance of PVM and MPI, extensions, implementations and improvements of PVM and MPI, parallel algorithms using the message passing paradigm, and parallel - plications in science and engineering. In addition, the topics of the conference were extended to include cluster and grid computing, in order to re?ect the importance of this area for the high-performance computing community."

This volume contains the proceedings of the 15th International Conference on Concurrency Theory (CONCUR 2004) held in the Royal Society, London, UK, from the 31st August to the 3rd September, 2004. ThepurposeoftheCONCURconferencesistobringtogetherresearchers, - velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromote its applications. Interest in this topic is continually growing, as a consequence of theimportanceandubiquityofconcurrentsystemsandtheirapplications, andof the scienti?c relevance of their foundations. The scope covers all areas of sem- tics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency-related aspects of: models of computation, semantic domains, p- cess algebras, Petri nets, event structures, real-time systems, hybrid 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, tools and environments for programming and veri?cation. This volume starts with four invited papers from Sriram Rajamani, Steve Brookes, Bengt Jonsson and Peter O'Hearn. The remaining 29 papers were - lected by the program committee from 134 submissions, a record number of submissions to CONCUR. The standard was extremely high and the selection di?cult. Each submission received at least three reports, reviewed by the p- gram committee members or their subreferees. Once the initial reviews were available, we had 16 days for paper selection and con?ict resolution. We would like to thank all members of the CONCUR 2004 Program Committee for their excellent work throughout the intensive selection process, together with many subreferees who assisted us in the evaluation of the submitted papers.

It is our pleasure to provide you with the volume containing the proceedings of the 5th International Conference on Parallel Processing and Applied Mathe- tics, which was held in Cz, estochowa, a Polish city famous for its Jasna Gora Monastery, on September 7-10, 2003. The ?rst PPAM conference was held in 1994 and was organized by the Institute of Mathematics and Computer Science of the Cz, estochowa University of Technology in its hometown. The main idea behind the event was to provide a forum for researchers involved in applied and computational mathematics and parallel computing to exchange ideas in a relaxed atmosphere. Conference organizers hoped that this arrangement would result in cross-pollination and lead to successful research collaborations. In - dition, they hoped that the initially mostly Polish conference would grow into an international event. The fact that these assumptions were correct was proven by the growth of the event. While the ?rst conference consisted of 41 presen- tions, the conference reached 150 participants in Na l, ecz ow in 2001. In this way the PPAM conference has become one of the premiere Polish conferences, and de?nitely the most important one in the area of parallel/distributed computing andappliedmathematics. This year's meeting gathered almost 200 participants from 32 countries. A strict refereeing process resulted in the acceptance of approximately 150 cont- buted presentations, while the rejection rate was approximately 33%."

This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004.

The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. Among the topics addressed are context-aware coordination, the Linda coordination model, component adaptation, aspect-oriented programming, coordination middleware, peer-to-peer systems, coordination languages, network coordination, logic based coordination, agent coordination, as well as several coordination tools.

Overview and Goals This book is dedicated to scheduling for parallel processing. Presenting a research ?eld as broad as this one poses considerable dif?culties. Scheduling for parallel computing is an interdisciplinary subject joining many ?elds of science and te- nology. Thus, to understand the scheduling problems and the methods of solving them it is necessary to know the limitations in related areas. Another dif?culty is that the subject of scheduling parallel computations is immense. Even simple search in bibliographical databases reveals thousands of publications on this topic. The - versity in understanding scheduling problems is so great that it seems impossible to juxtapose them in one scheduling taxonomy. Therefore, most of the papers on scheduling for parallel processing refer to one scheduling problem resulting from one way of perceiving the reality. Only a few publications attempt to arrange this ?eld of knowledge systematically. In this book we will follow two guidelines. One guideline is a distinction - tween scheduling models which comprise a set of scheduling problems solved by dedicated algorithms. Thus, the aim of this book is to present scheduling models for parallel processing, problems de?ned on the grounds of certain scheduling models, and algorithms solving the scheduling problems. Most of the scheduling problems are combinatorial in nature. Therefore, the second guideline is the methodology of computational complexity theory. Inthisbookwepresentfourexamplesofschedulingmodels. Wewillgodeepinto the models, problems, and algorithms so that after acquiring some understanding of them we will attempt to draw conclusions on their mutual relationships.

Themessagepassingparadigmisconsideredthemoste?ectivewaytodevelop- ?cient parallel applications. PVM (Parallel Virtual Machine) and MPI (Message Passing Interface) are the most frequently used tools for programming message passing applications. This volume includes the selected contributions presented at the 10th - ropean PVM/MPI Users' Group Meeting (Euro PVM/MPI 2003), which was held in Venice, Italy, September 29-October 2, 2003. The conference was jointly organized by the Department of Computer Science of the Ca' Foscari University of Venice, Italy and the Information Science and Technologies Institute of the National Research Council (ISTI-CNR), Pisa, Italy. TheconferencewaspreviouslyheldinLinz, Austria(2002), Santorini, Greece (2001), Balatonfured, ] Hungary (2000), Barcelona, Spain (1999), Liverpool, UK (1998), and Krakow, Poland (1997). The ?rst three conferences were devoted to PVM and were held in Munich, Germany (1996), Lyon, France (1995), and Rome, Italy (1994). The conference has become a forum for users and developers of PVM, MPI, and other message passing environments. Interactions between these 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 ?elds. The main topics of the meeting were evaluation and performance of PVM and MPI, ext- sions, implementations and improvements of PVM and MPI, parallel algorithms using the message passing paradigm, and parallel applications in science and engineering. In addition, the topics of the conference were extended to include Grid computing, in order to re?ect the importance of this area for the hi- performance computing community."

This volume contains the papers presented at the 9th workshopon Job Sched- ing Strategies for Parallel Processing, which was held in conjunction with HPDC12 and GGF8 in Seattle, Washington, on June 24, 2003. The papers went through a complete review process, with the full version being read and eva- ated by ?ve to seven members of the program committee. We would like to take this opportunity to thank the program committee, Su-Hui Chiang, Walfredo Cirne, Allen Downey, Wolfgang Gentzsch, Allan Gottlieb, Moe Jette, Richard Lagerstrom, Virginia Lo, Cathy McCann, Reagan Moore, Bill Nitzberg, Mark Squillante, and John Towns, 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 Science and the School of Computer Science and Engineering at the Hebrew University for the use of their facilities in the preparation of these proceedings. This year we had papers on three main topics. The ?rst was continued work on conventional parallel systems, including infrastructure and scheduling al- rithms. Notable extensions include the considerationof I/O and QoSissues. The secondmajortheme wasscheduling inthe contextofgridcomputing, whichc- tinues to be an area of much activity and rapid progress.The third area was the methodological aspects of evaluating the performance of parallel job scheduling.

This volume contains the proceedings of the 14th International Conference on ConcurrencyTheory(CONCUR2003)heldinMarseille, France, September3-5, 2003. The conference was hosted by the UniversitedeProvenceandtheLa- ratoire d'Informatique Fondamentale de Marseille (LIF). The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti?c relevance of their fundations. The scope of the conference covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency-related aspects of: models of computation and semantic domains, process algebras, Petri nets, event struc- res, real-time systems, hybrid systems, decidability, model-checking, veri?cation and re?nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, types systems and algorithms, case studies, and tools and environments for programming and - ri?cation. Of the 107 papers submitted this year, 29 were accepted for presentation. Four invited talks were given at the conference: on Distributed Monitoring of Concurrent and Asynchronous Systems by Albert Beneveniste, on Quantitative Veri?cation via the MU-Calculus by Luca De Alfaro, on Input-Output Au- mata: Basic, Timed, Hybrid, Probabilistic, Dynamic, . . . by Nancy Lynch, and on Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus by Andre Scedrov."

Build your expertise in the BPF virtual machine in the Linux kernel with this practical guide for systems engineers. You'll not only dive into the BPF program lifecycle but also learn to write applications that observe and modify the kernel's behavior; inject code to monitor, trace, and securely observe events in the kernel; and more. Authors David Calavera and Lorenzo Fontana help you harness the power of BPF to make any computing system more observable. Familiarize yourself with the essential concepts you'll use on a day-to-day basis and augment your knowledge about performance optimization, networking, and security. Then see how it all comes together with code examples in C, Go, and Python. Write applications that use BPF to observe and modify the Linux kernel's behavior on demand Inject code to monitor, trace, and observe events in the kernel in a secure way-no need to recompile the kernel or reboot the system Explore code examples in C, Go, and Python Gain a more thorough understanding of the BPF program lifecycle

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2002, held in conjunction with HPDC-11 and FFG-5 in Edinburgh, Scotland in July 2002. The 12 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision; they present state-of-the-art research results in the area with emphasis on classical massively parallel processing scheduling, in particular backfilling, and on scheduling in the context of grid computing.

Patterns and Skeletons for Parallel and Distributed Computing is a unique survey of research work in high-level parallel and distributed computing over the past ten years. Comprising contributions from the leading researchers in Europe and the US, it looks at interaction patterns and their role in parallel and distributed processing, and demonstrates for the first time the link between skeletons and design patterns. It focuses on computation and communication structures that are beyond simple message-passing or remote procedure calling, and also on pragmatic approaches that lead to practical design and programming methodologies with their associated compilers and tools. The book is divided into two parts which cover: skeletons-related material such as expressing and composing skeletons, formal transformation, cost modelling and languages, compilers and run-time systems for skeleton-based programming.- design patterns and other related concepts, applied to other areas such as real-time, embedded and distributed systems. It will be an essential reference for researchers undertaking new projects in this area, and will also provide useful background reading for advanced undergraduate and postgraduate courses on parallel or distributed system design.

This book constitutes the refereed proceedings of the 9th European PVM/MPI Users'Group Meeting held in Linz, Austria in September/October 2002.The 50 revised full papers presented together with abstracts of 11 invited contributions were carefully reviewed and selected. The papers are organized in topical sections on Corss Grid, Par Sim, application using MPI and PVM, parallel algorithms using message passing, programming tools for MPI and PVM, implementations of MPI and PVM, extensions of MPI and PVM, and performance analysis and optimization.

This book constitutes the refereed proceedings of the 7th International Conference on Parallel Problem Solving from Nature,PPSN 2002, held in Granada, Spain in September 2002.The 90 revised full papers presented were carefully reviewed and selected from 181 submissions. The papers are organized in topical sections on evolutionary algorithms theory, representation and codification, variation operators, evolutionary techniques and coevolution, multiobjective optimization, new techniques for evolutionary algorithms, hybrid algorithms, learning classifier systems, implementation of evolutionary algorithms, applications, and cellular automata and ant colony optimization.

This book constitutes the refereed proceedings of the 8th European Conference on Parallel Computing, Euro-Par 2002, held in Paderborn, Germany in August 2002.The 67 revised full papers and 55 research note papers presented together with 6 invited papers were carefully reviewed and selected from 265 submissions. The papers presented give a unique survey of the state of the art in parallel computing research, ranging from algorithms, software, hardware and application in various fields.

This book constitutes the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002.The 32 revised full papers presented together with abstracts of seven invited contributions were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on verification and model checking, logic, mobility, probabilistic systems, models of computation and process algebra, security, Petri nets, and bisimulation.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing and Applied Mathematics, PPAM 2002, held in Naleczow, Poland, in September 2001.
The 101 papers presented were carefully reviewed and improved during two rounds of reviewing and revision. The book offers topical sections on distributed and grid architectures, scheduling and load balancing, performance analysis and prediction, parallel non-numerical algorithms, parallel programming, tools and environments, parallel numerical algorithms, applications, and evolutionary computing and neural networks.

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.

This book constitutes the refereed proceedings of the 5th International Conference on Coordination Models and Languages, COORDINATION 2002, held in York, UK, in April 2002.The 18 revised full papers and 14 short papers presented were carefully reviewed and selected from 55 submissions. Among the topics addressed are network-centric systems design, concurrent semantics, mobile object systems, mobile agent systems, software components, distributed processes, coordination frameworks, reflective architectures, multi-agent systems engineering, communication protocols, formal specification, and cooperative virtual teams.

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