Error Control Systems for Digital Communication and Storage

Error Control Systems for Digital Communication and Storage Review

See more picture

Error Control Systems for Digital Communication and Storage Feature

This introductory book on error control coding focuses on key implementation issues and performance analysis with applications valuable to both mathematicians and engineers.FEATURES: * features a complete discussion of punctured convolutional codes. * includes full-chapter coverage of performance analysis of block codes, including code performance over the fading channel (i.e., cellular mobile phone systems). * examines system implementation issues for the Viterbi Decoder and the various decoders for Reed-Solomon and BCH codes. * devotes two full chapters to the theory of finite fields. * features the most current research results on error control for channels with feedback. * includes an entire chapter on trellis coded modulation. * includes historical background and emphasizes practical, up-to-date applications (i.e., the space program) for all key areas in the book.

Check price now

Rerate Products

Customer Review

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools Review

See more picture

Systems and Software Verification: Model-Checking Techniques and Tools Feature

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

Check price now

Rerate Products

Customer Review

Stochastic Network Calculus (Computer Communications and Networks)

Stochastic Network Calculus (Computer Communications and Networks) Review

See more picture

Stochastic Network Calculus (Computer Communications and Networks) Feature

The development of an information theory for stochastic service guarantee analysis has been identified as a grand challenge for future networking research. Towards it, Stochastic Network Calculus, the probabilistic version or generalization of the (deterministic) Network Calculus, has been recognized by researchers as a crucial step. This book is devoted to a comprehensive treatment of this active research area, which covers the results from the authors as well as other researchers in this area. This book presents an overall picture for the state of the art of stochastic QoS analysis research by providing basic introductory material on the subject as well as discussing the most recent research in the area. Topics covered include Traffic Models and Server Models for Stochastic Network Calculus, and Independent Case Analysis and its applications. Researchers and graduates in the area of performance evaluation of computer communication networks will benefit hugely from this comprehensive volume.

Check price now

Rerate Products

Customer Review

Hybrid Systems II (Lecture Notes in Computer Science) (v. 2)

Hybrid Systems II (Lecture Notes in Computer Science) (v. 2) Review

See more picture

Hybrid Systems II (Lecture Notes in Computer Science) (v. 2) Feature

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel. Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.

Check price now

Rerate Products

Customer Review

The Software Requirements Memory Jogger: A Pocket Guide to Help Software And Business Teams Develop And Manage Requirements (Memory Jogger)

The Software Requirements Memory Jogger: A Pocket Guide to Help Software And Business Teams Develop And Manage Requirements (Memory Jogger) Review

See more picture

The Software Requirements Memory Jogger: A Pocket Guide to Help Software And Business Teams Develop And Manage Requirements (Memory Jogger) Feature

The Software Requirements Memory Jogger is an easy-to-use guide for developing and managing precise software requirements. The Software Requirements Memory Jogger provides every member of your project team with the tools and techniques to foster communication between business and technical teams on the necessary requirements for producing successful software. The Software Requirements Memory Jogger will benefit all stakeholders at any organizational level involved in software development projects management team, practitioners, QA/QC personnel. - Explore practical steps, tips, and examples to help you develop and manage requirements - Follow the User Requirements Roadmap a toolkit of techniques for discovering and analyzing user requirements - Streamline communications between all requirements stakeholders - Learn how to write clear, concise requirements documents

Check price now

Rerate Products

Customer Review

Recent Advances in Reliability Theory: Methodology, Practice and Inference (Statistics for Industry and Technology)

Recent Advances in Reliability Theory: Methodology, Practice and Inference (Statistics for Industry and Technology) Review

See more picture

Recent Advances in Reliability Theory: Methodology, Practice and Inference (Statistics for Industry and Technology) Feature

This book presents thirty-one extensive and carefully edited chapters providing an up-to-date survey of new models and methods for reliability analysis and applications in science, engineering, and technology. The chapters contain broad coverage of the latest developments and innovative techniques in a wide range of theoretical and numerical issues in the field of statistical and probabilistic methods in reliability.

Check price now

Rerate Products

Customer Review

Integrated Logistics Support Handbook (McGraw-Hill Logistics Series)

Integrated Logistics Support Handbook (McGraw-Hill Logistics Series) Review

See more picture

Integrated Logistics Support Handbook (McGraw-Hill Logistics Series) Feature

All the ILS expertise needed to achieve a more supportable system and cost-effective support infrastructure

Engineers and managers can turn to the updated Third Edition of Integrated Logistics Support Handbook for expert guidance on applying Integrated Logistics Support (ILS) for acquisition and procurement planning in new product development. Long-established as the definitive ILS resource, this handbook distills thousands of pages of directives, instructions, and related material into a coherent, one-stop reference that can be used to enhance any military or commercial project. The Third Edition features new information on reliability and maintainability engineering…testability…supportability engineering…cost of ownership…personnel…support equipment…training…technical documentation…level-of-repair analysis…software support…life-cycle cost…logistics plans…contracts…and much more.

Filled with step-by-step guidelines and 300 illustrations, the updated Integrated Logistics Support Handbook explains how to:

Meet the requirements of MIL-PRF 49506, Logistics Management Information

Develop and measure Performance-Based Logistics requirements

New to this edition: applications of ILS to software-based systems, applications to commercial off-the-shelf solutions, and the latest Department of Defense requirements

Check price now

Rerate Products

Customer Review

Bridging the Communication Gap: Specification by Example and Agile Acceptance Testing

Bridging the Communication Gap: Specification by Example and Agile Acceptance Testing Review

See more picture

Bridging the Communication Gap: Specification by Example and Agile Acceptance Testing Feature

Bridging the Communication Gap is a book about improving communication between customers, business analysts, developers and testers on software projects, especially by using specification by example and agile acceptance testing. These two key emerging software development practices can significantly improve the chances of success of a software project. They ensure that all project participants speak the same language, and build a shared and consistent understanding of the domain. This leads to better specifications, flushes out incorrect assumptions and ensures that functional gaps are discovered before the development starts. With these practices in place you can build software that is genuinely fit for purpose.

Check price now

Rerate Products

Customer Review

Dependency Injection in .NET

Dependency Injection in .NET Review

See more picture

Dependency Injection in .NET Feature

Dependency Injection (DI) is a software design technique behind the wildly popular Spring tool in Java. .NET developers are only now discovering how DI can improve the quality and maintainability of their .NET code.

Dependency Injection in .NET is a comprehensive guide that introduces DI to .NET developers. It covers core concepts and patterns, and introduces important DI frameworks, such as StructureMap, Windsor and Spring.NET. For each framework, it presents examples of its particular usage, as well as examines how the framework relates to the common patterns.

Check price now

Rerate Products

Customer Review

Quality-Based Content Delivery over the Internet

Quality-Based Content Delivery over the Internet Review

See more picture

Quality-Based Content Delivery over the Internet Feature

"Quality-Based Content Delivery over the Internet" mainly discusses the methodology of doing quality-based content delivery in an Internet environment. Because the network is becoming intelligent and active, more and more researchers are talking about achieving personalization and customization in Internet content delivery. As researchers are aware, by introducing intelligence into a web intermediary server, they can make the content delivery more efficient and of higher quality. Still, the detailed methodology of doing so is never illustrated fully. The most critical part will be the active content transformation model. This book gives a detailed description of the active content transformation model, and provides experiments and data to show its feasibility. Some examples of how to do efficient content transformation in active web intermediary to achieve high quality are also presented to help understand the whole process. The book is an introduction and excellent reference for researchers in the Internet content delivery area. Dr. Xiang Li is an associate professor at Shanghai Jiao Tong University and the vice director of “National Research Lab of Content Analysis”, China; Dr. Jianhua Li is a professor at the same university and the director of the same lab.

Check price now

Rerate Products

Customer Review