![]() |
Embedded Software Verification and Debugging
ISBN: 9781461422655 / Angielski / Twarda / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static,...
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical ...
|
cena:
523,30 |
![]() |
Energy-Aware Scheduling on Multiprocessor Platforms
ISBN: 9781461452232 / Angielski / Miękka / 59 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multiprocessor platforms play important roles in modern computing systems, and appear in various applications, ranging from energy-limited hand-held devices to large data centers. As the performance requirements increase, energy-consumption in these systems also increases significantly. Dynamic Voltage and Frequency Scaling (DVFS), which allows processors to dynamically adjust the supply voltage and the clock frequency to operate on different power/energy levels, is considered an effective way to achieve the goal of energy-saving. This book surveys existing works that... Multiprocessor platforms play important roles in modern computing systems, and appear in various applications, ranging from energy-limited hand-hel... |
cena:
201,24 |
![]() |
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
ISBN: 9781461413585 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions. The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation...
This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multico...
|
cena:
402,53 |
![]() |
Complex Systems and Cognitive Processes
ISBN: 9783642466809 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume describes our intellectual path from the physics of complex sys tems to the science of artificial cognitive systems. It was exciting to discover that many of the concepts and methods which succeed in describing the self organizing phenomena of the physical world are relevant also for understand ing cognitive processes. Several nonlinear physicists have felt the fascination of such discovery in recent years. In this volume, we will limit our discussion to artificial cognitive systems, without attempting to model either the cognitive behaviour or the nervous structure of humans or...
This volume describes our intellectual path from the physics of complex sys tems to the science of artificial cognitive systems. It was exciting to di...
|
cena:
201,24 |
![]() |
Neurocomputing: Algorithms, Architectures and Applications
ISBN: 9783642761553 / Angielski / Miękka / 455 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the collected papers of the NATO Conference on Neurocomputing, held in Les Arcs in February 1989. For many of us, this conference was reminiscent of another NATO Conference, in 1985, on Disordered Systems 1], which was the first conference on neural nets to be held in France. To some of the participants that conference opened, in a way, the field of neurocomputing (somewhat exotic at that time ) and also allowed for many future fruitful contacts. Since then, the field of neurocomputing has very much evolved and its audience has increased so widely that meetings in the US...
This volume contains the collected papers of the NATO Conference on Neurocomputing, held in Les Arcs in February 1989. For many of us, this conference...
|
cena:
402,53 |
![]() |
Foundations of Synergetics I: Distributed Active Systems
ISBN: 9783642785580 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gives an introduction to the mathematical theory of cooperative behavior in active systems of various origins, both natural and artificial. It is based on a lecture course in synergetics which I held for almost ten years at the University of Moscow. The first volume deals mainly with the problems of pattern fonnation and the properties of self-organized regular patterns in distributed active systems. It also contains a discussion of distributed analog information processing which is based on the cooperative dynamics of active systems. The second volume is devoted to the stochastic...
This book gives an introduction to the mathematical theory of cooperative behavior in active systems of various origins, both natural and artificial. ...
|
cena:
201,24 |
![]() |
Database Machines: Modern Trends and Applications
ISBN: 9783642829390 / Angielski / Miękka / 570 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of a collection of 28 papers presented at the NATO Advanced Study Institute held July 14-27, 1985 in the beautiful resort at Les Arcs, France. The director of this ASI was A. K. Sood and A. H. Qureshi was the co-director. Since its introduction in the early 1970s the relational data model has been widely accepted. Several research and industrial efforts are being undertaken to develop special purpose database machines to implement the relational model. In addition, database machines are being explored for applications such as image processing and information retrieval. In...
This volume consists of a collection of 28 papers presented at the NATO Advanced Study Institute held July 14-27, 1985 in the beautiful resort at Les ...
|
cena:
402,53 |
![]() |
Foundations of Synergetics II: Complex Patterns
ISBN: 9783642972966 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook is based on a lecture course in synergetics given at the University of Moscow. In this second of two volumes, we discuss the emergence and properties of complex chaotic patterns in distributed active systems. Such patterns can be produced autonomously by a system, or can result from selective amplification of fluctuations caused by external weak noise. Although the material in this book is often described by refined mathematical theories, we have tried to avoid a formal mathematical style. Instead of rigorous proofs, the reader will usually be offered only "demonstrations" (the...
This textbook is based on a lecture course in synergetics given at the University of Moscow. In this second of two volumes, we discuss the emergence a...
|
cena:
201,24 |
![]() |
Multicore Processors and Systems
ISBN: 9781461424505 / Angielski / Miękka / 301 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multicore Processors and Systems provides a comprehensive overview of emerging multicore processors and systems. It covers technology trends affecting multicores, multicore architecture innovations, multicore software innovations, and case studies of state-of-the-art commercial multicore systems. A cross-cutting theme of the book is the challenges associated with scaling up multicore systems to hundreds of cores. The book provides an overview of significant developments in the architectures for multicore processors and systems. It includes chapters on fundamental... Multicore Processors and Systems provides a comprehensive overview of emerging multicore processors and systems. It covers technology tren... |
cena:
603,81 |
![]() |
Designing TSVs for 3D Integrated Circuits
ISBN: 9781461455073 / Angielski / Miękka / 76 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book explores the challenges and presents best strategies for designing Through-Silicon Vias (TSVs) for 3D integrated circuits. It describes a novel technique to mitigate TSV-induced noise, the GND Plug, which is superior to others adapted from 2-D planar technologies, such as a backside ground plane and traditional substrate contacts. The book also investigates, in the form of a comparative study, the impact of TSV size and granularity, spacing of C4 connectors, off-chip power delivery network, shared and dedicated TSVs, and coaxial TSVs on the quality of power delivery in 3-D ICs. The...
This book explores the challenges and presents best strategies for designing Through-Silicon Vias (TSVs) for 3D integrated circuits. It describes a no...
|
cena:
201,24 |
![]() |
Mikroelektronik Und Mikroprozessoren Für Maschinenbauer
ISBN: 9783528043704 / Niemiecki / Miękka / 199 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Bticher mit dem Titel "Elektrotechnik flir Maschinenbauer" sind gelaufig, bekannt und werden immer wieder aktualisiert. Sie sollen dem Maschinenbau-Ingenieur ein elektro technisches Grundlagenwissen vermitteln, und ihn in die flir Elektrotechnik typische Denkweise und in die Grundbegriffe der elektrotechnischen Fachsprache einftihren. Dartiber hinaus ist es meist das Ziel solcher Bticher, den Maschinenbauer in die Vorschrif ten und Sicherheitsauflagen der Elektrotechnik einzuftihren, damit er gefahrlos mit ihr umgehen kann. Nicht zuletzt erhebt die genannte Gruppe von Btichern den Anspruch,...
Bticher mit dem Titel "Elektrotechnik flir Maschinenbauer" sind gelaufig, bekannt und werden immer wieder aktualisiert. Sie sollen dem Maschinenbau-In...
|
cena:
206,88 |
![]() |
Microelectronics and Microsystems: Emergent Design Techniques
ISBN: 9781447111740 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book presents the best contributions, extracted from the theses written by the students who have attended the second edition of the Master in Microelectronics and Systems that has been organized by the Universita degli Studi di Catania and that has been held at the STMicroelectronics Company (Catania Site) from May 2000 to January 2001. In particular, the mentioned Master has been organized among the various ac tivities of the "Istituto Superiore di Catania per la Formazione di Eccellenza." The Institute is one of the Italian network of universities selected by MURST (Ministry University...
The book presents the best contributions, extracted from the theses written by the students who have attended the second edition of the Master in Micr...
|
cena:
402,53 |
![]() |
Document Processing and Retrieval: Texpros
ISBN: 9781461285540 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Document Processing and Retrieval: TEXPROS focuses on the design and implementation of a personal, customizable office information and document processing system called TEXPROS (a TEXt PROcessing System). TEXPROS is a personal, intelligent office information and document processing system for text-oriented documents. This system supports the storage, classification, categorization, retrieval and reproduction of documents, as well as extracting, browsing, retrieving and synthesizing information from a variety of documents. When using TEXPROS in a multi-user...
Document Processing and Retrieval: TEXPROS focuses on the design and implementation of a personal, customizable office information and docume...
|
cena:
603,81 |
![]() |
Design of Reservation Protocols for Multimedia Communication
ISBN: 9781461285687 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The advent of multimedia technology is creating a number of new problems in the fields of computer and communication systems. Perhaps the most important of these problems in communication, and certainly the most interesting, is that of designing networks to carry multimedia traffic, including digital audio and video, with acceptable quality. The main challenge in integrating the different services needed by the different types of traffic into the same network (an objective that is made worthwhile by its obvious economic advantages) is to satisfy the performance requirements of continuous...
The advent of multimedia technology is creating a number of new problems in the fields of computer and communication systems. Perhaps the most importa...
|
cena:
603,81 |
![]() |
Software Performability: From Concepts to Applications
ISBN: 9781461285694 / Angielski / Miękka / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control. Moreover, experience has shown that the dependability of such systems is particularly sensitive to that of its software components, both the system software of the embedded computers and the application software they support.
Software Performability: From Concepts to Applications addresses the construction and solution of analytic performability models for critical-application software. The... Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and s...
|
cena:
603,81 |
![]() |
Automatic Performance Prediction of Parallel Programs
ISBN: 9781461285922 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic Performance Prediction of Parallel Programs presents a unified approach to the problem of automatically estimating the performance of parallel computer programs. The author focuses primarily on distributed memory multiprocessor systems, although large portions of the analysis can be applied to shared memory architectures as well.
The author introduces a novel and very practical approach for predicting some of the most important performance parameters of parallel programs, including work distribution, number of transfers, amount of data transferred, network contention,... Automatic Performance Prediction of Parallel Programs presents a unified approach to the problem of automatically estimating the performance ...
|
cena:
402,53 |
![]() |
Time-Constrained Transaction Management: Real-Time Constraints in Database Transaction Systems
ISBN: 9781461286158 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Transaction processing is an established technique for the concurrent and fault tolerant access of persistent data. While this technique has been successful in standard database systems, factors such as time-critical applications, emerg ing technologies, and a re-examination of existing systems suggest that the performance, functionality and applicability of transactions may be substan tially enhanced if temporal considerations are taken into account. That is, transactions should not only execute in a "legal" (i.e., logically correct) man ner, but they should meet certain constraints with...
Transaction processing is an established technique for the concurrent and fault tolerant access of persistent data. While this technique has been succ...
|
cena:
402,53 |
![]() |
Interconnect and Temperature Aware Unified Physical and High Level Synthesis
ISBN: 9789400718920 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. The exponential scaling in CMOS transistor sizes over the past three decades have enabled spectacular advances in integrated circuit technology, allowing the integration of more than a billion transistors in modern very large-scale integrated (VLSI) circuits. Over the last four decades, transistor scaling has followed Moore's law, and according to projections made by the International Technology Roadmap for Semiconductors (ITRS), minimum feature sizes are expected to reach 22nm by 2012. The primary drivers for transistor scaling are the associated benefits of lower system costs, improved... The exponential scaling in CMOS transistor sizes over the past three decades have enabled spectacular advances in integrated circuit technology, al... |
cena:
417,60 |
![]() |
Ultra-Low Energy Domain-Specific Instruction-Set Processors
ISBN: 9789400733060 / Angielski / Miękka / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a systematic methodology for exploiting word-width information in embedded compilers. It details a technique for a context-driven strength reduction for constant multiplications, including a trade-off with application accuracy requirements.
This book presents a systematic methodology for exploiting word-width information in embedded compilers. It details a technique for a context-driven s...
|
cena:
603,81 |
![]() |
Przetworniki danych
ISBN: 9788320617757 / Polski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Podręcznik poświęcony współczesnym przetwornikom analogowo-cyfrowym (A/C) i cyfrowo-analogowym (C/A). Zawiera wszystkie informacje niezbędne do pełnego zrozumienia zagadnień próbkowania, kwantyzacji oraz szumu w systemach z danymi spróbkowanymi, parametrów charakteryzujących poszczególne przetworniki, metod stosowanych w przetwornikach pracujących zgodnie z częstotliwością Nyquista i analizy ich właściwości, działania przetworników z nadpróbkowaniem i sigma-delta wraz z przykładami, jak również metod korekcji i kalibracji cyfrowej, testowania i opisu sposobów...
Podręcznik poświęcony współczesnym przetwornikom analogowo-cyfrowym (A/C) i cyfrowo-analogowym (C/A). Zawiera wszystkie informacje niezbędne do ...
|
cena:
94,50 |