Author: Jeff Hecht
Publisher: Oxford University Press, USA
ISBN: 9780195162554
Category : Science
Languages : en
Pages : 372
Book Description
This text presents the history of the development of fibre optic technology, explaining the scientific challenges that needed to be overcome, the range of applications and future potential for this fundamental communications technology.
City of Light
Author: Jeff Hecht
Publisher: Oxford University Press, USA
ISBN: 9780195162554
Category : Science
Languages : en
Pages : 372
Book Description
This text presents the history of the development of fibre optic technology, explaining the scientific challenges that needed to be overcome, the range of applications and future potential for this fundamental communications technology.
Publisher: Oxford University Press, USA
ISBN: 9780195162554
Category : Science
Languages : en
Pages : 372
Book Description
This text presents the history of the development of fibre optic technology, explaining the scientific challenges that needed to be overcome, the range of applications and future potential for this fundamental communications technology.
Distributed Computing and Networking
Author: Mainak Chatterjee
Publisher: Springer
ISBN: 3642452493
Category : Computers
Languages : en
Pages : 567
Book Description
This book constitutes the proceedings of the 15th International Conference on Distributed Computing and Networking, ICDCN 2014, held in Coimbatore, India, in January 2014. The 32 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 110 submissions. They are organized in topical sections named: mutual exclusion, agreement and consensus; parallel and multi-core computing; distributed algorithms; transactional memory; P2P and distributed networks; resource sharing and scheduling; cellular and cognitive radio networks and backbone networks.
Publisher: Springer
ISBN: 3642452493
Category : Computers
Languages : en
Pages : 567
Book Description
This book constitutes the proceedings of the 15th International Conference on Distributed Computing and Networking, ICDCN 2014, held in Coimbatore, India, in January 2014. The 32 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 110 submissions. They are organized in topical sections named: mutual exclusion, agreement and consensus; parallel and multi-core computing; distributed algorithms; transactional memory; P2P and distributed networks; resource sharing and scheduling; cellular and cognitive radio networks and backbone networks.
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1126
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1126
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
An Assessment of the National Institute of Standards and Technology Physical Measurement Laboratory
Author: National Academies of Sciences, Engineering, and Medicine
Publisher: National Academies Press
ISBN: 0309439361
Category : Technology & Engineering
Languages : en
Pages : 75
Book Description
The Physical Measurement Laboratory (PML) at the National Institute of Standards and Technology (NIST) is dedicated to three fundamental and complementary tasks: (1) increase the accuracy of our knowledge of the physical parameters that are the foundation of our technology-driven society; (2) disseminate technologies by which these physical parameters can be accessed in a standardized way by the stakeholders; and (3) conduct research at both fundamental and applied levels to provide knowledge that may eventually lead to advances in measurement approaches and standards. This report assesses the scientific and technical work performed by the PML and identifies salient examples of accomplishments, challenges, and opportunities for improvement for each of its nine divisions.
Publisher: National Academies Press
ISBN: 0309439361
Category : Technology & Engineering
Languages : en
Pages : 75
Book Description
The Physical Measurement Laboratory (PML) at the National Institute of Standards and Technology (NIST) is dedicated to three fundamental and complementary tasks: (1) increase the accuracy of our knowledge of the physical parameters that are the foundation of our technology-driven society; (2) disseminate technologies by which these physical parameters can be accessed in a standardized way by the stakeholders; and (3) conduct research at both fundamental and applied levels to provide knowledge that may eventually lead to advances in measurement approaches and standards. This report assesses the scientific and technical work performed by the PML and identifies salient examples of accomplishments, challenges, and opportunities for improvement for each of its nine divisions.
Decision Procedures
Author: Daniel Kroening
Publisher: Springer Science & Business Media
ISBN: 3540741054
Category : Computers
Languages : en
Pages : 314
Book Description
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.
Publisher: Springer Science & Business Media
ISBN: 3540741054
Category : Computers
Languages : en
Pages : 314
Book Description
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.
Temporal Logic and State Systems
Author: Fred Kröger
Publisher: Springer Science & Business Media
ISBN: 3540674012
Category : Computers
Languages : en
Pages : 440
Book Description
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Publisher: Springer Science & Business Media
ISBN: 3540674012
Category : Computers
Languages : en
Pages : 440
Book Description
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Emerging Optical Network Technologies
Author: Krishna M. Sivalingam
Publisher: Springer
ISBN: 0387225846
Category : Computers
Languages : en
Pages : 449
Book Description
Optical networks have moved from laboratory settings and theoretical research to real-world deployment and service-oriented explorations. New technologies such as Ethernet PON, traffic grooming, regional and metropolitan network architectures and optical packet switching are being explored, and the landscape is continuously and rapidly evolving. Some of the important issues involving these new technologies involve the architectural, protocol, and performance related issues. This book addresses many of these issues and presents a birds eye view of some of the more promising technologies. Researchers and those pursuing advanced degrees in this field will be able to see where progress is being made and new technologies are emerging. Emerging Optical Network Technologies: Architectures, Protocols and Performance provides state-of-the-art material written by the most prominent professionals in their respective areas.
Publisher: Springer
ISBN: 0387225846
Category : Computers
Languages : en
Pages : 449
Book Description
Optical networks have moved from laboratory settings and theoretical research to real-world deployment and service-oriented explorations. New technologies such as Ethernet PON, traffic grooming, regional and metropolitan network architectures and optical packet switching are being explored, and the landscape is continuously and rapidly evolving. Some of the important issues involving these new technologies involve the architectural, protocol, and performance related issues. This book addresses many of these issues and presents a birds eye view of some of the more promising technologies. Researchers and those pursuing advanced degrees in this field will be able to see where progress is being made and new technologies are emerging. Emerging Optical Network Technologies: Architectures, Protocols and Performance provides state-of-the-art material written by the most prominent professionals in their respective areas.
An Introduction to Fiber Optics
Author: Ajoy K. Ghatak
Publisher: Cambridge University Press
ISBN: 9780521577854
Category : Science
Languages : en
Pages : 588
Book Description
Textbook on the physical principles of optical fibers - for advanced undergraduates and graduates in physics or electrical engineering.
Publisher: Cambridge University Press
ISBN: 9780521577854
Category : Science
Languages : en
Pages : 588
Book Description
Textbook on the physical principles of optical fibers - for advanced undergraduates and graduates in physics or electrical engineering.
GPO Moving Forward in the Electronic Age
Author: United States. Government Printing Office
Publisher:
ISBN:
Category : Government information
Languages : en
Pages : 110
Book Description
Publisher:
ISBN:
Category : Government information
Languages : en
Pages : 110
Book Description
First International Conference on Optical Communications and Networks (ICOCN 2002)
Author: Cambyse Guy Omidyar
Publisher: World Scientific
ISBN: 9812776281
Category : Technology & Engineering
Languages : en
Pages : 454
Book Description
Optical communications networks are becoming increasingly important as there is demand for high capacity links. Dense wavelength division multiplexing (DWDM) is widely deployed at the core networks to accommodate high capacity transport systems. Optical components such as optical amplifiers, tunable filters, transceivers, termination devices and add-drop multiplexers are becoming more reliable and affordable. Access and metropolitan area networks are increasingly built with optical technologies to overcome the electronic bottleneck at network edges. New components and subsystems for very high speed optical networks offer new design options.The proceedings of the First International Conference on Optical Communications and Networks present high quality recent research results in the areas of optical communications, network components, architectures, protocols, planning, design, management and operation.
Publisher: World Scientific
ISBN: 9812776281
Category : Technology & Engineering
Languages : en
Pages : 454
Book Description
Optical communications networks are becoming increasingly important as there is demand for high capacity links. Dense wavelength division multiplexing (DWDM) is widely deployed at the core networks to accommodate high capacity transport systems. Optical components such as optical amplifiers, tunable filters, transceivers, termination devices and add-drop multiplexers are becoming more reliable and affordable. Access and metropolitan area networks are increasingly built with optical technologies to overcome the electronic bottleneck at network edges. New components and subsystems for very high speed optical networks offer new design options.The proceedings of the First International Conference on Optical Communications and Networks present high quality recent research results in the areas of optical communications, network components, architectures, protocols, planning, design, management and operation.