Author: Larry Stillman
Publisher: Cambridge Scholars Publishing
ISBN: 1443811467
Category : Social Science
Languages : en
Pages : 390
Book Description
Community Informatics is a developing field which brings together understandings about the interaction of communities and information and communication technologies from fields as diverse as Management and Information Systems, Library and Information Sciences, Community Development, Sociology, or Social and Community Welfare. A key assumption of community informatics is that technologies can be used for positive social change and development, particularly with disadvantaged communities or communities that hitherto, have not had a public voice. The volume brings together international perspectives around defining and debating the idea of community memory which, as Alex Byrne, President of the International Federation of Library Associations and Institutions observed in his splendid and wide-ranging Introduction: "community memories are multilayered, changeable, conflicting and contested", and the multilayering, changeability and contest between different players provide fertile theoretical and practical ground for Community Informatics and its interdisciplinary cousins. "Community Informatics is an emerging new multi-disciplinary approach to the study of the intersection of communities and Information and Communication Technologies. This volume contains significant contributions from international practitioners and researchers in the fields of archives, record-keeping, community knowledge management, emerging information and communication technologies, history, community development-virtual as well as real-and Community Informatics as a growing discipline. The content of the book is a unique contribution in the field. The volume will be read by researchers, and communities interested in how they communicate their past, present, and future." —Professor Emerita Gunilla Bradley Informatics School of ICT Royal Institute of Technology (KTH) Stockholm Sweden "Practitioners, researchers and theoreticians in Community Informatics will find a unique array of valuable perspectives in this book. It covers the interaction of communities, memories and technologies in a highly original way, with regard to its breadth and the number of case studies it presents. It incorporates contributions from 13 countries in all parts of our endangered planet, thus providing the international perspective that is critical to understanding how communities can use technology for societal good." —Professor Michel Menou. Les Rosiers sur Loire, France, Associate, Centre for Information Behaviour and the Evaluation of Research, University College London, London, United Kingdom
Constructing and Sharing Memory
Author: Larry Stillman
Publisher: Cambridge Scholars Publishing
ISBN: 1443811467
Category : Social Science
Languages : en
Pages : 390
Book Description
Community Informatics is a developing field which brings together understandings about the interaction of communities and information and communication technologies from fields as diverse as Management and Information Systems, Library and Information Sciences, Community Development, Sociology, or Social and Community Welfare. A key assumption of community informatics is that technologies can be used for positive social change and development, particularly with disadvantaged communities or communities that hitherto, have not had a public voice. The volume brings together international perspectives around defining and debating the idea of community memory which, as Alex Byrne, President of the International Federation of Library Associations and Institutions observed in his splendid and wide-ranging Introduction: "community memories are multilayered, changeable, conflicting and contested", and the multilayering, changeability and contest between different players provide fertile theoretical and practical ground for Community Informatics and its interdisciplinary cousins. "Community Informatics is an emerging new multi-disciplinary approach to the study of the intersection of communities and Information and Communication Technologies. This volume contains significant contributions from international practitioners and researchers in the fields of archives, record-keeping, community knowledge management, emerging information and communication technologies, history, community development-virtual as well as real-and Community Informatics as a growing discipline. The content of the book is a unique contribution in the field. The volume will be read by researchers, and communities interested in how they communicate their past, present, and future." —Professor Emerita Gunilla Bradley Informatics School of ICT Royal Institute of Technology (KTH) Stockholm Sweden "Practitioners, researchers and theoreticians in Community Informatics will find a unique array of valuable perspectives in this book. It covers the interaction of communities, memories and technologies in a highly original way, with regard to its breadth and the number of case studies it presents. It incorporates contributions from 13 countries in all parts of our endangered planet, thus providing the international perspective that is critical to understanding how communities can use technology for societal good." —Professor Michel Menou. Les Rosiers sur Loire, France, Associate, Centre for Information Behaviour and the Evaluation of Research, University College London, London, United Kingdom
Publisher: Cambridge Scholars Publishing
ISBN: 1443811467
Category : Social Science
Languages : en
Pages : 390
Book Description
Community Informatics is a developing field which brings together understandings about the interaction of communities and information and communication technologies from fields as diverse as Management and Information Systems, Library and Information Sciences, Community Development, Sociology, or Social and Community Welfare. A key assumption of community informatics is that technologies can be used for positive social change and development, particularly with disadvantaged communities or communities that hitherto, have not had a public voice. The volume brings together international perspectives around defining and debating the idea of community memory which, as Alex Byrne, President of the International Federation of Library Associations and Institutions observed in his splendid and wide-ranging Introduction: "community memories are multilayered, changeable, conflicting and contested", and the multilayering, changeability and contest between different players provide fertile theoretical and practical ground for Community Informatics and its interdisciplinary cousins. "Community Informatics is an emerging new multi-disciplinary approach to the study of the intersection of communities and Information and Communication Technologies. This volume contains significant contributions from international practitioners and researchers in the fields of archives, record-keeping, community knowledge management, emerging information and communication technologies, history, community development-virtual as well as real-and Community Informatics as a growing discipline. The content of the book is a unique contribution in the field. The volume will be read by researchers, and communities interested in how they communicate their past, present, and future." —Professor Emerita Gunilla Bradley Informatics School of ICT Royal Institute of Technology (KTH) Stockholm Sweden "Practitioners, researchers and theoreticians in Community Informatics will find a unique array of valuable perspectives in this book. It covers the interaction of communities, memories and technologies in a highly original way, with regard to its breadth and the number of case studies it presents. It incorporates contributions from 13 countries in all parts of our endangered planet, thus providing the international perspective that is critical to understanding how communities can use technology for societal good." —Professor Michel Menou. Les Rosiers sur Loire, France, Associate, Centre for Information Behaviour and the Evaluation of Research, University College London, London, United Kingdom
Shared-Memory Parallelism Can be Simple, Fast, and Scalable
Author: Julian Shun
Publisher: Morgan & Claypool
ISBN: 1970001909
Category : Computers
Languages : en
Pages : 500
Book Description
Parallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is notoriously difficult, and often requires significant expertise. To address this challenge, it is crucial to provide programmers with high-level tools to enable them to develop solutions easily, and at the same time emphasize the theoretical and practical aspects of algorithm design to allow the solutions developed to run efficiently under many different settings. This thesis addresses this challenge using a three-pronged approach consisting of the design of shared-memory programming techniques, frameworks, and algorithms for important problems in computing. The thesis provides evidence that with appropriate programming techniques, frameworks, and algorithms, shared-memory programs can be simple, fast, and scalable, both in theory and in practice. The results developed in this thesis serve to ease the transition into the multicore era. The first part of this thesis introduces tools and techniques for deterministic parallel programming, including means for encapsulating nondeterminism via powerful commutative building blocks, as well as a novel framework for executing sequential iterative loops in parallel, which lead to deterministic parallel algorithms that are efficient both in theory and in practice. The second part of this thesis introduces Ligra, the first high-level shared memory framework for parallel graph traversal algorithms. The framework allows programmers to express graph traversal algorithms using very short and concise code, delivers performance competitive with that of highly-optimized code, and is up to orders of magnitude faster than existing systems designed for distributed memory. This part of the thesis also introduces Ligra+, which extends Ligra with graph compression techniques to reduce space usage and improve parallel performance at the same time, and is also the first graph processing system to support in-memory graph compression. The third and fourth parts of this thesis bridge the gap between theory and practice in parallel algorithm design by introducing the first algorithms for a variety of important problems on graphs and strings that are efficient both in theory and in practice. For example, the thesis develops the first linear-work and polylogarithmic-depth algorithms for suffix tree construction and graph connectivity that are also practical, as well as a work-efficient, polylogarithmic-depth, and cache-efficient shared-memory algorithm for triangle computations that achieves a 2–5x speedup over the best existing algorithms on 40 cores. This is a revised version of the thesis that won the 2015 ACM Doctoral Dissertation Award.
Publisher: Morgan & Claypool
ISBN: 1970001909
Category : Computers
Languages : en
Pages : 500
Book Description
Parallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is notoriously difficult, and often requires significant expertise. To address this challenge, it is crucial to provide programmers with high-level tools to enable them to develop solutions easily, and at the same time emphasize the theoretical and practical aspects of algorithm design to allow the solutions developed to run efficiently under many different settings. This thesis addresses this challenge using a three-pronged approach consisting of the design of shared-memory programming techniques, frameworks, and algorithms for important problems in computing. The thesis provides evidence that with appropriate programming techniques, frameworks, and algorithms, shared-memory programs can be simple, fast, and scalable, both in theory and in practice. The results developed in this thesis serve to ease the transition into the multicore era. The first part of this thesis introduces tools and techniques for deterministic parallel programming, including means for encapsulating nondeterminism via powerful commutative building blocks, as well as a novel framework for executing sequential iterative loops in parallel, which lead to deterministic parallel algorithms that are efficient both in theory and in practice. The second part of this thesis introduces Ligra, the first high-level shared memory framework for parallel graph traversal algorithms. The framework allows programmers to express graph traversal algorithms using very short and concise code, delivers performance competitive with that of highly-optimized code, and is up to orders of magnitude faster than existing systems designed for distributed memory. This part of the thesis also introduces Ligra+, which extends Ligra with graph compression techniques to reduce space usage and improve parallel performance at the same time, and is also the first graph processing system to support in-memory graph compression. The third and fourth parts of this thesis bridge the gap between theory and practice in parallel algorithm design by introducing the first algorithms for a variety of important problems on graphs and strings that are efficient both in theory and in practice. For example, the thesis develops the first linear-work and polylogarithmic-depth algorithms for suffix tree construction and graph connectivity that are also practical, as well as a work-efficient, polylogarithmic-depth, and cache-efficient shared-memory algorithm for triangle computations that achieves a 2–5x speedup over the best existing algorithms on 40 cores. This is a revised version of the thesis that won the 2015 ACM Doctoral Dissertation Award.
Shared Memory Application Programming
Author: Victor Alessandrini
Publisher: Morgan Kaufmann
ISBN: 0128038209
Category : Computers
Languages : en
Pages : 557
Book Description
Shared Memory Application Programming presents the key concepts and applications of parallel programming, in an accessible and engaging style applicable to developers across many domains. Multithreaded programming is today a core technology, at the basis of all software development projects in any branch of applied computer science. This book guides readers to develop insights about threaded programming and introduces two popular platforms for multicore development: OpenMP and Intel Threading Building Blocks (TBB). Author Victor Alessandrini leverages his rich experience to explain each platform's design strategies, analyzing the focus and strengths underlying their often complementary capabilities, as well as their interoperability. The book is divided into two parts: the first develops the essential concepts of thread management and synchronization, discussing the way they are implemented in native multithreading libraries (Windows threads, Pthreads) as well as in the modern C++11 threads standard. The second provides an in-depth discussion of TBB and OpenMP including the latest features in OpenMP 4.0 extensions to ensure readers' skills are fully up to date. Focus progressively shifts from traditional thread parallelism to modern task parallelism deployed by modern programming environments. Several chapter include examples drawn from a variety of disciplines, including molecular dynamics and image processing, with full source code and a software library incorporating a number of utilities that readers can adapt into their own projects. - Designed to introduce threading and multicore programming to teach modern coding strategies for developers in applied computing - Leverages author Victor Alessandrini's rich experience to explain each platform's design strategies, analyzing the focus and strengths underlying their often complementary capabilities, as well as their interoperability - Includes complete, up-to-date discussions of OpenMP 4.0 and TBB - Based on the author's training sessions, including information on source code and software libraries which can be repurposed
Publisher: Morgan Kaufmann
ISBN: 0128038209
Category : Computers
Languages : en
Pages : 557
Book Description
Shared Memory Application Programming presents the key concepts and applications of parallel programming, in an accessible and engaging style applicable to developers across many domains. Multithreaded programming is today a core technology, at the basis of all software development projects in any branch of applied computer science. This book guides readers to develop insights about threaded programming and introduces two popular platforms for multicore development: OpenMP and Intel Threading Building Blocks (TBB). Author Victor Alessandrini leverages his rich experience to explain each platform's design strategies, analyzing the focus and strengths underlying their often complementary capabilities, as well as their interoperability. The book is divided into two parts: the first develops the essential concepts of thread management and synchronization, discussing the way they are implemented in native multithreading libraries (Windows threads, Pthreads) as well as in the modern C++11 threads standard. The second provides an in-depth discussion of TBB and OpenMP including the latest features in OpenMP 4.0 extensions to ensure readers' skills are fully up to date. Focus progressively shifts from traditional thread parallelism to modern task parallelism deployed by modern programming environments. Several chapter include examples drawn from a variety of disciplines, including molecular dynamics and image processing, with full source code and a software library incorporating a number of utilities that readers can adapt into their own projects. - Designed to introduce threading and multicore programming to teach modern coding strategies for developers in applied computing - Leverages author Victor Alessandrini's rich experience to explain each platform's design strategies, analyzing the focus and strengths underlying their often complementary capabilities, as well as their interoperability - Includes complete, up-to-date discussions of OpenMP 4.0 and TBB - Based on the author's training sessions, including information on source code and software libraries which can be repurposed
OpenMP Shared Memory Parallel Programming
Author: Michael J. Voss
Publisher: Springer
ISBN: 3540450092
Category : Computers
Languages : en
Pages : 280
Book Description
The refereed proceedings of the International Workshop on OpenMP Applications and Tools, WOMPAT 2003, held in Toronto, Canada in June 2003. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in sections on tools and tool technology, OpenMP implementations, OpenMP experience, and OpenMP on clusters.
Publisher: Springer
ISBN: 3540450092
Category : Computers
Languages : en
Pages : 280
Book Description
The refereed proceedings of the International Workshop on OpenMP Applications and Tools, WOMPAT 2003, held in Toronto, Canada in June 2003. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in sections on tools and tool technology, OpenMP implementations, OpenMP experience, and OpenMP on clusters.
Shared Memory Multiprocessing
Author: Norihisa Suzuki
Publisher: MIT Press
ISBN: 9780262193221
Category : Computers
Languages : en
Pages : 534
Book Description
Shared memory multiprocessors are becoming the dominant architecture for small-scale parallel computation. This book is the first to provide a coherent review of current research in shared memory multiprocessing in the United States and Japan. It focuses particularly on scalable architecture that will be able to support hundreds of microprocessors as well as on efficient and economical ways of connecting these fast microprocessors. The 20 contributions are divided into sections covering the experience to date with multiprocessors, cache coherency, software systems, and examples of scalable shared memory multiprocessors.
Publisher: MIT Press
ISBN: 9780262193221
Category : Computers
Languages : en
Pages : 534
Book Description
Shared memory multiprocessors are becoming the dominant architecture for small-scale parallel computation. This book is the first to provide a coherent review of current research in shared memory multiprocessing in the United States and Japan. It focuses particularly on scalable architecture that will be able to support hundreds of microprocessors as well as on efficient and economical ways of connecting these fast microprocessors. The 20 contributions are divided into sections covering the experience to date with multiprocessors, cache coherency, software systems, and examples of scalable shared memory multiprocessors.
Using OpenMP
Author: Barbara Chapman
Publisher: MIT Press
ISBN: 0262533022
Category : Computers
Languages : en
Pages : 378
Book Description
A comprehensive overview of OpenMP, the standard application programming interface for shared memory parallel computing—a reference for students and professionals. "I hope that readers will learn to use the full expressibility and power of OpenMP. This book should provide an excellent introduction to beginners, and the performance section should help those with some experience who want to push OpenMP to its limits." —from the foreword by David J. Kuck, Intel Fellow, Software and Solutions Group, and Director, Parallel and Distributed Solutions, Intel Corporation OpenMP, a portable programming interface for shared memory parallel computers, was adopted as an informal standard in 1997 by computer scientists who wanted a unified model on which to base programs for shared memory systems. OpenMP is now used by many software developers; it offers significant advantages over both hand-threading and MPI. Using OpenMP offers a comprehensive introduction to parallel programming concepts and a detailed overview of OpenMP. Using OpenMP discusses hardware developments, describes where OpenMP is applicable, and compares OpenMP to other programming interfaces for shared and distributed memory parallel architectures. It introduces the individual features of OpenMP, provides many source code examples that demonstrate the use and functionality of the language constructs, and offers tips on writing an efficient OpenMP program. It describes how to use OpenMP in full-scale applications to achieve high performance on large-scale architectures, discussing several case studies in detail, and offers in-depth troubleshooting advice. It explains how OpenMP is translated into explicitly multithreaded code, providing a valuable behind-the-scenes account of OpenMP program performance. Finally, Using OpenMP considers trends likely to influence OpenMP development, offering a glimpse of the possibilities of a future OpenMP 3.0 from the vantage point of the current OpenMP 2.5. With multicore computer use increasing, the need for a comprehensive introduction and overview of the standard interface is clear. Using OpenMP provides an essential reference not only for students at both undergraduate and graduate levels but also for professionals who intend to parallelize existing codes or develop new parallel programs for shared memory computer architectures.
Publisher: MIT Press
ISBN: 0262533022
Category : Computers
Languages : en
Pages : 378
Book Description
A comprehensive overview of OpenMP, the standard application programming interface for shared memory parallel computing—a reference for students and professionals. "I hope that readers will learn to use the full expressibility and power of OpenMP. This book should provide an excellent introduction to beginners, and the performance section should help those with some experience who want to push OpenMP to its limits." —from the foreword by David J. Kuck, Intel Fellow, Software and Solutions Group, and Director, Parallel and Distributed Solutions, Intel Corporation OpenMP, a portable programming interface for shared memory parallel computers, was adopted as an informal standard in 1997 by computer scientists who wanted a unified model on which to base programs for shared memory systems. OpenMP is now used by many software developers; it offers significant advantages over both hand-threading and MPI. Using OpenMP offers a comprehensive introduction to parallel programming concepts and a detailed overview of OpenMP. Using OpenMP discusses hardware developments, describes where OpenMP is applicable, and compares OpenMP to other programming interfaces for shared and distributed memory parallel architectures. It introduces the individual features of OpenMP, provides many source code examples that demonstrate the use and functionality of the language constructs, and offers tips on writing an efficient OpenMP program. It describes how to use OpenMP in full-scale applications to achieve high performance on large-scale architectures, discussing several case studies in detail, and offers in-depth troubleshooting advice. It explains how OpenMP is translated into explicitly multithreaded code, providing a valuable behind-the-scenes account of OpenMP program performance. Finally, Using OpenMP considers trends likely to influence OpenMP development, offering a glimpse of the possibilities of a future OpenMP 3.0 from the vantage point of the current OpenMP 2.5. With multicore computer use increasing, the need for a comprehensive introduction and overview of the standard interface is clear. Using OpenMP provides an essential reference not only for students at both undergraduate and graduate levels but also for professionals who intend to parallelize existing codes or develop new parallel programs for shared memory computer architectures.
Perspectives on Social Memory in Japan
Author: Yun Hui Tsu
Publisher: BRILL
ISBN: 9004213732
Category : Social Science
Languages : en
Pages : 264
Book Description
This collection of essays represents the first interdisciplinary study in English to consider social memory in Japan across a wide range of issues and phenomena. The volume examines a variety of memorialization subjects, including music and poetry, artefacts and tools, oral testimonies and written documents, ritual and ceremonies as well as art and artists.
Publisher: BRILL
ISBN: 9004213732
Category : Social Science
Languages : en
Pages : 264
Book Description
This collection of essays represents the first interdisciplinary study in English to consider social memory in Japan across a wide range of issues and phenomena. The volume examines a variety of memorialization subjects, including music and poetry, artefacts and tools, oral testimonies and written documents, ritual and ceremonies as well as art and artists.
Discursive Remembering
Author: Lucas M. Bietti
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110387468
Category : Literary Criticism
Languages : en
Pages : 151
Book Description
This book aims at building a bridge between the social and political aspects of remembering and the cognitive and discourse processes driving such activities. By analyzing these cognitive and discursive processes, Bietti explores practices of individual and collective remembering in institutional and private settings in relation to periods of political violence in Argentina. This books begins to fill the conceptual gap between cognitive oriented approaches to remembering that draw conclusions about how memory functions in the mind without a detailed discourse analysis of the communicative interaction in which this process unfolds, and the discourse and pragmatic oriented approaches that are mainly interested in analyzing the rhetorical features of conversational remembering, in some cases disregarding that there are underlying cognitive mechanisms that drive the construction of discourses about past experiences. The empirical analysis shows that individual and collective remembering in relation to periods of political violence in Argentina vary in pragmatic ways due to the fact that these accounts of the past were constructed with reference to the communicative situation. Thus, this book also aims at shedding new light on the current practices of commemoration and remembrance related to periods of political violence in Argentina, in public and private settings.
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110387468
Category : Literary Criticism
Languages : en
Pages : 151
Book Description
This book aims at building a bridge between the social and political aspects of remembering and the cognitive and discourse processes driving such activities. By analyzing these cognitive and discursive processes, Bietti explores practices of individual and collective remembering in institutional and private settings in relation to periods of political violence in Argentina. This books begins to fill the conceptual gap between cognitive oriented approaches to remembering that draw conclusions about how memory functions in the mind without a detailed discourse analysis of the communicative interaction in which this process unfolds, and the discourse and pragmatic oriented approaches that are mainly interested in analyzing the rhetorical features of conversational remembering, in some cases disregarding that there are underlying cognitive mechanisms that drive the construction of discourses about past experiences. The empirical analysis shows that individual and collective remembering in relation to periods of political violence in Argentina vary in pragmatic ways due to the fact that these accounts of the past were constructed with reference to the communicative situation. Thus, this book also aims at shedding new light on the current practices of commemoration and remembrance related to periods of political violence in Argentina, in public and private settings.
Tools and Algorithms for the Construction and Analysis of Systems
Author: Bernhard Steffen
Publisher: Springer Science & Business Media
ISBN: 9783540643562
Category : Computers
Languages : en
Pages : 484
Book Description
ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Publisher: Springer Science & Business Media
ISBN: 9783540643562
Category : Computers
Languages : en
Pages : 484
Book Description
ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Tools and Algorithms for the Construction and Analysis of Systems
Author: Parosh Aziz Abdulla
Publisher: Springer Science & Business Media
ISBN: 3642198341
Category : Computers
Languages : en
Pages : 409
Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.
Publisher: Springer Science & Business Media
ISBN: 3642198341
Category : Computers
Languages : en
Pages : 409
Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.