From the Publisher: Planning and Architectural Design of Integrated Services Digital Networks provides a comprehensive treatment of ISDNs: how to plan and design them architecturally and how to implement them so that ...
ISBN:
(纸本)0792395549
From the Publisher: Planning and Architectural Design of Integrated Services Digital Networks provides a comprehensive treatment of ISDNs: how to plan and design them architecturally and how to implement them so that they meet certain given user requirements ranging from a variety of service demands to transmission performance, security, reliability/availability, capability for growth, interoperability with other ISDN and non-ISDN networks and, of course, cost. The book concentrates on the application of ISDN concepts and standards to the planning and design of real costed networks to meet certain specified user requirements. Where there are multiple options, considerations and rationale on the choice of network aspects and standards are discussed. The unique feature of the book, compared with other books on ISDN, is that it expounds an original methodology which starts from an assumed or given set of complete user requirements and proceeds to designing a complete network taking into account the technology and standards of ISDN, as well as some constraints including cost which may be imposed.
From the Publisher: Imprecise and Approximate Computation is a collection of chapters which chart the current state of the art in imprecise and approximate computation. Real-time systems are now used in a wide variety...
ISBN:
(纸本)9780792395799
From the Publisher: Imprecise and Approximate Computation is a collection of chapters which chart the current state of the art in imprecise and approximate computation. Real-time systems are now used in a wide variety of applications including space systems defense systems, process control and signal processing. The concept of imprecise and approximate computations can be utilized in a wide variety of application areas, including signal processing, machine vision, databases, networking, and dependability in real-time systems. The book not only describes research results already obtained, but also discusses directions for further research. Imprecise and Approximate Computation is useful to practitioners interested in building dynamic real-time systems, which must deal safely with resource unavailability. Imprecise and approximate computation has a variety of applications in systems where resource limitations and the requirements of continuous system operation create situations where sometimes computations cannot be carried through to the desired completion. Imprecise and Approximate Computation is of special interest to researchers who wish to familiarize themselves with the current accomplishments in this area, with a view to extending the research results. This book may also be used as supplementary reading in a course on real-time systems.
From the Publisher: It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few yea...
ISBN:
(纸本)0792395522
From the Publisher: It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and verification methods are nowadays supported by several commercially- and academically-based tools. Having different tools and users generating and reading the same language requires that the same semantics is assigned by them to all constructs and elements of the language. The current IEEE standard VHDL language reference manual (LRM) tries to define VHDL as well as possible in a descriptive way, explaining the semantics in English. But rigor and clarity is very hard to maintain in a semantics defined in this way, and that has already given rise to many misconceptions and contradictory interpretations. Formal Semantics for VHDL is the first book that puts forward a cohesive set of semantics for the VHDL language. The chapters describe several semantics each based on a different underlying formalism: two of them use Petri nets as target language, and two of them higher order logic. Two use functional concepts, and finally another uses the concept of evolving algebras. Formal Semantics for VHDL is essential reading for researchers in Formal Methods and can be used as a text for an advanced course on the subject.
Video and Image Processing in Multimedia Systems treats a number of critical topics in multimedia systems, with respect to image and video processing techniques and their implementations. These techniques include: ...
详细信息
ISBN:
(纸本)9780792396048
Video and Image Processing in Multimedia Systems treats a number of critical topics in multimedia systems, with respect to image and video processing techniques and their implementations. These techniques include: Image and video compression techniques and standards, and Image and video indexing and retrieval techniques. Video and Image Processing in Multimedia Systems is divided into three parts. Part I serves as an introduction to multimedia systems, discussing basic concepts, multimedia networking and synchronization, and an overview of multimedia applications. Part II presents comprehensive coverage of image and video compression techniques and standards, their implementations and applications. Because multimedia data (specifically video and images) require efficient compression techniques in order to be stored and delivered in real-time, video and image compression is a crucial element of an effective multimedia system. In Part III attention is focused on the semantic nature of image and video source material, and how that material may be effectively indexed and retrieved. Topics discussed include static images, full-motion video, and the manner in which compressed representations can facilitate structural analysis. Part III concludes with an extended discussion of a case study. This book serves as an invaluable reference with respect to the most important standards in the field. Video and Image Processing in Multimedia Systems is suitable as a textbook for course use.
暂无评论