Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is "the highest goal of programming-language design to enable good ideas to be elegantly expressed" These are the words of Sir Charles Antony Richard Hoare, or Tony Hoare to his colleagues and friends, a man who has inspired generations of researchers in computer science. His work, grounded in practical programming, has had a profound impact on the evolution of the field. This includes the development of Hoare logic and Communicating Sequential Processes (CSP). Reflections on the Work of C.A.R. Hoare presents a comprehensive edited survey of all aspects of these subjects, with original contributions by more than 30 international leaders in the field. The book, while honoring Hoare's important contributions, assembles a collection of chapters showing the state of the art in programming languages, sequential programs, concurrency, and unified theories of programming. Topics and features: Provides a scientific biography of Tony Hoare Demonstrates a principled combination of CSP and functional programming, and a CSP semantics for the π-calculus Reviews methods for proving Hoare formulae Investigates developments in game semantics and semantics based on the state monad Examines the satisfiability problem, void safety, and issues of auxiliary variables Introduces type families in Haskell and a description of Quicksort in Orc Describes an experiment using the Tokeneer archive, and a correctness proof of cryptographic protocols based on the Shadow Security model Presents a representation of CSP as a bigraphical reactive system, and shows how simple entities can be related to CSP processes Discusses the problem-frames approach, and explores algebraic properties of the new programming combinators This accessible monograph is an ideal overview of theoretical and empirical evolution in programming logic and semantics of programming languages. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge in all of the areas covered.

Computer. Automation --- computers --- computergeschiedenis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computers --- PC hardware

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains 16 carefully selected papers originating from the Twin Workshops on Architecting Dependable Systems (WADS 2004) accomplished as part of the International Conference on Software Engineering (ICSE 2004) in Edinburgh, UK and of the International Conference on Dependable Systems and Networks (DSN 2004) in Florence, Italy. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability.

Computers. --- Software engineering. --- Operating systems (Computers). --- Theory of Computation. --- Software Engineering. --- Operating Systems.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

With the dawn of this new century, we are now on the verge of expanding the notion of what we mean to communicate. A new generation of "netizens" are poised to leverage the Internet for a myriad different applications that we have not envisioned thus far. This will require that the Internet be flexible and adapt to accommodate the requirements of next generation applications. This important and timely volume presents a comprehensive survey of the algorithms and methodologies presently used in the design and deployment of the Internet. Issues of network design, network operations and management, and emerging applications are discussed by a collection of experts on the algorithmic foundations of the Internet. Covering topics at the intersection of algorithms and networking, the book builds a complete picture of the current state of research on next generation networks and the challenges for the years ahead. Topics and features * Contains a Foreword by Charles R. Kalmanek, and contributions from leading researchers in the field * Outlines the goals for optimization in network design, considering optimizability of protocols and the optimum placement of network functionality, and presenting the idea of Valiant load balancing * Investigates the influence of physical network characteristics in the design of robust network services, covering algorithms used for optimal capacity provisioning in optical networks, spectrum management in wireless networks, cross-layer algorithms and resource allocation problems in cellular networks * Explores algorithms for overlay networks which consider the interactions of different overlay networks and take into account the coexistence of underlay services in the basic network infrastructure * Examines the challenge of processing packets at high speeds, surveying Hash-based techniques for high speed packet processing and fast packet pattern matching algorithms * Discusses the issue of network management in the face of ever increasing heterogeneity in applications, surveying anomaly detection approaches and network monitoring * Reviews the algorithmic techniques behind emerging applications, surveying the evolution of Internet search applications, online gaming and social networking Promoting a thorough understanding of the algorithms used by the Internet today as the critical basis for the development of new algorithms that will form the future Internet, this essential text will be of interest to a broad readership - from graduate students to researchers in data networking. Dr. Graham Cormode is a Technical Specialist at AT&T Labs Research. Dr. Marina Thottan is a Member of Technical Staff at Bell Labs Research.

Computer architecture. Operating systems --- computers --- computerbesturingssystemen --- OS (operating system) --- computernetwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is the proceedings from the ENUMATH 2009 conference in Uppsala, Sweden, in June 29- July 3, 2009, with about 100 papers by the invited speakers and the speakers in the minisymposia and contributed sessions. The volume gives an overview of contemporary techniques, algorithms and results in numerical mathematics, scientific computing and their applications. Examples of methods are finite element methods, multiscale methods, numerical linear algebra, and high performance computing algorithms applied to problems in fluid flow, materials, electromagnetics, and chemistry.

Mathematics --- Computer science --- Computer. Automation --- computers --- informatica --- wiskunde --- informaticaonderzoek