Filter by
Trusted Computing for Embedded Systems
This book describes the state-of-the-art in trusted computing for embedded systems. It shows how a variety of security and trusted computing problems are addressed currently and what solutions are expected to emerge in the coming years. The discussion focuses on attacks aimed at hardware and software for embedded systems, and the authors describe specific solutions to create security features. …
- Edition
- -
- ISBN/ISSN
- 978-3-319-09420-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08699-6
- Collation
- VIII, 138 pages
- Series Title
- -
- Call Number
- -
Three-Dimensional Design Methodologies for Tree-based FPGA Architecture
This book focuses on the development of 3D design and implementation methodologies for Tree-based FPGA architecture. It also stresses the needs for new and augmented 3D CAD tools to support designs such as, the design for 3D, to manufacture high performance 3D integrated circuits and reconfigurable FPGA-based systems. This book was written as a text that covers the foundations of 3D integrated …
- Edition
- -
- ISBN/ISSN
- 978-3-319-19174-4
- Collation
- -
- Series Title
- -
- Call Number
- -
OpenMP: Heterogenous Execution and Data Movements:11th International Workshop…
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24594-2
- Collation
- XI, 274
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Wideband CMOS Receivers
This book demonstrates how to design a wideband receiver operating in current mode, in which the noise and non-linearity are reduced, implemented in a low cost single chip, using standard CMOS technology. The authors present a solution to remove the transimpedance amplifier (TIA) block and connect directly the mixer’s output to a passive second-order continuous-time Σ∆ analog to digital c…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18920-8
- Collation
- XIX, 98
- Series Title
- -
- Call Number
- -
Microarchitecture of Network-on-Chip Routers
This book provides a unified overview of network-on-chip router micro-architecture, the corresponding design opportunities and challenges, and existing solutions to overcome these challenges. The discussion focuses on the heart of a NoC, the NoC router, and how it interacts with the rest of the system. Coverage includes both basic and advanced design techniques that cover the entire router desi…
- Edition
- 1
- ISBN/ISSN
- 978-1-4614-4300-1
- Collation
- XIV, 175
- Series Title
- -
- Call Number
- -
Memory Controllers for Mixed-Time-Criticality Systems:Architectures, Methodol…
This book discusses the design and performance analysis of SDRAM controllers that cater to both real-time and best-effort applications, i.e. mixed-time-criticality memory controllers. The authors describe the state of the art, and then focus on an architecture template for reconfigurable memory controllers that addresses effectively the quickly evolving set of SDRAM standards, in terms of worst…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-32093-9
- Collation
- XXVII, 202
- Series Title
- Embedded Systems
- Call Number
- -
Trusted Computing for Embedded Systems
This book describes the state-of-the-art in trusted computing for embedded systems. It shows how a variety of security and trusted computing problems are addressed currently and what solutions are expected to emerge in the coming years. The discussion focuses on attacks aimed at hardware and software for embedded systems, and the authors describe specific solutions to create security features. …
- Edition
- -
- ISBN/ISSN
- 978-3-319-09420-5
- Collation
- 49 b/w illustrations, 102 illustrations in colour
- Series Title
- -
- Call Number
- -
Model-Driven Design Using IEC 61499:A Synchronous Approach for Embedded and A…
This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis. The well-known synchronous approach i…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-10520-8
- Collation
- XVIII, 194
- Series Title
- -
- Call Number
- -
FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and …
This book introduces the concepts of soft errors in FPGAs, as well as the motivation for using commercial, off-the-shelf (COTS) FPGAs in mission-critical and remote applications, such as aerospace. The authors describe the effects of radiation in FPGAs, present a large set of soft-error mitigation techniques that can be applied in these circuits, as well as methods for qualifying these circuits…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14352-1
- Collation
- 68 b/w illustrations, 81 illustrations in colour
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography