Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues)

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues) Review

See more picture

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues) Feature

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008.

The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Check price now

Rerate Products

Customer Review

Algorithms and Computation: 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Algorithms and Computation: 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Review

See more picture

Algorithms and Computation: 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC 2007, held in Sendai, Japan, in December 2007.

The 77 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 220 submissions. The papers are organized in topical sections on graph algorithms, computational geometry, complexity, graph drawing, distributed algorithms, optimization, data structure, game theory, database applications, online algorithms, I/O algorithms, networks, geometric applications, and string.

Check price now

Rerate Products

Customer Review

Network and Parallel Computing: IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Network and Parallel Computing: IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Review

See more picture

Network and Parallel Computing: IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the IFIP International Conference on Network and Parallel Computing, NPC 2008, held in Shanghai, China in October 2008.

The 32 revised full papers presented were carefully selected from over 140 submissions. The papers are organized in topical sections on network technologies; network applications; network and parallel architectures; parallel and distributed software.

Check price now

Rerate Products

Customer Review

Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers ... Computer Science and General Issues)

Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers ... Computer Science and General Issues) Review

See more picture

Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers ... Computer Science and General Issues) Feature

This book constitutes the revised selected papers of the 20th International Workshop on Combinatorial Algorithms, held in June/July 2009 in the castle of Hradec nad Moravicí, Czech Republic.

The 41 papers included in this volume together with 5 invited papers were carefully reviewed and selected from over 100 submissions. The topics dealt with are algorithms and data structures, applications, combinatorial enumeration, combinatorial optimization, complexity theory, computational biology, databases, decompositions and combinatorial designs, discrete and computational geometry, including graph drawing, and graph theory and combinatorics.

Check price now

Rerate Products

Customer Review

Active Regulation: General Systems Design Principles (General Systems Thinking)

Active Regulation: General Systems Design Principles (General Systems Thinking) Review

See more picture

Active Regulation: General Systems Design Principles (General Systems Thinking) Feature

Active Regulation is Volume 3 in the General Systems Thinking series that begins with the world-wide best-selling, An Introduction to General Systems Thinking. (also available in ebook formats) That first series volume focused on the question,"Why do we see what we see?" The second and third books tackle the next question, namely "Why do things stay the same?"

Most people take for granted the stability they see in the world, but for systems thinkers, stability is one of the most fundamental properties, and puzzles, about the systems they struggle to understand and create. Indeed, it's such a fundamental property that it forms the topic of both this volume and its predecessor, Passive Regulation (Volume 2 in the series).

Originally part of the book, On the Design of Stable Systems, in its first, hardcover incarnation, Active Regulation does not just focus on computer systems, but systems of all kinds—human, natural, and technological.

In a highly readable, original presentation the Weinbergs here explore the subtle art and science of regulating systems, projects, and people in the most efficient and logical manner possible. The authors draw on their respective backgrounds in technology and social science to offer fresh insights and translate them into a language that anyone can understand.

In the course of this presentation, and with the help of dozens of figures, the Weinbergs introduce a host of laws and theorems derived from the best thinking of systems thinkers over the past century. For the most part, the regulation schemes examined in this volume are based on error-controlled regulation—in many ways the most effective of all regulation strategies.

Chapters include:
• The Search for Regulation
• The Homeostatic Heuristics
• Other Regulatory Heuristics
• Types of Regulatory Mechanisms
• Regulation and Environment
• When the Model Fails
• Making Regulation Mysterious
• Overly Simple Views of Regulation
• Blindness and Reversed Vision
The book also contains an extensive bibliography and an appendix explaining some useful mathematical notation.

In addition to being a reference book for professional and lay people alike, Active Regulation is suitable as an undergraduate text in the humanities, social, natural, and engineering sciences. It is unique in its approach, highly readable, and offers practical ways of solving problems.

Check price now

Rerate Products

Customer Review

Passive Regulation: General Systems Design Principles (General Systems Thinking)

Passive Regulation: General Systems Design Principles (General Systems Thinking) Review

See more picture

Passive Regulation: General Systems Design Principles (General Systems Thinking) Feature

Passive Regulation is Volume 2 in the General Systems Thinking series that begins with the world-wide best-selling, An Introduction to General Systems Thinking. (also available in ebook formats) That first series volume focused on the question,"Why do we see what we see?" This second books tackles the next question, namely "Why do things stay the same?"

Most people take for granted the stability they see in the world, but for systems thinkers, stability is one of the most fundamental properties, and puzzles, about the systems they struggle to understand and create. Indeed, it's such a fundamental property that it forms the topic of both this volume and its successor, Active Regulation (Volume 3 in the series).

Originally part of the book, On the Design of Stable Systems, in its first, hardcover incarnation, Passive Regulation does not just focus on computer systems, but systems of all kinds—human, natural, and technological.

In a highly readable, original presentation the Weinbergs here explore the subtle art and science of regulating systems, projects, and people in the most efficient and logical manner possible. The authors draw on their respective backgrounds in technology and social science to offer fresh insights and translate them into a language that anyone can understand.

In the course of this presentation, and with the help of dozens of figures, the Weinbergs introduce a host of laws and theorems derived from the best thinking of systems thinkers over the past century. For the most part, the regulation schemes examined in this volume are based on redundancy—the simplest, yet in many ways the most subtle, of all regulation strategies.

Chapters include:
• The Problem of Persistence
• Aggregates
• Birth-Free Aggregates
• Reasoning About Aggregates
• Modeling Differentiated Aggregates
• Programs for Models of Differentiated Aggregates
• Structure and Behavior of Aggregates
• The Structure-Regulation Law
The book also contains an extensive bibliography and an appendix explaining some useful mathematical notation.

In addition to being a reference book for professional and lay people alike, Passive Regulation is suitable as an undergraduate text in the humanities, social, natural, and engineering sciences. It is unique in its approach, highly readable, and offers practical ways of solving problems.

Check price now

Rerate Products

Customer Review

Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Review

See more picture

Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Feature

Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science. Examples of scheduled transportation include bus, ferry, airline, and railway networks, with the latter being a prime application domain that provides a fair amount of the most complex and largest instances of such optimization problems. Scheduled transport optimization deals with planning and scheduling problems over several time horizons, and substantial progress has been made for strategic planning and scheduling problems in all transportation domains.

This state-of-the-art survey presents the outcome of an open call for contributions asking for either research papers or state-of-the-art survey articles. We received 24 submissions that underwent two rounds of the standard peer-review process, out of which 18 were finally accepted for publication.

The volume is organized in four parts: Robustness and Recoverability, Robust Timetabling and Route Planning, Robust Planning Under Scarce Resources, and Online Planning: Delay and Disruption Management.

Check price now

Rerate Products

Customer Review

Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Review

See more picture

Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the Second Latin-American Symposium on Dependable Computing, LADC 2005, held in Salvador, Brazil, in October 2005. The 16 revised full papers presented together with 3 invited talks, and outlines of 2 workshops and 3 tutorials, were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.

Check price now

Rerate Products

Customer Review

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues)

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues) Review

See more picture

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions. The papers are organized in topical sections on regular model-checking, infinite state machines, abstract interpretation, automata and logics, probabilistic systems and probabilistic model checking, satisfiability, testing, abstraction and reduction, specification and program synthesis, and model-checking.

Check price now

Rerate Products

Customer Review

Guidelines for Failure Mode and Effects Analysis (FMEA), for Automotive, Aerospace, and General Manufacturing Industries

Guidelines for Failure Mode and Effects Analysis (FMEA), for Automotive, Aerospace, and General Manufacturing Industries Review

See more picture

Guidelines for Failure Mode and Effects Analysis (FMEA), for Automotive, Aerospace, and General Manufacturing Industries Feature

These guidelines form a comprehensive overview of Failure Mode and Effects Analysis (FMEA) and examines why FMEA has become a powerful and respected analytical technique for effectively managing and reducing risks. Readers learn how to use FMEA throughout the life cycles of their product to improve customer satisfaction and assure safety and regulatory compliance. They will obtain sound advice on selecting a study team, setting up and conducting a study, and analyzing the results. Other topics include Failure Mode, Effects, and Criticality Analysis, Risk Management Planning, Advanced Quality Planning, Product Quality Control Plans, and Dynamic Control Plans.

Check price now

Rerate Products

Customer Review