Yves Robert – författare
Visar alla böcker från författaren Yves Robert. Handla med fri frakt och snabb leverans.
28 produkter
28 produkter
Häftad, Engelska, 2020
748 kr
Skickas inom 10-15 vardagar
Focusing on algorithms for distributed-memory parallel architectures, Parallel Algorithms presents a rigorous yet accessible treatment of theoretical models of parallel computation, parallel algorithm design for homogeneous and heterogeneous platforms, complexity and performance analysis, and essential notions of scheduling. The book extracts fundamental ideas and algorithmic principles from the mass of parallel algorithm expertise and practical implementations developed over the last few decades.In the first section of the text, the authors cover two classical theoretical models of parallel computation (PRAMs and sorting networks), describe network models for topology and performance, and define several classical communication primitives. The next part deals with parallel algorithms on ring and grid logical topologies as well as the issue of load balancing on heterogeneous computing platforms. The final section presents basic results and approaches for common scheduling problems that arise when developing parallel algorithms. It also discusses advanced scheduling topics, such as divisible load scheduling and steady-state scheduling. With numerous examples and exercises in each chapter, this text encompasses both the theoretical foundations of parallel algorithms and practical parallel algorithm design.
E-bok
Engelska, 20131 593 kr
Läs direkt efter köp
Presenting a complementary perspective to standard books on algorithms, A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis provides a roadmap for readers to determine the difficulty of an algorithmic problem by finding an optimal solution or proving complexity results. It gives a practical treatment of algorithmic complexity and guides readers in solving algorithmic problems.
Divided into three parts, the book offers a comprehensive set of problems with solutions as well as in-depth case studies that demonstrate how to assess the complexity of a new problem.
Part I helps readers understand the main design principles and design efficient algorithms. Part II covers polynomial reductions from NP-complete problems and approaches that go beyond NP-completeness. Part III supplies readers with tools and techniques to evaluate problem complexity, including how to determine which instances are polynomial and which are NP-hard.
Drawing on the authors’ classroom-tested material, this text takes readers step by step through the concepts and methods for analyzing algorithmic complexity. Through many problems and detailed examples, readers can investigate polynomial-time algorithms and NP-completeness and beyond.
Inbunden, Engelska, 2000
1 123 kr
Skickas inom 10-15 vardagar
Readership This book is devoted to the study of compiler transformations that are needed to expose the parallelism hiddenin a program. This book is notan introductory book to parallel processing, nor is it an introductory book to parallelizing compilers. Weassume thatreaders are familiar withthebooks High Performance Compilers for Parallel Computingby Wolfe [121] and Super- compilers for Parallel and Vector Computers by Zima and Chapman [125], and that they want to know more about scheduling transformations. In this book we describe both task graph scheduling and loop nest scheduling. Taskgraphschedulingaims atexecuting tasks linked by prece- dence constraints; it is a run-time activity. Loop nest scheduling aims at ex- ecutingstatementinstances linked bydata dependences;it is a compile-time activity. We are mostly interested in loop nestscheduling,butwe also deal with task graph scheduling for two main reasons: (i) Beautiful algorithms and heuristics have been reported in the literature recently; and (ii) Several graphscheduling, like list scheduling, are the basis techniques used in task ofthe loop transformations implemented in loop nest scheduling.As for loop nest scheduling our goal is to capture in a single place the fantastic developments of the last decade or so. Dozens of loop trans- formations have been introduced (loop interchange, skewing, fusion, dis- tribution, etc.) before a unifying theory emerged. The theory builds upon the pioneering papers of Karp, Miller, and Winograd [65] and of Lam- port [75], and it relies on sophisticated mathematical tools (unimodular transformations, parametric integer linear programming, Hermite decom- position, Smithdecomposition, etc.).
Inbunden, Engelska, 2026
1 559 kr
Skickas inom 10-15 vardagar
This book is the first to provide an overview of variable capacity scheduling and how it helps balance the growth of computing with its increasing environmental impact by creating more resilient and efficient systems that adapt to the dynamic nature of resource availability, optimizing utilization and minimizing disruptions. The book covers all aspects of variable capacity scheduling from a technical and a societal perspective. It considers the new age of renewable power generation and how computing services can contribute to sustainability and grid decarbonization. Contributors investigate techniques that can be deployed for schedulers to cope with, or even benefit from, changes in the number of computing resources and the nature of the power sources. They survey emerging computing devices, such as edge servers, as alternatives to classical cloud computing platforms; they identify applications for monitoring energy and regulating power; and they investigate energy minimization and risk-aware scheduling in real-time systems, asking: ‘How can a server with a variable processing speed schedule jobs with hard deadlines while minimizing its energy consumption?’ The authors address the societal impact of computing, exploring how the social sciences play a critical role in solving the computing sustainability challenge and including a holistic analysis of current and future approaches, taking the whole life-cycle and rebound effects into account. Presenting all the corresponding challenges and opportunities of variable capacity scheduling, this is an excellent introduction to the topic for students, researchers, computing scientists, or concerned citizens interested in sustainability.
E-bok
Engelska, 2008852 kr
Läs direkt efter köp
Focusing on algorithms for distributed-memory parallel architectures, Parallel Algorithms presents a rigorous yet accessible treatment of theoretical models of parallel computation, parallel algorithm design for homogeneous and heterogeneous platforms, complexity and performance analysis, and essential notions of scheduling. The book extract
E-bok
Engelska, 20091 333 kr
Läs direkt efter köp
Full of practical examples, Introduction to Scheduling presents the basic concepts and methods, fundamental results, and recent developments of scheduling theory. With contributions from highly respected experts, it provides self-contained, easy-to-follow, yet rigorous presentations of the material.The book first classifies scheduling problems and
E-bok
PDF, Engelska, 20261 785 kr
Läs direkt efter köp
This book is the first to provide an overview of variable capacity scheduling and how it helps balance the growth of computing with its increasing environmental impact by creating more resilient and efficient systems that adapt to the dynamic nature of resource availability, optimizing utilization and minimizing disruptions. The book covers all aspects of variable capacity scheduling from a technical and a societal perspective. It considers the new age of renewable power generation and how computing services can contribute to sustainability and grid decarbonization. Contributors investigate techniques that can be deployed for schedulers to cope with, or even benefit from, changes in the number of computing resources and the nature of the power sources. They survey emerging computing devices, such as edge servers, as alternatives to classical cloud computing platforms; they identify applications for monitoring energy and regulating power; and they investigate energy minimization and risk-aware scheduling in real-time systems, asking: 'How can a server with a variable processing speed schedule jobs with hard deadlines while minimizing its energy consumption?' The authors address the societal impact of computing, exploring how the social sciences play a critical role in solving the computing sustainability challenge and including a holistic analysis of current and future approaches, taking the whole life-cycle and rebound effects into account. Presenting all the corresponding challenges and opportunities of variable capacity scheduling, this is an excellent introduction to the topic for students, researchers, computing scientists, or concerned citizens interested in sustainability.
E-bok
Engelska, 20261 850 kr
Läs direkt efter köp
This book is the first to provide an overview of variable capacity scheduling and how it helps balance the growth of computing with its increasing environmental impact by creating more resilient and efficient systems that adapt to the dynamic nature of resource availability, optimizing utilization and minimizing disruptions. The book covers all aspects of variable capacity scheduling from a technical and a societal perspective. It considers the new age of renewable power generation and how computing services can contribute to sustainability and grid decarbonization. Contributors investigate techniques that can be deployed for schedulers to cope with, or even benefit from, changes in the number of computing resources and the nature of the power sources. They survey emerging computing devices, such as edge servers, as alternatives to classical cloud computing platforms; they identify applications for monitoring energy and regulating power; and they investigate energy minimization and risk-aware scheduling in real-time systems, asking: 'How can a server with a variable processing speed schedule jobs with hard deadlines while minimizing its energy consumption?' The authors address the societal impact of computing, exploring how the social sciences play a critical role in solving the computing sustainability challenge and including a holistic analysis of current and future approaches, taking the whole life-cycle and rebound effects into account. Presenting all the corresponding challenges and opportunities of variable capacity scheduling, this is an excellent introduction to the topic for students, researchers, computing scientists, or concerned citizens interested in sustainability.
Häftad, Engelska, 2017
1 093 kr
Skickas inom 10-15 vardagar
Full of practical examples, Introduction to Scheduling presents the basic concepts and methods, fundamental results, and recent developments of scheduling theory. With contributions from highly respected experts, it provides self-contained, easy-to-follow, yet rigorous presentations of the material.The book first classifies scheduling problems and their complexity and then presents examples that demonstrate successful techniques for the design of efficient approximation algorithms. It also discusses classical problems, such as the famous makespan minimization problem, as well as more recent advances, such as energy-efficient scheduling algorithms. After focusing on job scheduling problems that encompass independent and possibly parallel jobs, the text moves on to a practical application of cyclic scheduling for the synthesis of embedded systems. It also proves that efficient schedules can be derived in the context of steady-state scheduling. Subsequent chapters discuss scheduling large and computer-intensive applications on parallel resources, illustrate different approaches of multi-objective scheduling, and show how to compare the performance of stochastic task-resource systems. The final chapter assesses the impact of platform models on scheduling techniques.From the basics to advanced topics and platform models, this volume provides a thorough introduction to the field. It reviews classical methods, explores more contemporary models, and shows how the techniques and algorithms are used in practice.
Inbunden, Engelska, 2009
3 058 kr
Skickas inom 10-15 vardagar
Full of practical examples, Introduction to Scheduling presents the basic concepts and methods, fundamental results, and recent developments of scheduling theory. With contributions from highly respected experts, it provides self-contained, easy-to-follow, yet rigorous presentations of the material.The book first classifies scheduling problems and their complexity and then presents examples that demonstrate successful techniques for the design of efficient approximation algorithms. It also discusses classical problems, such as the famous makespan minimization problem, as well as more recent advances, such as energy-efficient scheduling algorithms. After focusing on job scheduling problems that encompass independent and possibly parallel jobs, the text moves on to a practical application of cyclic scheduling for the synthesis of embedded systems. It also proves that efficient schedules can be derived in the context of steady-state scheduling. Subsequent chapters discuss scheduling large and computer-intensive applications on parallel resources, illustrate different approaches of multi-objective scheduling, and show how to compare the performance of stochastic task-resource systems. The final chapter assesses the impact of platform models on scheduling techniques.From the basics to advanced topics and platform models, this volume provides a thorough introduction to the field. It reviews classical methods, explores more contemporary models, and shows how the techniques and algorithms are used in practice.
Inbunden, Engelska, 2013
1 344 kr
Skickas inom 10-15 vardagar
Presenting a complementary perspective to standard books on algorithms, A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis provides a roadmap for readers to determine the difficulty of an algorithmic problem by finding an optimal solution or proving complexity results. It gives a practical treatment of algorithmic complexity and guides readers in solving algorithmic problems.Divided into three parts, the book offers a comprehensive set of problems with solutions as well as in-depth case studies that demonstrate how to assess the complexity of a new problem. Part I helps readers understand the main design principles and design efficient algorithms.Part II covers polynomial reductions from NP-complete problems and approaches that go beyond NP-completeness.Part III supplies readers with tools and techniques to evaluate problem complexity, including how to determine which instances are polynomial and which are NP-hard.Drawing on the authors’ classroom-tested material, this text takes readers step by step through the concepts and methods for analyzing algorithmic complexity. Through many problems and detailed examples, readers can investigate polynomial-time algorithms and NP-completeness and beyond.
E-bok
PDF, Engelska, 20131 537 kr
Läs direkt efter köp
Presenting a complementary perspective to standard books on algorithms, A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis provides a roadmap for readers to determine the difficulty of an algorithmic problem by finding an optimal solution or proving complexity results. It gives a practical treatment of algorithmic complexity and guides readers in solving algorithmic problems.
Divided into three parts, the book offers a comprehensive set of problems with solutions as well as in-depth case studies that demonstrate how to assess the complexity of a new problem.
Part I helps readers understand the main design principles and design efficient algorithms. Part II covers polynomial reductions from NP-complete problems and approaches that go beyond NP-completeness. Part III supplies readers with tools and techniques to evaluate problem complexity, including how to determine which instances are polynomial and which are NP-hard.
Drawing on the authors’ classroom-tested material, this text takes readers step by step through the concepts and methods for analyzing algorithmic complexity. Through many problems and detailed examples, readers can investigate polynomial-time algorithms and NP-completeness and beyond.
E-bok
PDF, Engelska, 20121 459 kr
Läs direkt efter köp
Häftad, Engelska, 2012
1 123 kr
Skickas inom 10-15 vardagar
Readership This book is devoted to the study of compiler transformations that are needed to expose the parallelism hiddenin a program. This book is notan introductory book to parallel processing, nor is it an introductory book to parallelizing compilers. Weassume thatreaders are familiar withthebooks High Performance Compilers for Parallel Computingby Wolfe [121] and Super- compilers for Parallel and Vector Computers by Zima and Chapman [125], and that they want to know more about scheduling transformations. In this book we describe both task graph scheduling and loop nest scheduling. Taskgraphschedulingaims atexecuting tasks linked by prece- dence constraints; it is a run-time activity. Loop nest scheduling aims at ex- ecutingstatementinstances linked bydata dependences;it is a compile-time activity. We are mostly interested in loop nestscheduling,butwe also deal with task graph scheduling for two main reasons: (i) Beautiful algorithms and heuristics have been reported in the literature recently; and (ii) Several graphscheduling, like list scheduling, are the basis techniques used in task ofthe loop transformations implemented in loop nest scheduling.As for loop nest scheduling our goal is to capture in a single place the fantastic developments of the last decade or so. Dozens of loop trans- formations have been introduced (loop interchange, skewing, fusion, dis- tribution, etc.) before a unifying theory emerged. The theory builds upon the pioneering papers of Karp, Miller, and Winograd [65] and of Lam- port [75], and it relies on sophisticated mathematical tools (unimodular transformations, parametric integer linear programming, Hermite decom- position, Smithdecomposition, etc.).
Inbunden, Engelska, 2008
1 533 kr
Skickas inom 10-15 vardagar
Focusing on algorithms for distributed-memory parallel architectures, Parallel Algorithms presents a rigorous yet accessible treatment of theoretical models of parallel computation, parallel algorithm design for homogeneous and heterogeneous platforms, complexity and performance analysis, and essential notions of scheduling. The book extracts fundamental ideas and algorithmic principles from the mass of parallel algorithm expertise and practical implementations developed over the last few decades.In the first section of the text, the authors cover two classical theoretical models of parallel computation (PRAMs and sorting networks), describe network models for topology and performance, and define several classical communication primitives. The next part deals with parallel algorithms on ring and grid logical topologies as well as the issue of load balancing on heterogeneous computing platforms. The final section presents basic results and approaches for common scheduling problems that arise when developing parallel algorithms. It also discusses advanced scheduling topics, such as divisible load scheduling and steady-state scheduling. With numerous examples and exercises in each chapter, this text encompasses both the theoretical foundations of parallel algorithms and practical parallel algorithm design.
Häftad, Franska, 2016
192 kr
Skickas inom 5-8 vardagar
Häftad, Franska, 2016
198 kr
Skickas inom 5-8 vardagar
E-bok
PDF, Tyska, 20152 283 kr
Läs direkt efter köp
Störungen des Augeninnendrucks können zu gravierenden Augenerkrankungen wie z.B. dem Glaukom führen. Das Verständnis für die Entstehung des Augeninnendrucks und dessen klinische Bedeutung als Kreislaufparameter ist daher für die Früherkennung von Augeninnendruckstörungen unerlässlich.
Dieses Buch vermittelt grundlegende Kenntnisse der Entstehung von Augeninnendruckstörungen im klinischen Gesamtzusammenhang. Folgende Fragen werden beantwortet:
Wie kommt der Augeninnendruck zustande? Wie kann man ihn diagnostisch als Hilfsmittel einsetzen? Welche Aussagekraft hat er? Wie ist der Augeninnendruck mit dem allgemeinen Kreislauf verknüpft? Wie ist der Augeninnendruck mit dem Hirnkreislauf verknüpft? Wie ist der Augeninnendruck mit dem Liquor cerebrospinalis verknüpft?Darüber hinaus werden Methoden zur korrekten Messung des Augeninnendrucks umfassend erläutert und die geschichtliche Entwicklung der verschiedenen Messmethoden dargestellt.
E-bok
Tyska, 20152 346 kr
Läs direkt efter köp
Störungen des Augeninnendrucks können zu gravierenden Augenerkrankungen wie z.B. dem Glaukom führen. Das Verständnis für die Entstehung des Augeninnendrucks und dessen klinische Bedeutung als Kreislaufparameter ist daher für die Früherkennung von Augeninnendruckstörungen unerlässlich.
Dieses Buch vermittelt grundlegende Kenntnisse der Entstehung von Augeninnendruckstörungen im klinischen Gesamtzusammenhang. Folgende Fragen werden beantwortet:
Wie kommt der Augeninnendruck zustande? Wie kann man ihn diagnostisch als Hilfsmittel einsetzen? Welche Aussagekraft hat er? Wie ist der Augeninnendruck mit dem allgemeinen Kreislauf verknüpft? Wie ist der Augeninnendruck mit dem Hirnkreislauf verknüpft? Wie ist der Augeninnendruck mit dem Liquor cerebrospinalis verknüpft?Darüber hinaus werden Methoden zur korrekten Messung des Augeninnendrucks umfassend erläutert und die geschichtliche Entwicklung der verschiedenen Messmethoden dargestellt.
Inbunden, Tyska, 2015
1 969 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2015
1 123 kr
Skickas inom 10-15 vardagar
This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC). The text opens with a detailed introduction to the concepts of checkpoint protocols and scheduling algorithms, prediction, replication, silent error detection and correction, together with some application-specific techniques such as ABFT. Emphasis is placed on analytical performance models. This is then followed by a review of general-purpose techniques, including several checkpoint and rollback recovery protocols. Relevant execution scenarios are also evaluated and compared through quantitative models. Features: provides a survey of resilience methods and performance models; examines the various sources for errors and faults in large-scale systems; reviews the spectrum of techniques that can be applied to design a fault-tolerant MPI; investigates different approaches to replication; discusses the challenge of energy consumption of fault-tolerance methods in extreme-scale systems.
E-bok
PDF, Engelska, 20151 367 kr
Läs direkt efter köp
This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC). The text opens with a detailed introduction to the concepts of checkpoint protocols and scheduling algorithms, prediction, replication, silent error detection and correction, together with some application-specific techniques such as ABFT. Emphasis is placed on analytical performance models. This is then followed by a review of general-purpose techniques, including several checkpoint and rollback recovery protocols. Relevant execution scenarios are also evaluated and compared through quantitative models. Features: provides a survey of resilience methods and performance models; examines the various sources for errors and faults in large-scale systems; reviews the spectrum of techniques that can be applied to design a fault-tolerant MPI; investigates different approaches to replication; discusses the challenge of energy consumption of fault-tolerance methods in extreme-scale systems.
Häftad, Engelska, 2016
1 091 kr
Skickas inom 10-15 vardagar
This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC). The text opens with a detailed introduction to the concepts of checkpoint protocols and scheduling algorithms, prediction, replication, silent error detection and correction, together with some application-specific techniques such as ABFT. Emphasis is placed on analytical performance models. This is then followed by a review of general-purpose techniques, including several checkpoint and rollback recovery protocols. Relevant execution scenarios are also evaluated and compared through quantitative models. Features: provides a survey of resilience methods and performance models; examines the various sources for errors and faults in large-scale systems; reviews the spectrum of techniques that can be applied to design a fault-tolerant MPI; investigates different approaches to replication; discusses the challenge of energy consumption of fault-tolerance methods in extreme-scale systems.
Häftad, Engelska, 1992
565 kr
Skickas inom 10-15 vardagar
This volume presents the proceedings of the joint meetingCONPAR 92 - VAPP V, held in Lyon, France, September 1992.The international Conferences on Parallel Processing(CONPAR) and the meetings on Vector and Parallel Processorsin computational science (VAPP) have been held jointly sinceCONPAR 90 - VAPP IV, held in Zurich.The aim of the meeting presented in this volume is to reviewhardware and architecture developmentstogether withlanguages and software tools for supporting parallelprocessing and to highlight advances in models, algorithms,andapplications software on vector and parallelarchitectures. The papers in the volume are organized intosections on networks, software tools, distributedalgorithms, dedicated architectures, numerical applications,systolic algorithms, parallel linear algebra, architectures,shared virtual memory, load balancing, data parallelism,parallel algorithms, image processing, compiling andscheduling, simulation and performance analysis, parallelartificialintelligence, dataflow architectures, parallelprogramming, and poster presentations.
Häftad, Engelska, 1996
1 125 kr
Skickas inom 10-15 vardagar
This two-volume set presents the proceedings of the Second International European Conference on Parallel Processing, EuroPar '96, held in Lyon, France, in August 1996.EuroPar '96 was organized in 14 workshops covering the whole spectrum of parallel processing. The comprehensive proceedings constitute a unique record of the state of the art in parallel processing research and development: the 224 papers included together with four invited papers were selected from a total of 383 submissions by authors from 40 countries; 554 referees were involved in the selection process and the index lists 521 contributing authors.
Häftad, Engelska, 1996
1 125 kr
Skickas inom 10-15 vardagar
This two-volume set presents the proceedings of the Second International European Conference on Parallel Processing, EuroPar '96, held in Lyon, France, in August 1996.EuroPar '96 was organized in 14 workshops covering the whole spectrum of parallel processing. The comprehensive proceedings constitute a unique record of the state of the art in parallel processing research and development: the 224 papers included together with four invited papers were selected from a total of 383 submissions by authors from 40 countries; 554 referees were involved in the selection process and the index lists 521 contributing authors.
E-bok
PDF, Franska, 20212 304 kr
Läs direkt efter köp
Cette quatrième édition de l'ouvrage publié la première fois en 1997 a été entièrement remaniée et largement complétée. Elle couvre les procédures contentieuses et non contentieuses dans les impôts directs et indirects. Les auteurs partagent le résultat de leurs recherches et de leur expérience dans ce domaine peu exploré de la procédure fiscale, soit des modalités de mise en oeuvre et de contrôle du droit de fond. Après un rappel des principes généraux du droit administratif utiles pour l'analyse et l'application du droit fiscal, ils passent en revue les procédures non contentieuses des différents impôts, en analysant le processus fiscal des moyens de faire valoir ses droits et de remplir ses obligations fiscales jusqu'à la décision. Ils examinent ensuite la procédure contentieuse, les questions liées à la créance fiscale, ainsi que les aspects de droit pénal. La présente édition a été étoffée avec un nouveau chapitre relatif à l'échange d'informations en matière internationale.
E-bok
Engelska, 2009761 kr
Läs direkt efter köp
Full of practical examples, Introduction to Scheduling presents the basic concepts and methods, fundamental results, and recent developments of scheduling theory. With contributions from highly respected experts, it provides self-contained, easy-to-follow, yet rigorous presentations of the material.The book first classifies scheduling problems and