Designing the future internet requires an in-depth consideration of the mana- ment,dimensioningandtra?ccontrolissuesthatwillbe involvedinthe network operations of these networks. The International Workshop on Tra?c Mana- ment and Tra?c Engineering of the Future Internet, FITraMEn2008, organized 1 within the framework of the Network of Excellence Euro-NF,providedanopen forum to present and discuss new ideas in this area in the context of ?xed, wireless and spontaneous (ad hoc and sensor) networks. TheNetworkofExcellenceEuro-NF"AnticipatingtheNetworkoftheFuture - From Theory to Design" is a European project funded by the European Union withintheSeventhFrameworkProgram.ThefocusofEuro-NFistodevelopnew principles and methods to design/dimension/control/manage multi-technology architectures. The emerging networking paradigms raise new challenging sci- ti?c and technological problems embedded in complex policy, governance, and worldwide standards issues. Dealing with the diversity of these scienti?c and social, political and economic challenges requires the integration of a wide range of research capabilities, a role that Euro-NF aims to ful?ll. This proceedings volume contains a selection of the research contributions presented at FITraMEn 2008. The workshop was held December 11-12, 2008 in 2 Porto, Portugal, organized by Instituto de Telecomunica, c" oes .

1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009. TheTAPconferenceisdevotedtotheconvergenceofproofsandtests. Itc- bines ideasfromboth sidesforthe advancementofsoftwarequality. Toprovethe correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the exp- tation of discovering bugs. The two techniques seem contradictory: if you have proved your program, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope of proving its corre- ness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursuedby distinct communities using ratherdi?erent techniques and tools. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the ?rst signs that contradiction may yield to complementarity, but in the past few years an increasing number of research e?orts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to o?er

"Safety-Critical Systems: Problems, Process and Practice" contains the papers presented at the seventeenth annual Safety-critical Systems Symposium, held at Brighton, UK, in February 2009.

The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress.

The first paper reflects a tutorial - on Hazard Analysis - held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposium's sessions: the Economics of Safety, Transport Safety, Safety in Society, New Challenges, Safety Assessment and Safety Standards.

The book will be of interest to both academics and practitioners working in the safety-critical systems arena.

The PaCT-2009 (Parallel Computing Technologies) conference was a four-day eventheld in Novosibirsk. This was the tenth internationalconference to be held in the PaCT series. The conferences are held in Russia every odd year. The ?rst conference, PaCT 1991, was held in Novosibirsk (Academgorodok), September 7-11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 to September 4, 1993; in St. Petersburg, 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; in Nizhni Novgorod, September 15-19, 2003; in Krasnoyarsk, September 5-9, 2005; in Pereslavl-Zalessky, September 3-7, 2007. Since 1995 all the PaCT Proceedings have been published by Springer in the LNCS series. PaCT-2009 was jointly organized by the Institute of Computational Mathematics and Mathematical Geophysics of the Russian Academy of Sciences (RAS) and the State University of Novosibirsk. The purpose of the conference was to bring together scientists working on theory, architecture, software, hardware and the solution of lar- scale problems in order to provide integrated discussions on parallel computing technologies. The conference attracted about 100 participants from around the world. Authors from 17 countries submitted 72 papers. Of those submitted, 34 were selected for the conference as regular papers; there were also 2 invited - pers. In addition there were a number of posters presented. All the papers were internationallyreviewedby at leastthree referees. A demo sessionwasorganized for the participants.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Networks for Grid Applications, GridNets 2008, held in Beijing, China in October 2008.

The 19 revised full papers presented together with 4 invited presentations were carefully reviewed and selected from 37 submissions. The papers address the whole spectrum of grid networks, ranging from formal approaches for grid management to case studis in optical switching.

"Robust Control for Uncertain Networked Control Systems with Random Delays" addresses the problem of analysis and design of networked control systems when the communication delays are varying in a random fashion. The random nature of the time delays is typical for commercially used networks, such as a DeviceNet (which is a controller area network) and Ethernet network.

The main technique used in this book is based on the Lyapunov-Razumikhin method, which results in delay-dependent controllers. The existence of such controllers and fault estimators are given in terms of the solvability of bilinear matrix inequalities. Iterative algorithms are proposed to change this non-convex problem into quasi-convex optimization problems, which can be solved effectively by available mathematical tools. Finally, to demonstrate the effectiveness and advantages of the proposed design method in the book, numerical examples are given in each designed control system.

This volume contains the proceedings of the 12th International Conference on Hybrid Systems Computation and Control (HSCC 2009) held in San Francisco, CaliforniaduringApril13-15,2009. Theannualconferenceonhybridsystems- cuses on researchin embedded, reactive systems involving the interplay between discrete switching and continuous dynamics. HSCC is a forum for academic and industrial researchers and practitioners to exchange information on the latest advancements, both practical and theoretical, in the design, analysis, control, optimization, and implementation of hybrid systems. HSCC 2009 was the 12th in a series of successful meetings. Previous versions wereheld in Berkeley(1998), Nijmegen (1999), Pittsburgh(2000), Rome (2001), PaloAlto (2002), Prague(2003), Philadelphia (2004), Zurich (2005), Santa B- bara (2006), Pisa (2007), and St. Louis (2008). HSCC 2009 was part of the 2nd Cyber-Physical Systems Week (CPSWeek), whichconsistedoftheco-locationofHSCCwiththeInternationalConferenceon Information Processing in Sensor Networks (IPSN) and the Real-Time and - bedded Technology and Applications Symposium (RTAS). Through CPSWeek, the three conferences had joint invited speakers, poster sessions, and joint - cial events. In addition to the workshops sponsored by CPSWeek, HSCC 2009 sponsored two workshops: - NSV II: Second International Workshop on Numerical Software Veri?cation - HSCB 2009: Hybrid Systems Approaches to Computational Biology We would like to thank the authors of submitted papers, the Program C- mittee members, the additional reviewers, the workshop organizers, and the HSCC Steering Committee members for their help in composing a strong p- gram. We also thank the CPSWeek Organizing Committee, in particular Rajesh Gupta, for their strenuous work in handling the local arrangemen

1 2 Per Stenstro ..m and David Whalley 1 Chalmers University of Technology, Sweden 2 Florida State University, U.S.A. In January2007,the secondedition in the series of International Conferenceson High-Performance Embedded Architectures andCompilers (HiPEAC'2007)was held in Ghent,Belgium.We were fortunate to attract around70 submissions of whichonly19wereselected forpresentation.Amongthese,weaskedtheauthors ofthe?vemost highly rated contributionsto make extended versions ofthem. They all accepted to do that andtheirarticles appear in this section ofthe second volume. The?rstarticlebyKeramidas,Xekalakis,andKaxirasfocusesontheincreased power consumption in set-associativecaches.They presenta novel approach to reduce dynamicpower that leverages on the previously proposed cache decay approach that has been shown to reduce static (or leakage) power. In the secondarticlebyMagarajan,Gupta,andKrishnaswamythe focus ison techniques to encrypt data in memory to preservedata integrity. The problem with previous techniques is that the decryption latency ends up on the critical memory access path. Especially in embedded processors,caches are small and it isdi?cultto hide the decryption latency. The authors propose a compiler-based strategy that manages to reduce the impact of the decryption time signi?cantly. The thirdarticlebyKluyskensandEeckhoutfocusesondetailedarchitectural simulation techniques.It is well-known that they are ine?cientandaremedy to the problem isto use sampling.When usingsampling,onehastowarm up memory structures such as caches andbranch predictors.Thispaper introduces a noveltechnique calledBranchHistoryMatchingfore?cient warmupofbranch predictors. The fourth articlebyBhadauria,McKee,Singh, and Tyson focuses on static power consumptioninlarge caches.Theyintroduce a reuse-distance drowsy cache mechanism that issimpleas well as e?ective in reducingthestaticpower in caches.

This book constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing Systems, ARCS 2009, held in Delft, The Netherlands, in March 2009.

The 21 revised full papers presented together with 3 keynote papers were carefully reviewed and selected from 57 submissions. This year's special focus is set on energy awareness. The papers are organized in topical sections on compilation technologies, reconfigurable hardware and applications, massive parallel architectures, organic computing, memory architectures, enery awareness, Java processing, and chip-level multiprocessing.

This book constitutes the refereed proceedings of the 10th International Conference on Passive and Active Measurement, PAM 2009, held in Seoul, Korea, in April 2009.

The 22 revised full papers and 2 revised demo papers presented were carefully reviewed and selected from 77 submissions. The papers focus on research and practical applications of routing and forwarding, topology and delay, methods for large-scale measurements, wireless, management tools, audio and video traffic, peer-to-peer, traffic measurements, and measurements of anomalous and unwanted traffic.

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Spindleruv Mlyn, Czech Republic, in January 2009.

The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.

This book presents a comprehensive compilation of practical systems engineering models. The application and recognition of systems engineering is spreading rapidly, however there is no book that addresses the availability and usability of systems engineering models. Notable among the models to be included are the V-Model, DEJI Model, and Waterfall Model. There are other models developed for specific organizational needs, which will be identified and presented in a practical template so that other organizations can learn and use them. A better understanding of the models, through a comprehensive book, will make these models more visible, embraced, and applied across the spectrum. Visit www.DEJImodel.com for model details. Features Covers applications to both small and large problems Displays decomposition of complex problems into smaller manageable chunks Discusses direct considerations of the pertinent constraints that exist in the problem domain Presents systematic linking of inputs to goals and outputs

This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

Following a very thorough review process, 18 full research papers were selected from 72 submissions. Topics covered include traditional compiler construction, compiler analyses, runtime systems and tools, programming tools, techniques for specific domains, and the design and implementation of novel language constructs.

HiPEAC2009wasthe fourthedition ofthe HiPEACconferenceseries.This c- ferenceseriesislargelyassociatedwiththeFP7NetworkofExcellenceHiPEAC2. The ?rst three editions of the conference in Barcelona (2005), Ghent (2007) and G] oteborg (2008) attracted a lot of interest with more than 200 attendees at the last two editions and satellite events. It is a great privilege for us to welcome you to the fourth HiPEAC conference in the beautiful, touristic city of Paphos, Cyprus. The o?erings of this conference are rich and diverse. We o?er attendees a set of seven workshopson topics that are central to the HiPEAC network roadmap: multi-cores, simulation and performance evaluation, compiler optimizations, - sign reliability, recon?gurable computing, and interconnection networks. Ad- tionally, a tutorial on design reliability is o?ered. Theconferenceprogramwasasrichaslastyear's.Itfeaturedmanyimportant andtimelytopicssuchasmulti-coreprocessors, recon?gurablesystems, compiler optimization, power-awaretechniquesand more.The conferencealso o?ered two keynote speeches: Tilak Agerwala from IBM Research presenting the view from a major industry player, and Fran, cois Bodin from CAPS-Entreprise presenting the view of a start-up. There were several social activities during the conference o?ering ample - portunity for informal interaction. These included a reception, an excursion to various archeological sites and a banquet at a traditional tavern. Thisyearwereceived97papersubmissions, ofwhich14wereco-authoredbya Program Committee member. Papers were submitted from 20 di?erent nations (approximately 46% from Europe, 15% from Asia, 32% from North America, 4% from Africa and the Middle East, and 3% from South America), which is an indicator of the global visibility of the conference."

These are the proceedings of IPTComm 2008 - the Second Conference on Pr- ciples, Systems andApplications ofIP Telecommunications-heldinHeidelberg, Germany, July 1-2, 2008. The scope of the conference included recent advances in the domains of convergent networks, VoIP security and multimedia service environments for next generation networks. The conference attracted 56 s- missions, of which the Program Committee selected 16 papers for publication. The review process followed strict standards: each paper received at least three reviews. We would like to thank all Program Committee members and external reviewers for their contribution to the review process. The conference attracted attendees from academia and industry. Its excellence is re?ected in the quality of the contributed papers and invited talks. Additional industry talks and - plied demonstrations assured a synergy between academic and applied research. We would also like to acknowledge and thank our sponsors, many of whom s- portedtheconferencegenerously: NEC, AT&T, Codenomicon, IPTEGO, EADS, Cellcrypt, MuDynamics, SIP Forum and EURESCOM, Finally, we would like to thank all the researchers and authors from all over the world who submitted their work to the IPTComm 2008 conferenc

Thisvolumecontainstheproceedingsofthe?rstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4-5, 2008. While there are several venues that cover computational methods in systems biology, there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci?cation, development and veri?cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways that can signi?cantly advance our understanding of biological systems. As a forum for this discussion we invited key scientists in the area of formal methods to this unique meeting. Although this was a one-o? meeting, we are exploring the possibility of this forming the ?rst of what might become an annual conference. Presentations at the meeting were by invitation only; future meetings are expected to operate on a submission and review basis. The Steering Committee and additional referees reviewed the invited papers. Each submission was evaluated by at least two referees. The volume includes nine invited contributions. Formal Methods in Systems Biology 2008 was made possible by the cont- bution and dedication ofmany people. First of all, we wouldlike to thank allthe authors who submitted papers. Secondly, we would like to thank our additional invited speakers and participants. We would also like to thank the members of the Steering Committee for their valuable comments. Finally, we ackno- edge the help of the administrative and technical sta? at the MicrosoftResearch Cambridge la

at the distributed virtual Program Committee meeting. Each paper's review recomm- dationswere carefully checkedfor consistency; in many instances, the Vice Chairs read the papers themselves when the reviews did not seem suf?cient to make a decision. Throughout the reviewing process, I received a tremendous amount of help and advice from General Co-chair Manish Parashar, Steering Chair Viktor Prasanna, and last year's Program Chair Srinivas Aluru; I am very grateful to them. My thanks also go to the Publications Chair Sushil Prasad for his outstanding efforts in putting the proceedings together. Finally, I thank all the authors for their contributions to a hi- quality technical program. I wish all the attendees a very enjoyable and informative meeting. December 2008 P. Sadayappan Message from the General Co-chairs and the Vice General Co-chairs On behalf of the organizers of the 15th International Conference on High-Performance Computing(HiPC), it is our pleasureto present these proceedingsand we hopeyou will ?nd them exciting and rewarding. TheHiPCcallforpapers, onceagain, receivedanoverwhelmingresponse, attracting 317submissionsfrom27countries.P.Sadayappan, theProgramChair, andthe Program Committee worked with remarkablededication to put together an outstandingtechnical program consisting of the 46 papers that appear in these proceedings.

Patients have always been encouraged to be active participants in managing their health. New technologies, cultural shifts, trends in healthcare delivery, and policies have brought the patients' role in healthcare to the forefront. This 2-volume set reviews and advances the emerging discipline of Patient Ergonomics. The set focuses on patients and their performance. It presents practical recommendations and case studies useful for researchers and practitioners. It covers diverse healthcare settings outside of hospitals and clinics, and provides a combination of foundational content and specific applications in detail. The 2-volume set will be ideal for academics working in healthcare and patient-centered research, their students, human factors practitioners (consultants, employees of health systems and technology/medical device compaines), healthcare professionals (physicians, nurses, pharmacists), and organizational leaders (healthcare administrators and executives).

On behalf of the IEEE Communications Society, Technical Committee on N- work Operations and Management (CNOM), Manweek 2008 Organizing C- mittee, and members of the IPOM Technical Program Committee, it is our pleasureto present the proceedings of the 8th IEEE Workshop on IP Operations and Management(IPOM 2008),heldaspartofManweek2008duringSeptember 22-26, 2008, on Samos, Greece. ThecurrentInternetisalarge-scaledistributedsystemwhosesub-components suchasaddressing,protocols,algorithms,services,need to scalein time withthe rapid growth of Internet tra?c volumes. Moreover, there is a high level of int- action between di?erent subcomponents of the Internet sometimes in undesired ways - for example, denial of service attacks can jeopardize the operation of a commercial network. With these challenges in place, operations and mana- ment of IP networks have become increasingly important. This necessitates a good understanding of the emerging technical and scienti?c problems in the current Internet, and lessons from such understanding will be particularly - portant for future Internet design and management. Building on the success of the previous events, we wanted IPOM 2008 to focus on network management challenges for the current Internet as well as on future Internet design.

This volume presents the proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2008), which was held on Samos, Greece during September 22-26 as part of the 4th International Week on Management of Networks and Services (Manweek 2008). As in the previous three years, the Manweek umbrella - lowed an international audience of researchers and scientists from industry and academia - who are researching and developing management systems - to share views and ideas and present their state-of-the-art results. The other events co-located with Manweek 2008 were the 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2008), the 8th IEEE Workshop on IP Operations and Management (IPOM2008), the Third IEEE International Workshop on Modeling Autonomic CommunicationsEnvironments(MACE2008),the4thIEEE/IFIPInternational Workshop on End-to-End Virtualization and Grid Management (EVGM 2008) andthe5thInternationalWorkshoponNext-GenerationNetworkingMiddleware (NGNM 2008). Under this umbrella, MMNS again proved itself as a top public venue for dissemination of results and intellectual collaboration with speci?c emphasis on the management of emerging mobile and wireless networks. The objective of the conference is to bring together researchers and scientists from academia and industry interested in state-of-the-artmanagementof convergedmultimedia networks and services across heterogeneous networking infrastructures.

This book constitutes the refereed proceedings of the 7th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2007, held in Samos, Greece in July 2007.

The 44 revised full papers presented together with 2 keynote talks were thoroughly reviewed and selected from 116 submissions. The papers are organized in topical sections on system modeling and simulation, VLSI architectures, scheduling and programming models, multi-processor architectures, reconfigurable architectures, design space exploration, processor components, embedded processors, SoC for SDR, and wireless sensors.

This book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, held in Las Palmas de Gran Canaria, Spain, in August 2008.

The 86 revised papers presented were carefully reviewed and selected from 264 submissions. The papers are organized in topical sections on support tools and environments; performance prediction and evaluation; scheduling and load balancing; high performance architectures and compilers; parallel and distributed databases; grid and cluster computing; peer-to-peer computing; distributed systems and algorithms; parallel and distributed programming; parallel numerical algorithms; distributed and high-performance multimedia; theory and algorithms for parallel computation; and high performance networks.

This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held during August 18-21, 2008 in Montreal, Canada. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 40 papers submitted to TPHOLs 2008 in the full research c- egory, each of which was refereed by at least four reviewers selected by the ProgramCommittee. Of these submissions, 17 researchpapers and 1 proofpearl were accepted for presentation at the conference and publication in this v- ume. In keeping with longstanding tradition, TPHOLs 2008 also o?ered a venue for the presentation of emerging trends, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2008 technical report of Concordia University. The organizersaregratefulto MichaelGordonand StevenMiller for agreeing togiveinvitedtalksatTPHOLs2008.Aspartofthecelebrationofthe20yearsof TPHOLs, TPHOLs 2008 invited tool developers and expert users to give special tool presentations of the most representative theorem provers in higher order logics. The following speakers kindly accepted our invitation and we aregrateful tothem: YvesBertot(Coq), MattKaufmann(ACL2), SamOwre(PVS), Konrad Slind (HOL), and Makarius Wenzel (Isabel

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008.

The 17 papers presented in this volume, together with abstracts of 2 invited papers, were carefully reviewed and selected from 39 submissions. The topics covered are software performance engineering; stochastic process algebra and SANs; performance query specification and measurement; computer and communications networks; queueing theory and Markov chains; and applications.

This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2008). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. In addition, the conf- ences always welcome a range of invited talks that survey related domains, as well as satellite events such as tutorials and workshops. The 2008 conference had six invited speakers, two advanced tutorials, and four workshops. Detailed information about PETRI NETS 2008 and the related events can be found at http: //ictt. xidian. edu. cn/atpn-acsd2008. The PETRI NETS 2008 conference was organized by the Institute of C- puting Theory andTechnologyat Xidian University, Xi'an, China, where it took place during June 23-27, 2008. We would like to express our deep thanks to the Organizing Committee, chaired by Zhenhua Duan, for the time and e?ort - vested in the conference and for all the help with local organization. We are also grateful for the ?nancial support of the National Natural Science Foundation of China (NSFC) (Grant No. 60433010), Xidian University, and the Institute of Computing Theory and Technology at Xidian University.