Filter by
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
- -
FPGA Design Best Practices for Team-based Reuse
This book describes best practices for successful FPGA design. It is the result of the author’s meetings with hundreds of customers on the challenges facing each of their FPGA design teams. By gaining an understanding into their design environments, processes, what works and what does not work, key areas of concern in implementing system designs have been identified and a recommended design m…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17924-7
- Collation
- 44 b/w illustrations, 85 illustrations in colour
- Series Title
- -
- Call Number
- -
FPGA Based Accelerators for Financial Applications
This book covers the latest approaches and results from reconfigurable computing architectures employed in the finance domain. So-called field-programmable gate arrays (FPGAs) have already shown to outperform standard CPU- and GPU-based computing architectures by far, saving up to 99% of energy depending on the compute tasks. Renowned authors from financial mathematics, computer architecture an…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15407-7
- Collation
- 25 b/w illustrations, 47 illustrations in colour
- Series Title
- -
- 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
- 1
- ISBN/ISSN
- 978-3-319-09419-9
- Collation
- XXVI, 299
- Series Title
- -
- Call Number
- -
Multiprocessor Scheduling for Real-Time Systems
This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems. The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mappi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-08695-8
- Collation
- XV, 228
- Series Title
- Embedded Systems
- Call Number
- -
Beginning CSS Preprocessors : With SASS, Compass.js and Less.js
Learn how preprocessors can make CSS scalable and easy to maintain. You'll see how to write code in a very clean and scalable manner and use CSS preprocessor features such as variables and looping, which are missing in CSS natively. Reading Beginning CSS Preprocessors will make your life much simpler by showing you how to create reusable chunks of code. In addition to coding enhancements, youâ€â€¦
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1347-6
- Collation
- XVII, 142
- Series Title
- -
- Call Number
- 004.3
More than Moore Technologies for Next Generation Computer Design
Processor Architectures
- Edition
- 1
- ISBN/ISSN
- 978-1-4939-2162-1
- Collation
- IX, 218
- Series Title
- -
- Call Number
- -
SystemVerilog Assertions and Functional Coverage
This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SystemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification using SystemVerilog Assertions and Functional Coverage, which will enable them to uncover hidden and hard to find bugs, point directly to the sourc…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30539-4
- Collation
- XXXV, 406
- Series Title
- -
- Call Number
- -
Invasive Tightly Coupled Processor Arrays
This book introduces new massively parallel computer (MPSoC) architectures called invasive tightly coupled processor arrays. It proposes strategies, architecture designs, and programming interfaces for invasive TCPAs that allow invading and subsequently executing loop programs with strict requirements or guarantees of non-functional execution qualities such as performance, power consumption, a…
- Edition
- -
- ISBN/ISSN
- 78-981-10-1058-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography