The IFIP International Conference on Network and Parallel Computing is an international conference, aimed at providing an exciting platform and forum for researchers and developers from academia and industry to present their latest research in the ?eld of parallel computing systems and applications. This year NPC received 89 submissions from authors in 11 countries. The papers were reviewed by a 51-member Program Committee, with 26 members from USA, 9 from mainland China, and the rest from Canada, Hong Kong, Taiwan,Korea,Japan,UK,andFrance.Eachpaperreceivedthreetosixreviews. Basedona totalof 287reviews,the ProgramCo-chairsaccepted papersinto two categories: Select papers: 23 papers passed the most stringent selection. Each paper is up to 15 pages in the conference proceedings. The acceptance rate for select papers is 25.8%. Regular papers: 11 additional papers are of su?cient publishable quality. Each paperisupto10pages. For the main conference, we invited three distinguished speakers: - XiaodongZhang(OhioStateUniversity,USA):BuildingaDomain-Knowledge Guided System Software Environment to Achieve High Performance of MulticoreProcessors - HuaiminWang(NationalUniversityofDefenseTechnology,China):Internet- Based Virtual Computing Environment - Jesse Fang (Intel Labs, China) One workshop was held in conjunction with the NPC 2010 conference: the International Workshop on Network on Chip (IWNoC 2010). The workshop was chairedbyHuaxiGuandJiangXu.Theproceedingsoftheworkshopareincluded in this volume.

The commercial exploitation of distributed computing technologies is slowly starting to become popular under the general area of cloud computing. These solutions allow selling and buying of resources (i.e., computing, network, software, and data resources) on demand. Existing solutions in this area are diverse, ranging from Infrastructure-- a-Service (IaaS) models via Platform-as-a-Service (PaaS) to Software-as-a-Service (SaaS) models. Although the economics of these services is not yet fully understood and the interoperability between such services is still lacking, a common market for computing services is slowly developing. Such a market would allow buyers and sellers of computing services to trade their excess capacity or make available their capacity at a cost. However, it is still not p- sible for a market participant to act as a resource provider or seller, or trade based on the current level of demand. Another example of a developing open market is the emergence of Web2.0-based services. These enable consumers to create new services by aggregating services from multiple providers. The benefit of these solutions is that "value" can be created by combining services at different prices.

Euro-Par is an annual series of international conferences dedicated to the p- motion and advancementof allaspects of parallelcomputing. The major themes can be divided into four broad categories: theory, high-performance, cluster and grid,distributedandmobilecomputing.Thesecategoriescomprise14topicsthat focus on particular issues. The objective of Euro-Paris to provide a forum within which to promote the development of parallel computing both as an industrial technique and an a- demic discipline, extending the frontier of both the state of the art and the state of practice. The main audience for and participants in Euro-Par are researchers inacademicdepartments,governmentlaboratories,andindustrialorganizations. Euro-Par2010 was the 16th conference in the Euro-Parseries, and was or- nizedbythe Institute forHigh-PerformanceComputingandNetworking(ICAR) of the Italian National Research Council (CNR), in Ischia, Italy. Previous Euro- ParconferencestookplaceinStockholm,Lyon,Passau,Southampton,Toulouse, Munich, Manchester, Padderborn, Klagenfurt, Pisa, Lisbon, Dresden, Rennes, Las Palmas, and Delft. Next year the conference will take place in Bordeaux, France. More information on the Euro-Par conference series and organization is available on the wesite http://www.europar.org. As mentioned before, the conference was organized in 14 topics. The paper review process for each topic was managed and supervised by a committee of at least four persons: a Global Chair, a Local Chair, and two members. Some speci?c topics with a high number of submissions were managed by a larger committeewithmoremembers.The?naldecisionsontheacceptanceorrejection ofthesubmitted papersweremadein ameeting ofthe ConferenceCo-chairsand Local Chairs of the topics.

Over the past decade, sign?cant advances in wireless communication and c- puting technologies have led to the proliferation of reliable and ubiquitous - frastructure and infrastructureless wireless networks all over the world, as well as a diverserangeof new applications, such as mobile social networking,and the surveillance and protection of critical infrastructures and environments. At the same time, these applications have raised new challenges ranging from the t- oretical foundations of these systems, algorithms and protocol design, security andprivacyto rigorousandsystematicdesignandevaluationmethodologiesand new architectures for next-generation systems. The annual International Conference on Wireless Algorithms, Systems, and Applications (WASA) provides a forum for researchers and practitioners wor- wide to exchange ideas, share new ?ndings, and discuss challenging issues for the currentandnext-generationwirelessnetworks.PastWASA conferenceswere held in Xian (2006), Chicago (2007), Dallas (2008), and Boston (2009). WASA 2010, the 5th WASA conference, took place at the Beijing Wenjin International Hotel in Beijing during August 15-17, 2010. Each submission was reviewed by at least three Program Committee members, who in some cases were assisted by external referees. Following a rigorous review process, 29 (19 regular and 10 short) papers were selected for presentation at the conference. The best paper awardwas given to the paper titled "ApproximateOptimization for Proportional Fair AP Association in Multi-rate WLANs" by Wei Li, Yong Cui, Shengling Wang, and Xiuzhen Cheng.

This volume contains the proceedings of the 4th International Workshop on Critical Information Infrastructures Security (CRITIS 2009). The workshopwas held from September 30 to October 2 in the Gunnewig .. Hotel Bristol in Bonn, Germany. TheworkshopwasorganizedbytheFraunhoferInstituteforIntelligent Analysis and Information Systems (IAIS), Sankt Augustin, Germany. CRITIS 2009 continued the series of successful CRITIS Workshops. Com- nies,researchinstitutions,andgovernmentalorganizationsfromallmainareasof critical infrastructures took an active part in supporting CRITIS and we found CRITIS 2009 both exciting and informative. The selected papers addressed a range of key issues and demonstrated the ubiquity and global importance of - formation infrastructures. Each paper had at least three independent technical reviews and we accepted 13 full papers out of 34 submissions. We were very fortunate in having a range of invited speakers that c- ered policy, research and industry perspectives. James Smith from Los Alamos National Laboratory addressed the challenges and achievements in their work on "Large-Scale Modeling and Simulation of Critical Infrastructure. " Orestis Terzidis, Vice President SAP AG, talked on the "The Internet for Energy: P- spectives and Challenges. " Continuing with the energy theme, Alla Heidenreich, from SIEMENS AG, Corporate Research and Technologies (Germany) provided her insights on the "Secure ICT Infrastructure for the Future Power Grid. " Critical infrastructure protection is an area where an e?ective private-public partnership is required. A government perspective was provided by Michael P- germann, German Ministry of the Interior, who talked on German strategy - garding CIIP.

This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the conference sponsors - EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, CADE Inc. , Google, Hewlett-Packard, Intel - is gratefully acknowledged. IJCARisthepremierinternationaljointconferenceonalltopicsinautomated reasoning, including foundations, implementations, and applications. Previous IJCAR conferences were held at Siena (Italy) in 2001, Cork (Ireland) in 2004, Seattle (USA) in 2006, and Sydney (Australia) in 2008. IJCAR comprises s- eral leading conferences and workshops. In 2010, IJCAR was the fusion of the following events: -CADE: International Conference on Automated Deduction -FroCoS: International Symposium on Frontiers of Combining Systems -FTP: International Workshop on First-Order Theorem Proving - TABLEAUX: InternationalConferenceonAutomatedReasoningwith- alytic Tableaux and Related Methods There were 89 submissions (63 regular papers and 26 system descriptions) of which 40 were accepted (28 regular papers and 12 system descriptions). Each submission was assigned to at least three Program Committee members, who carefully reviewed the papers, with the help of 92 external referees. Afterwards, the submissions were discussed by the ProgramCommittee during two weeks by means of Andrei Voronkov's EasyChair system. We want to thank Andrei very much for providing his system, which was very helpful for the management of the submissions and reviews and for the discussion of the Program Committee.

The International Conference on Wireless and Mobile networks (WiMo) aims to bring together innovative ideas and new research trends in wireless and mobile networks. Wireless networks are the best inventions in history. Wireless networking gives you a cheap and easy way to share one Internet connection between multiple computers, eliminating the need for more than one modem. You can even add new computers to your network simply by plugging in a wireless card and switching them on--they have an Internet connection straight away! There aren't many wired networks that can say that. This conference is dedicated to addressing the challenges in the areas of wireless and mobile networks. It looks for significant contributions to wireless and mobile computing in theoretical and practical aspects. The wireless and mobile computing domain emerges from integrating personal computing, networks, communication te- nologies, cellular technology and Internet technology. Modern applications are eme- ing in the area of mobile ad hoc networks and sensor networks. WiMo 2010 intended to cover contributions in both design and analysis in the context of mobile, wireless, ad hoc, and sensor networks. The goal of the conference was to bring together - searchers and practitioners from academia and industry to focus on advanced wireless and mobile computing concepts and establish new collaborations in these areas.

Give your students an understanding of the most important topics in embedded systems design using a coherent, compelling and hands-on approach.

Now in its 2nd edition, this textbook has been updated on a new development board from STMicroelectronics - the Arm Cortex-M0+ based Nucleo-F091RC. Designed to be used in a one- or two-semester introductory course on embedded systems, the textbook covers fundamental topics including the CPU, interrupt systems, peripherals, serial communication and multi-tasking.

Software examples in this textbook are written in C and the free version of Arm's Keil MDK-ARM integrated development environment is used throughout the materials.

This book contains the proceedings of the 6th International Workshop on OpenMP held in Tsukuba City, Japan, in June 2010. The International Wo- shop on OpenMP is an annual series of workshops dedicated to the promotion andadvancementofallaspectsfocusing onparallelprogrammingwithOpenMP. OpenMP is now a major programming model for shared memory systems from multi-core machines to large-scale servers. Recently, new ideas and ch- lengeshavebeenproposedtoextendOpenMPframeworktosupportaccelerators and also to exploit other forms of parallelism beyond loop-level parallelism. The workshop serves as a forum to present the latest research ideas and results related to this shared memory programming model. It also o?ers the opportunity to interact with OpenMP users, developers and the people working on the next release of the speci?cation. In response to the Call-for-Papers for the technical program, the Program Committee received a total of 23 submissions from all over the world including Asia, USA and Europe, and all submissions were carefully refereed in a rigorous processwhichrequiredatleastthreereviewsforeachpaper,usingtheEasyChair conferencesystem.The?naldecisionswerecollectivelymadeinMarch2010. Due to time and space limitations for the workshop and proceedings, only 13 papers could be selected for presentation and inclusion in the proceedings. We believe we havechosen a diverse, high-quality set of papers, re?ecting a stimulating and enjoyable workshop. Finally, we would like to thank all authors, referees,and committee members for their outstanding contributions which have ensured a continuation of the high quality of IWOMP workshops.

In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) took place in Amsterdam, during June 7-9. It was hosted and organized by the Centrum voor Wiskunde en Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related veri?cation and analysis techniques. The 10th IFIP International Conference on Distributed Applications and Interop- able Systems in particular elicited contributions on architectures, models, te- nologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends for bridging the physical/virtual worlds based on ?exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and the 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods. Each of the three days of the federated event began with a plenary speaker nominated by one of the conferences.

Itis ourpleasureto presenttheproceedingsofthe17thInternationalConference on Analytical and Stochastic Modelling and Applications (ASMTA 2010). The conferencewasheldintheIconicWalesMillenniumCentreinCardi?,thevibrant capital city of Wales. ASMTA conferences have become established quality events in the calendar of analytical,numerical and even simulation experts in Europe and well beyond. In addition to regular participants from the main centers of expertise from the UK,Belgium,Germany,Russia,France,Italy,Latvia,Spain,Hungaryandmany other countries, we receive newcomers with interesting contributions from other countries such as Algeria, Canada and the USA. Although the conference has become a well-established event, every year ASMTAfeaturessomethingnew.Thisyear,andforthe ?rsttime,the conference was held completely independently and standalone. The decision was not easy as it has always been co-located with the European Conference on Modelling and Simulation. There were some who questioned its chances, but the outcome proved to be excellent. The quality of this year's program was exceptionally high. The conference started with a keynote talk on process algebra by a distinguished speaker in the person of Jane Hillston from the Department of Computer Science of the University of Edinburgh. In addition, 28 papers were accepted for presentation. As ever, the International Program Committee reviewed the submissions cr- ically and in detail, thereby helping in making the ?nal decision and also in providing the authors with useful comments to improve their papers. We would therefore like to thank every member of the International Program Committee for their time and e?orts. We thank everyone for their contribution to ASMTA 2010 and hope readers will enjoy the conference proceedings.

Get to grips with systems engineering life cycles, processes, and best practices and discover techniques to successfully develop complex systems Key Features Discover how to manage increased complexity and understand systems better via effective communication Adopt a proven model-based approach for systems engineering in your organization Apply proven techniques for requirements, design, validation and verification, and systems engineering management Book DescriptionSystems engineering helps us to understand, specify, and develop complex systems, and is applied across a wide set of disciplines. As systems and their associated problems become increasingly complex in this evermore connected world, the need for more rigorous, demonstrable, and repeatable techniques also increases. Written by Professor Jon Holt - an internationally recognized systems engineering expert - this book provides a blend of technical and business aspects you need to understand in order to develop successful systems. You'll start with systems engineering basics and understand the complexity, communication, and different stakeholders' views of the system. The book then covers essential aspects of model-based systems engineering, systems, life cycles, and processes, along with techniques to develop systems. Moving on, you'll explore system models and visualization techniques, focusing on the SysML, and discover how solutions can be defined by developing effective system design, verification, and validation techniques. The book concludes by taking you through key management processes and systems engineering best practices and guidelines. By the end of this systems engineering book, you'll be able to confidently apply modern model-based systems engineering techniques to your own systems and projects. What you will learn Understand the three evils of systems engineering - complexity, ambiguous communication, and lack of understanding Realize successful systems using model-based systems engineering Understand the concept of life cycles and how they control the evolution of a system Explore processes and related concepts such as activities, stakeholders, and resources Discover how needs fit into the systems life cycle and which processes are relevant and how to comply with them Find out how design, verification, and validation fit into the life cycle and processes Who this book is forThis book is for aspiring systems engineers, engineering managers, or anyone looking to apply systems engineering practices to their systems and projects. While a well-structured, model-based approach to systems engineering is an essential skill for engineers of all disciplines, many companies are finding that new graduates have little understanding of systems engineering. This book helps you acquire this skill with the help of a simple and practical approach to developing successful systems. No prior knowledge of systems engineering or modeling is required to get started with this book.

A team of recognized experts leads the way to dependable computing systems
With computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems.
The first part of the book addresses models and paradigms of dependable computing, and the second part deals with enabling technologies and applications. Tough issues in creating dependable computing systems are also tackled, including:
* Verification techniques
* Model-based evaluation
* Adjudication and data fusion
* Robust communications primitives
* Fault tolerance
* Middleware
* Grid security
* Dependability in IBM mainframes
* Embedded software
* Real-time systems
Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.

The sign of a smart IS decision...

The sign of a smart decision about information systems isn't based on technical details alone; it's based on how well that decision contributes to the overall success of the business. If you want to make your firm's investment in IS really pay off, you need to approach IS from a truly managerial perspective.

Now with Paul Gray's "Manager's Guide to Making Decisions About IS," you'll learn how IS can help the organization as a whole, and how to make key decisions on whether to undertake, upgrade, or decommission large software systems. You'll also learn about the capabilities of IS, such as the many uses of a data warehouse and using IS to gain competitive intelligence.

See the big picture.

The "Manager's Guide to Making Decisions About IS" first focuses on big picture issues, such as hardware, software, and the Internet; strategic uses of IS; aligning IS with the business; types of applications; and inter-organizational systems.

Make decisions on big-ticket applications.

Gray then provides you with essential knowledge that will help you make informed decisions on big-ticket applications, including electronic commerce, enterprise requirements planning (ERP), customer relationship management (CRM), data warehousing, knowledge management, and business intelligence.

Explore current IS issues.

Finally, the "Manager's Guide to Making Decisions About IS" examines the IS issues that managers are currently facing in today's business, including outsourcing, systems integration, supply chain, people issues, mergers and acquisitions, infrastructure, and privacy, security, and ethics.

Armed with this knowledge, you'll have theconfidence and understanding you need to sign-off on IS decisions that will have a valuable impact on your organization.

This book is designed to help requirements engineers prepare for the Certified Professional for Requirements Engineering Foundation Level exam as defined by the IREB. Requirements engineering tasks have become increasingly complex. In order to ensure a high level of knowledge and competency among requirements engineers, the International Requirements Engineering Board (IREB) developed a standardized qualification called the Certified Professional for Requirements Engineering (CPRE). The certification defines the practical skills of a requirements engineer on various training levels. This book is designed for self-study and covers the curriculum for the Certified Professional for Requirements Engineering Foundation Level exam as defined by the IREB. The 2nd edition has been thoroughly revised and is aligned with the curriculum Version 2.2 of the IREB. In addition, some minor corrections to the 1st edition have been included. About IREB: The mission of the IREB is to contribute to the standardization of further education in the fields of business analysis and requirements engineering by providing syllabi and examinations, thereby achieving a higher level of applied requirements engineering. The IRE Board is comprised of a balanced mix of independent, internationally recognized experts in the fields of economy, consulting, research, and science. The IREB is a non-profit corporation. For more information visit www.certified-re.com.

For courses in structured systems analysis and design. Prioritising the practical over the technical, Modern Systems Analysis and Design presents the concepts, skills, methodologies, techniques, tools, and perspectives essential for systems analysts to develop information systems. The authors assume students have taken an introductory course on computer systems and have experience designing programs in at least one programming language. By drawing on the systems development life cycle, the authors provide a conceptual and systematic framework while progressing through topics logically. The 9th edition has been completely revised to adapt to the changing environment for systems development, with a renewed focus on agile methodologies.

There has been some solid work done in the area of User-Centered Design (UCD) over the last few years. What's been missing is an in-depth, comprehensive textbook that connects UCD to usability and User Experience (UX) principles and practices. This new textbook discusses a theoretical framework in relation to other design theories. It provides a repeatable, practical process for implementation, offering numerous examples, methods, and case studies for support, and it emphasizes best practices in specific environments, including mobile and web applications, print products, as well as hardware.

Compilers: Principles, Techniques and Tools, known to professors, students, and developers worldwide as the Dragon Book, is available in a new edition. Every chapter has been completely revised to reflect developments in software engineering, programming languages, and computer architecture that have occurred since 1986, when the last edition published. The authors, recognizing that few readers will ever go on to construct a compiler, retain their focus on the broader set of problems faced in software design and software development. The new chapters include: Chapter 10 - Instruction-Level Parallelism; Chapter 11 - Optimizing for Parallelism and Locality; and, Chapter 12 - Interprocedural Analysis.

Computational Frameworks: Systems, Models and Applications provides an overview of advanced perspectives that bridges the gap between frontline research and practical efforts. It is unique in showing the interdisciplinary nature of this area and the way in which it interacts with emerging technologies and techniques. As computational systems are a dominating part of daily lives and a required support for most of the engineering sciences, this book explores their usage (e.g. big data, high performance clusters, databases and information systems, integrated and embedded hardware/software components, smart devices, mobile and pervasive networks, cyber physical systems, etc.).

Business analysis is about identifying business needs and formulating workable solutions to business problems. It requires the widest possible array of tools and the professional ability to use each one when and where it is needed. This new edition provides a comprehensive single source of 123 business analysis techniques, offering practical guidance on how and when to apply them within a clear BA service framework. This book complements Business Analysis, also published by BCS.

Managing Trade-Offs in Adaptable Software Architectures explores the latest research on adapting large complex systems to changing requirements. To be able to adapt a system, engineers must evaluate different quality attributes, including trade-offs to balance functional and quality requirements to maintain a well-functioning system throughout the lifetime of the system. This comprehensive resource brings together research focusing on how to manage trade-offs and architect adaptive systems in different business contexts. It presents state-of-the-art techniques, methodologies, tools, best practices, and guidelines for developing adaptive systems, and offers guidance for future software engineering research and practice. Each contributed chapter considers the practical application of the topic through case studies, experiments, empirical validation, or systematic comparisons with other approaches already in practice. Topics of interest include, but are not limited to, how to architect a system for adaptability, software architecture for self-adaptive systems, understanding and balancing the trade-offs involved, architectural patterns for self-adaptive systems, how quality attributes are exhibited by the architecture of the system, how to connect the quality of a software architecture to system architecture or other system considerations, and more.

Striking a balance between theory and applications, Linear System Theory and Design, Fourth Edition, uses simple and efficient methods to develop results and design procedures that students can readily employ.
Ideal for advanced undergraduate courses and first-year graduate courses in linear systems and multivariable system design, it is also a helpful resource for practicing engineers.
SUPPLEMENTS
Companion website at www.oup.com/us/chen contains PowerPoint-based versions of the figures from the text (available to adopters of the text)
An Instructor's Solutions Manual is available to adopters