Scalable Techniques for Formal Verification
ISBN: 9781441959973 / Angielski / Twarda / 243 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure that those systems execute c- rectly. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware. A key advantage of formal veri?cation is that it provides a mathematical guarantee of their...
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasin...
|
|
cena:
389,98 zł |
Embedded Software Design and Programming of Multiprocessor System-On-Chip: Simulink and System C Case Studies
ISBN: 9781441955661 / Angielski / Twarda / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Current multimedia and telecom applications require complex, heterogeneous multiprocessor system on chip (MPSoC) architectures with specific communication infrastructure in order to achieve the required performance. Heterogeneous MPSoC includes different types of processing units (DSP, microcontroller, ASIP) and different communication schemes (fast links, non standard memory organization and access). Programming an MPSoC requires the generation of efficient software running on MPSoC from a high level environment, by using the characteristics of the architecture. This task is known... Current multimedia and telecom applications require complex, heterogeneous multiprocessor system on chip (MPSoC) architectures with specific commun... |
|
cena:
585,00 zł |
Quick-Turnaround ASIC Design in VHDL: Core-Based Behavioral Synthesis
ISBN: 9780792397441 / Angielski / Twarda / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From the Foreword.....
Modern digital signal processing applications provide a large challenge to the system designer. Algorithms are becoming increasingly complex, and yet they must be realized with tight performance constraints. Nevertheless, these DSP algorithms are often built from many constituent canonical subtasks (e.g., IIR and FIR filters, FFTs) that can be reused in other subtasks. Design is then a problem of composing these core entities into a cohesive whole to provide both the intended functionality and the required performance. In order to organize the design... From the Foreword.....
Modern digital signal processing applications provide a large challenge to the system designer. Algorithms are becoming i... |
|
cena:
585,00 zł |
Introduction to Analog VLSI Design Automation
ISBN: 9780792390718 / Angielski / Twarda / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Very large scale integration (VLSI) technologies are now maturing with a current emphasis toward submicron structures and sophisticated applications combining digital as well as analog circuits on a single chip. Abundant examples are found on today's advanced systems for telecom munications, robotics, automotive electronics, image processing, intelli gent sensors, etc .. Exciting new applications are being unveiled in the field of neural computing where the massive use of analog/digital VLSI technologies will have a significant impact. To match such a fast technological trend towards single...
Very large scale integration (VLSI) technologies are now maturing with a current emphasis toward submicron structures and sophisticated applications c...
|
|
cena:
389,98 zł |
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
ISBN: 9780792377375 / Angielski / Twarda / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e., is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable....
system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, et...
|
|
cena:
585,00 zł |
Hardware Component Modeling
ISBN: 9780792396864 / Angielski / Twarda / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The VITAL specification addresses the issues of interoperability, backannotation and high performance simulation for sign-off quality ASIC libraries in VHDL. VITAL provides modeling guidelines and a set of pre-defined packages (containing pre-defined routines for modeling functionality and timing) to facilitate the acceleration of designs which use cells from a VITAL library. The VITAL Level-I guidelines constrain the modeling capabilities provided by VHDL in order to facilitate higher performance (Figure I). Accumulating "gains" Constrained "flexibility" Higher performance & Increased...
The VITAL specification addresses the issues of interoperability, backannotation and high performance simulation for sign-off quality ASIC libraries i...
|
|
cena:
389,98 zł |
Re-Engineering for Sustainable Industrial Production: Proceedings of the Oe/Ifip/IEEE International Conference on Integrated and Sustainable Industria
ISBN: 9780412799501 / Angielski / Twarda / 535 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In today's changing world, enterprises need to survive in an ever volatile competitive market environment. Their success will depend on the strategies they practice and adopt. Every year, new ideas and concepts are emerging in order for companies to become successful enterprises. Cross Border Enterprises is the new 'hot' topic arising in the business process world at present. Many terms have been coined together and are being driven in the popular business press to describe this new strategy of conducting business, ie. Extended Enterprise (Browne et al., 1995; O'Neill and Sacket, 1994; Busby...
In today's changing world, enterprises need to survive in an ever volatile competitive market environment. Their success will depend on the strategies...
|
|
cena:
780,00 zł |
Virtual Technologies for Business and Industrial Applications: Innovative and Synergistic Approaches
ISBN: 9781615206315 / Angielski / Twarda / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Business growth depends on the ability to innovate. Knowledge management concepts, business process reengineering, human centered assets and information and communication technologies are the foundation for innovation though virtual reality makes innovation a reality. Virtual Technologies for Business and Industrial Applications: Innovative and Synergistic Approaches provides insight into uncovering the security risks of dynamically created content, and how proper content management can greatly improve overall security. This book also researches the security lifecycle, protocols and...
Business growth depends on the ability to innovate. Knowledge management concepts, business process reengineering, human centered assets and informati...
|
|
cena:
1033,13 zł |
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification
ISBN: 9780792392859 / Angielski / Twarda / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well.
Graphical presentation is coming to be a de facto requirement for a friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating... Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts wi...
|
|
cena:
585,00 zł |
Neural Models and Algorithms for Digital Testing
ISBN: 9780792391654 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 9 QUADRATIC 0-1 PROGRAMMING 8S 9. 1 Energy Minimization 86 9. 2 Notation and Tenninology . . . . . . . . . . . . . . . . . 87 9. 3 Minimization Technique . . . . . . . . . . . . . . . . . . 88 9. 4 An Example . . . . . . . . . . . . . . . . . . . . . . . . 92 9. 5 Accelerated Energy Minimization. . . . . . . . . . . . . 94 9. 5. 1 Transitive Oosure . . . . . . . . . . . . . . . . . 94 9. 5. 2 Additional Pairwise Relationships 96 9. 5. 3 Path Sensitization . . . . . . . . . . . . . . . . . 97 9. 6 Experimental Results 98 9....
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 9 QUADRATIC 0-1 PROGRAMMING 8S 9. 1 Energy Minimization 86 9. 2 Notation and Ten...
|
|
cena:
389,98 zł |
Optical Networks -- Recent Advances: Recent Advances
ISBN: 9780792371663 / Angielski / Twarda / 347 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the rapid growth of bandwidth demand from network users and the advances in optical technologies, optical networks with multiterabits per-second capacity has received significant interest from both researchers and practitioners. Optical networks deployment raises a number of challenging problems that require innovative solutions, including net work architectures, scalable and fast network management, resource efficient routing and wavelength assignment algorithms, QoS support and scheduling algorithms, and switch and router architectures. In this book, we put together some important...
With the rapid growth of bandwidth demand from network users and the advances in optical technologies, optical networks with multiterabits per-second ...
|
|
cena:
585,00 zł |
Nano-Bio-Sensing
ISBN: 9781441961686 / Angielski / Twarda / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The application of circuits and systems and engineering principles to problems in the medicine has led to the emergence of biomedical circuits and systems as an exciting and rapidly growing area of research. Nanotechnology provides new nano-structured materials with amazing properties. The properties offered by nanomaterials can be applied to develop advanced instrumentation for biomedical diagnostics and personalized therapy, as well as bio-sensing in the environment. Biotechnology provides new biochemical materials with novel properties to be applied to develop new performances in sensing...
The application of circuits and systems and engineering principles to problems in the medicine has led to the emergence of biomedical circuits and sys...
|
|
cena:
389,98 zł |
Reliability of Nanoscale Circuits and Systems: Methodologies and Circuit Architectures
ISBN: 9781441962164 / Angielski / Twarda / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is intended to give a general overview of reliability, faults, fault models, nanotechnology, nanodevices, fault-tolerant architectures and reliability evaluation techniques. Additionally, the book provides an in depth state-of-the-art research results and methods for fault tolerance as well as the methodology for designing fault-tolerant systems out of highly unreliable components.
This book is intended to give a general overview of reliability, faults, fault models, nanotechnology, nanodevices, fault-tolerant architectures and r...
|
|
cena:
389,98 zł |
Interactive Image Processing for Machine Vision
ISBN: 9783540198147 / Angielski / Twarda / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Machine vision systems offer great potential in a large number of areas of manufacturing industry and are used principally for Automated Visual Inspection and Robot Vision. This title discusses techniques which have been developed for designing machines for use in industrial inspection and robot control, focusing on software and algorithms.
Machine vision systems offer great potential in a large number of areas of manufacturing industry and are used principally for Automated Visual Inspec...
|
|
cena:
585,00 zł |
Symbolic Analysis for Automated Design of Analog Integrated Circuits
ISBN: 9780792391616 / Angielski / Twarda / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is a great honor to provide a few words of introduction for Dr. Georges Gielen's and Prof. Willy Sansen's book "Symbolic analysis for automated design of analog integrated circuits." The symbolic analysis method presented in this book represents a significant step forward in the area of analog circuit design. As demonstrated in this book, symbolic analysis opens up new possibilities for the development of computer-aided design (CAD) tools that can analyze an analog circuit topology and automatically size the components for a given set of specifications. Symbolic analysis even has the...
It is a great honor to provide a few words of introduction for Dr. Georges Gielen's and Prof. Willy Sansen's book "Symbolic analysis for automated des...
|
|
cena:
585,00 zł |
Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
ISBN: 9781441967268 / Angielski / Twarda / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presenting results from real prototype systems, this volume provides an overview of ultra low-power integrated circuits and systems for neural signal processing and wireless communication. Topics include analog, radio, and signal processing theory and design for ultra low-power circuits.
Presenting results from real prototype systems, this volume provides an overview of ultra low-power integrated circuits and systems for neural signal ...
|
|
cena:
389,98 zł |
Arbeit Und Informationstechnik: Fachtagung, Veranstaltet Vom Fachbereich 8 "Informatik Und Gesellschaft" Der GI Karlsruhe, 15. - 17. Juli 1986, Procee
ISBN: 9783540167754 / Niemiecki / Miękka / 435 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1m Februar 1980 diskutierten Wissenschaftler, Manager, Arbeitnehmervertreter und 8e troffene im Rahmen ei nes Kongresses der Gesell schaft fur Informat ike. V. in Kasse 1 die Frage "Fortschritt der Computer - Computer fUr den Fortschritt?" vor allem unter dem Bl ickwinkel, welche "Erfahrungen mit der Informationstechnologie in der Arbeits wel til gemacht worden sind, welche Wirkungen beim Einsatz dieser Technologie entste hen und wie die Betroffenen zu Beteil igten an der Entwickl ung (betriebl icher) In formationssysteme werden konnen. Wenn im Sommer 1986 das Thema "Arbeit und...
1m Februar 1980 diskutierten Wissenschaftler, Manager, Arbeitnehmervertreter und 8e troffene im Rahmen ei nes Kongresses der Gesell schaft fur Informa...
|
|
cena:
200,43 zł |
On-Chip Interconnect with Aelite: Composable and Predictable Systems
ISBN: 9781441964960 / Angielski / Twarda / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book provides a comprehensive description and implementation methodology for the Philips/NXP Aethereal/aelite Network-on-Chip (NoC). The presentation offers a systems perspective, starting from the system requirements and deriving and describing the resulting hardware architectures, embedded software, and accompanying design flow. Readers get an in depth view of the interconnect requirements, not centered only on performance and scalability, but also the multi-faceted, application-driven requirements, in particular composability and predictability. The book shows how these qualitative...
The book provides a comprehensive description and implementation methodology for the Philips/NXP Aethereal/aelite Network-on-Chip (NoC). The presentat...
|
|
cena:
585,00 zł |
Dependability in Electronic Systems: Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances
ISBN: 9781441967145 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book covers the practical application of dependable electronic systems in real industry, such as space, train control and automotive control systems, and network servers/routers. The impact from intermittent errors caused by environmental radiation (neutrons and alpha particles) and EMI (Electro-Magnetic Interference) are introduced together with their most advanced countermeasures. Power Integration is included as one of the most important bases of dependability in electronic systems. Fundamental technical background is provided, along with practical design examples. Readers will obtain...
This book covers the practical application of dependable electronic systems in real industry, such as space, train control and automotive control syst...
|
|
cena:
389,98 zł |
Design and Analysis of Biomolecular Circuits: Engineering Approaches to Systems and Synthetic Biology
ISBN: 9781441967657 / Angielski / Twarda / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book deals with engineering aspects of the two emerging and intertwined fields of synthetic and systems biology. Both fields hold promise to revolutionize the way molecular biology research is done, the way today's drug discovery works and the way bio-engineering is done. Both fields stress the importance of building and characterizing small bio-molecular networks in order to synthesize incrementally and understand large complex networks inside living cells. Reminiscent of computer-aided design (CAD) of electronic circuits, abstraction is believed to be the key concept to achieve this...
The book deals with engineering aspects of the two emerging and intertwined fields of synthetic and systems biology. Both fields hold promise to revol...
|
|
cena:
585,00 zł |