Kategoria BISAC: Computers >> Computer Engineering

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.
The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid,...

This volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in A- terdam, The Netherlands, on September 2 and 3, 2004. Initially, the workshop was referred to as the International Workshop on Code Generation for Emb- ded Systems. The ?rst took place in 1994 in Schloss Dagstuhl, Germany. From its beginnings, the intention of the organizers has been to create an interactive atmosphere in which the participants can discuss and pro't from the assembly of international experts in the ?eld. The name SCOPES has been used...

This book contains the proceedings of a third workshop on the theme of Software Arc- tecture for Product Families. The first two workshops were organised by the ESPRIT project ARES, and were called Development and Evolution of Software Architectures for Product Families . Proceedings of the first workshop, held in November 1996, were only published electronically at: http: //www.dit.upm.es/ ares/ . Proceedings of the second workshop, held in February 1998, were published as Springer LNCS 1429. The ARES project was finished in February 1999. Several partners continued - operation in a larger...

The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a collaborative effort between IBM, Intermetrics, and Texas Instruments; sponsored by the Very High Speed Integrated Cir cuits (VHSIC) program office of the Department of Defense, beginning in 1981. Today it is an IEEE standard (1076-1987), and several simulators and other automated support tools for it are available commercially. By providing a standard notation for describing hardware, especially in the early stages of the hardware design process,...

This text constitutes the refereed proceedings of the Third International Workshop on Learning Software Organizations, LSO 2001, held in Kaiserslautern, Germany, in September 2001. The 12 revised full papers presented together with an introductory overview, keynote and panel summaries, and three posters were carefully reviewed and selected for inclusion in the book. Among the topics addressed are organizational learning in dynamic domains, knowledge management in software development, Web-based collaborative learning, knowledge management support, software process improvement, Web-based data...

Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous...

This text constitutes the refereed proceedings of the 9th International Symposium on System Configuration Management, SCM-9, held in Toulouse, France in September 1999. The 17 revised full papers presented together with a tutorial were reviewed and selected for inclusion in the book. The papers are organized in topical sections on the Web and distribution, experience and tools, versioning and models, new developments, and research status and future directions.

This title constitutes the refereed proceedings of the 4th International Conference on Visual Information Systems. The 37 revised full papers presented are organized in topical sections on image information systems, video information systems, visual querying, colour, shape-based retrieval, image databases, video indexing, image retrieval, and bench marking.

VHDL, the IEEE standard hardware description language for describing digital electronic systems, has recently been revised. The Designer's Guide to VHDL has become a standard in the industry for learning the features of VHDL and using it to verify hardware designs. This third edition is the first comprehensive book on the market to address the new features of VHDL-2008.

• First comprehensive book on VHDL to incorporate all new features of VHDL-2008, the latest release of the VHDL standard
• Helps readers get up to speed quickly with new features of the new...

The Student's Guide to VHDL is a condensed edition of The Designer's Guide to VHDL, the most widely used textbook on VHDL for digital system modeling. The Student's Guide is targeted as a supplemental reference book for computer organization and digital design courses.

Since publication of the first edition of The Student's Guide, the IEEE VHDL and related standards have been revised. The Designer's Guide has been revised to reflect the changes, so it is appropriate that The Student's Guide also be revised.
In The Student's Guide to VHDL,...

In my thesis, I have implemented a graph partitioning heuristic in IMUNES system. IMUNES is a program for network emulation/simu­lation. Since network emulation and simulation are computationally very intensive, a method for dividing the computational load between distributed processors, in a way that minimizes interprocessor communication, is required. The emulation in IMUNES is represented as graph nodes interconnected with links, so the problem of dividing the computational load between processors is reduced to dividing the nodes and edges of the graph, called graph partitioning. After...

In spite of their importance and potential societal impact, there is currently no comprehensive source of information about vehicular ad hoc networks (VANETs). Cohesively integrating the state of the art in this emerging field, Vehicular Networks: From Theory to Practice elucidates many issues involved in vehicular networking, including traffic engineering, human factors studies, and novel computer science research.

Divided into six broad sections, the book begins with an overview of traffic engineering issues, such as traffic monitoring and traffic flow...

With most services and products now being offered through digital communications, new challenges have emerged for information security specialists. A Multidisciplinary Introduction to Information Security presents a range of topics on the security, privacy, and safety of information and communication technology. It brings together methods in pure mathematics, computer and telecommunication sciences, and social sciences.

The book begins with the cryptographic algorithms of the Advanced Encryption Standard (AES) and Rivest, Shamir, and Adleman (RSA). It...

This first volume of Computational Modelling of Aircraft and the Environment provides a comprehensive guide to the derivation of computational models from basic physical & mathematical principles, giving the reader sufficient information to be able to represent the basic architecture of the synthetic environment. Highly relevant to practitioners, it takes into account the multi-disciplinary nature of the aerospace environment and the integrated nature of the models needed to represent it. Coupled with the forthcoming Volume 2: Aircraft Models and Flight Dynamics it represents a...

It was once widely believed that quantum computation would never become a reality. However, the discovery of quantum error correction and the proof of the accuracy threshold theorem nearly ten years ago gave rise to extensive development and research aimed at creating a working, scalable quantum computer. Over a decade has passed since this monumental accomplishment yet no book-length pedagogical presentation of this important theory exists.

Quantum Error Correction and Fault Tolerant Quantum Computing offers the first full-length exposition on the realization of a theory once...

Quantum computers will revolutionize the way telecommunications networks function.

Quantum computing holds the promise of solving problems that would be intractable with conventional computers by implementing principles from quantum physics in the development of computer hardware, software and communications equipment.

Quantum-assisted computing will be the first step towards full quantum systems, and will cause immense disruption of our traditional networks. The world's biggest manufacturers are investing large amounts of resources to develop crucial quantum-assisted...

A practical and accessible guide to understanding digital signal processing

Introduction to Digital Signal Processing and Filter Design was developed and fine-tuned from the author's twenty-five years of experience teaching classes in digital signal processing. Following a step-by-step approach, students and professionals quickly master the fundamental concepts and applications of discrete-time signals and systems as well as the synthesis of these systems to meet specifications in the time and frequency domains. Striking the right balance between mathematical derivations and...

From the history of high-performance computing to a discussion of future directions, this book offers coverage of various aspects of these computing systems, which have various applications in consumer electronics, radar, sonar, telecommunications, medical, and financial areas.

Nowadays it is hard to find an electronic device which does not use codes: for example, we listen to music via heavily encoded audio CD's and we watch movies via encoded DVD's. There is at least one area where the use of encoding/decoding is not so developed, yet: Flash non-volatile memories. Flash memory high-density, low power, cost effectiveness, and scalable design make it an ideal choice to fuel the explosion of multimedia products, like USB keys, MP3 players, digital cameras and solid-state disk.

In ECC for Non-Volatile Memories the authors expose the basics of coding...