Books in Computer systems organization general

Web Caching and Content Delivery

1st Edition
December 14, 2001
A. Bestavros + 1 more
English
eBook
9 7 8 0 4 4 4 5 9 6 0 4 8

The International Web Content Caching and Distribution Workshop (WCW) is a premiere technical meeting for researchers and practitioners interested in all aspects of content caching, distribution and delivery on the Internet. The 2001 WCW meeting was held on the Boston University Campus. Building on the successes of the five previous WCW meetings, WCW01 featured a strong technical program and record participation from leading researchers and practitioners in the field. This book consists of all the technical papers presented at WCW'01. It includes 20 full papers and four R&D synopses that were presented at the workshop.The collection reflects the latest research in this important area, including such topics as Content Delivery Networks (CDNs), tools and methodology of performance measurements, Web characterization as relates to caching and content distribution, scalable web server architectures, cache prefetching, emerging new edge services, and delivery of streaming content.

The Designer's Guide to VHDL

2nd Edition
May 29, 2001
Peter J. Ashenden
English
eBook
9 7 8 0 0 8 0 4 7 7 1 5 2

Since the publication of the first edition of The Designer's Guide to VHDL in 1996, digital electronic systems have increased exponentially in their complexity, product lifetimes have dramatically shrunk, and reliability requirements have shot through the roof. As a result more and more designers have turned to VHDL to help them dramatically improve productivity as well as the quality of their designs.VHDL, the IEEE standard hardware description language for describing digital electronic systems, allows engineers to describe the structure and specify the function of a digital system as well as simulate and test it before manufacturing. In addition, designers use VHDL to synthesize a more detailed structure of the design, freeing them to concentrate on more strategic design decisions and reduce time to market. Adopted by designers around the world, the VHDL family of standards have recently been revised to address a range of issues, including portability across synthesis tools.This best-selling comprehensive tutorial for the language and authoritative reference on its use in hardware design at all levels--from system to gates--has been revised to reflect the new IEEE standard, VHDL-2001. Peter Ashenden, a member of the IEEE VHDL standards committee, presents the entire description language and builds a modeling methodology based on successful software engineering techniques. Reviewers on Amazon.com have consistently rated the first edition with five stars. This second edition updates the first, retaining the authors unique ability to teach this complex subject to a broad audience of students and practicing professionals.

Wireless Communications Design Handbook

1st Edition
October 2, 1998
Reinaldo Perez
English
eBook
9 7 8 0 0 8 0 5 4 3 8 2 6

Volume One of the Wireless Communications Design Handbook provides an in-depth look at interference problems in satellite communications. The material presented is from a satellite or spacecraft hardware point of view rather than from theoretical models. Each satellite subsystem is described in detail to point out interference and noise problems associated with it. The book also addresses typical architectures and hardware design issues in satellites. In addition, a detailed look at space interference is discussed with emphasis on the possible impact on satellite electronics.

Parallel Computing: Fundamentals, Applications and New Directions

1st Edition
Volume 12
July 22, 1998
E.H. D'Hollander + 3 more
English
eBook
9 7 8 0 0 8 0 5 5 2 0 9 5

This volume gives an overview of the state-of-the-art with respect to the development of all types of parallel computers and their application to a wide range of problem areas. The international conference on parallel computing ParCo97 (Parallel Computing 97) was held in Bonn, Germany from 19 to 22 September 1997. The first conference in this biannual series was held in 1983 in Berlin. Further conferences were held in Leiden (The Netherlands), London (UK), Grenoble (France) and Gent (Belgium). From the outset the aim with the ParCo (Parallel Computing) conferences was to promote the application of parallel computers to solve real life problems. In the case of ParCo97 a new milestone was reached in that more than half of the papers and posters presented were concerned with application aspects. This fact reflects the coming of age of parallel computing. Some 200 papers were submitted to the Program Committee by authors from all over the world. The final programme consisted of four invited papers, 71 contributed scientific/industria... papers and 45 posters. In addition a panel discussion on Parallel Computing and the Evolution of Cyberspace was held. During and after the conference all final contributions were refereed. Only those papers and posters accepted during this final screening process are included in this volume. The practical emphasis of the conference was accentuated by an industrial exhibition where companies demonstrated the newest developments in parallel processing equipment and software. Speakers from participating companies presented papers in industrial sessions in which new developments in parallel computing were reported.

Brain Theory

1st Edition
August 6, 1996
A. Aertsen + 1 more
English
eBook
9 7 8 0 0 8 0 5 2 8 2 9 8

The present collection of papers focuses on the subject of vision. The papers bring together new insights and facts from various branches of experimental and theoretical neuroscience. The experimental facts presented in the volume stem from disparate fields, such as neuroanatomy, electrophysiology, optical imaging and psychophysics. The theoretical models in part are unsophisticated, yet still inspiring, while others skilfully apply advanced mathematical reasoning to results of experimental measurements. The book is the fifth in a series of volumes intending to define a theory of the brain by bringing together formal reasoning and experimental facts. The reader is thus being introduced to a new kind of brain science, where facts and theory are beginning to blend together.

Distributed Algorithms

1st Edition
March 1, 1996
Nancy A. Lynch
English
Hardback
9 7 8 1 5 5 8 6 0 3 4 8 6
eBook
9 7 8 0 0 8 0 5 0 4 7 0 4

In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.Distribu... Algorithms contains the most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting. The algorithms are proved correct, and their complexity is analyzed according to precisely defined complexity measures. The problems covered include resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election, global snapshots, and many others.The material is organized according to the system model—first by the timing model and then by the interprocess communication mechanism. The material on system models is isolated in separate chapters for easy reference.The presentation is completely rigorous, yet is intuitive enough for immediate comprehension. This book familiarizes readers with important problems, algorithms, and impossibility results in the area: readers can then recognize the problems when they arise in practice, apply the algorithms to solve them, and use the impossibility results to determine whether problems are unsolvable. The book also provides readers with the basic mathematical tools for designing new algorithms and proving new impossibility results. In addition, it teaches readers how to reason carefully about distributed algorithms—to model them formally, devise precise specifications for their required behavior, prove their correctness, and evaluate their performance with realistic measures.

High Performance Computing: Technology, Methods and Applications

1st Edition
Volume 10
September 13, 1995
J.J. Dongarra + 3 more
English
eBook
9 7 8 0 0 8 0 5 5 3 9 1 7

High Performance Computing is an integrated computing environment for solving large-scale computational demanding problems in science, engineering and business. Newly emerging areas of HPC applications include medical sciences, transportation, financial operations and advanced human-computer interface such as virtual reality. High performance computing includes computer hardware, software, algorithms, programming tools and environments, plus visualization.The book addresses several of these key components of high performance technology and contains descriptions of the state-of-the-art computer architectures, programming and software tools and innovative applications of parallel computers. In addition, the book includes papers on heterogeneous network-based computing systems and scalability of parallel systems.The reader will find information and data relative to the two main thrusts of high performance computing: the absolute computational performance and that of providing the most cost effective and affordable computing for science, industry and business. The book is recommended for technical as well as management oriented individuals.

HRT-HOOD™: A Structured Design Method for Hard Real-Time Ada Systems

1st Edition
Volume 3
April 7, 1995
A. Burns + 1 more
English
eBook
9 7 8 0 0 8 0 5 5 1 8 3 8

The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible in the spacecraft development life cycle.The European Space Agency has, for a number of years, encouraged the development of software using HOOD. It was thus a natural next step to investigate the incorporation of time within the existing HOOD framework. This has proven to be very beneficial and this book describes the approach developed by the authors for handling Hard Real-Time applications. It describes both the background scheduling theory, provides practical examples of its application to real life problems, and demonstrates how it is used in the various phases of the development of Hard Real-Time systems.

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

1st Edition
January 1, 1995
Dan Craigen + 1 more
English
eBook
9 7 8 1 4 3 7 7 2 8 1 7 0

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal methods to date; and À To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.

Parallel Computing Works!

1st Edition
May 1, 1994
Geoffrey C. Fox + 2 more
English
eBook
9 7 8 0 0 8 0 5 1 3 5 1 5

A clear illustration of how parallel computers can be successfully appliedto large-scale scientific computations. This book demonstrates how avariety of applications in physics, biology, mathematics and other scienceswere implemented on real parallel computers to produce new scientificresults. It investigates issues of fine-grained parallelism relevant forfuture supercomputers with particular emphasis on hypercube architecture.The authors describe how they used an experimental approach to configuredifferent massively parallel machines, design and implement basic systemsoftware, and develop algorithms for frequently used mathematicalcomputat... They also devise performance models, measure the performancecharacter... of several computers, and create a high-performancecomp... facility based exclusively on parallel computers. By addressingall issues involved in scientific problem solving, Parallel ComputingWorks! provides valuable insight into computational science for large-scaleparallel architectures. For those in the sciences, the findings reveal theusefulness of an important experimental tool. Anyone in supercomputing andrelated computational fields will gain a new perspective on the potentialcontributio... of parallelism. Includes over 30 full-color illustrations.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health