Search Results for - Narrowed by: Systems engineering. - Computer science.

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016

2024-06-07T20:41:23Z

by Fummi, Franco. editor.
https://doi.org/10.1007/978-3-319-62920-9
Format: Electronic Resources

Smart Camera Design Algorithms, Architectures, and Art

2024-06-07T20:41:23Z

by Wolf, Marilyn. author.
https://doi.org/10.1007/978-3-319-69523-5
Format: Electronic Resources

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

2024-06-07T20:41:23Z

by Pagani, Santiago. author.
https://doi.org/10.1007/978-3-319-77479-4
Format: Electronic Resources

Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applications

2024-06-07T20:41:23Z

by Halak, Basel. author.
https://doi.org/10.1007/978-3-319-76804-5
Format: Electronic Resources

Digital Storage in Consumer Electronics The Essential Guide

2024-06-07T20:41:23Z

by Coughlin, Thomas M. author.
https://doi.org/10.1007/978-3-319-69907-3
Format: Electronic Resources

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations

2024-06-07T20:41:23Z

by Hidaka, Hideto. editor.
https://doi.org/10.1007/978-3-319-55306-1
Format: Electronic Resources

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

2024-06-07T20:41:23Z

by Mehta, Ashok B. author.
https://doi.org/10.1007/978-3-319-59418-7
Format: Electronic Resources

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

2024-06-07T20:41:23Z

by Weichslgartner, Andreas. author.
https://doi.org/10.1007/978-981-10-7356-4
Format: Electronic Resources

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators

2024-06-07T20:41:23Z

by Liu, Qiyuan. author.
https://doi.org/10.1007/978-3-319-77225-7
Format: Electronic Resources

Reliable and Energy Efficient Streaming Multiprocessor Systems

2024-06-07T20:41:23Z

by Das, Anup Kumar. author.
https://doi.org/10.1007/978-3-319-69374-3
Format: Electronic Resources

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

2024-06-07T20:41:23Z

by Melikyan, Vazgen. author.
https://doi.org/10.1007/978-3-319-71637-4
Format: Electronic Resources

Symbolic Parallelization of Nested Loop Programs

2024-06-07T20:41:23Z

by Tanase, Alexandru-Petru. author.
https://doi.org/10.1007/978-3-319-73909-0
Format: Electronic Resources

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

2024-06-07T20:41:23Z

by Khan, Muhammad Usman Karim. author.
https://doi.org/10.1007/978-3-319-61455-7
Format: Electronic Resources

Advanced Logic Synthesis

2024-06-07T20:41:23Z

by Reis, André Inácio. editor.
https://doi.org/10.1007/978-3-319-67295-3
Format: Electronic Resources

Fog Computing in the Internet of Things Intelligence at the Edge

2024-06-07T20:41:23Z

by Rahmani, Amir M. editor.
https://doi.org/10.1007/978-3-319-57639-8
Format: Electronic Resources

Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection

2024-06-07T20:41:23Z

by Salmani, Hassan. author.
https://doi.org/10.1007/978-3-319-79081-7
Format: Electronic Resources

Contactless VLSI Measurement and Testing Techniques

2024-06-07T20:41:23Z

by Sayil, Selahattin. author.
https://doi.org/10.1007/978-3-319-69673-7
Format: Electronic Resources

Brain-Machine Interface Closed-loop Bidirectional System Design

2024-06-07T20:41:23Z

by Liu, Xilin. author.
https://doi.org/10.1007/978-3-319-67940-2
Format: Electronic Resources

Formal System Verification State-of the-Art and Future Trends

2024-06-07T20:41:23Z

by Drechsler, Rolf. editor.
https://doi.org/10.1007/978-3-319-57685-5
Format: Electronic Resources

CMOS Circuits for Biological Sensing and Processing

2024-06-07T20:41:23Z

by Mitra, Srinjoy. editor.
https://doi.org/10.1007/978-3-319-67723-1
Format: Electronic Resources

Machine Learning for Model Order Reduction

2024-06-07T20:41:23Z

by Mohamed, Khaled Salah. author.
https://doi.org/10.1007/978-3-319-75714-8
Format: Electronic Resources

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

2024-06-07T20:41:23Z

by Przigoda, Nils. author.
https://doi.org/10.1007/978-3-319-72814-8
Format: Electronic Resources

Phase Change Memory Device Physics, Reliability and Applications

2024-06-07T20:41:23Z

by Redaelli, Andrea. editor.
https://doi.org/10.1007/978-3-319-69053-7
Format: Electronic Resources

Energy-Efficient Smart Temperature Sensors in CMOS Technology

2024-06-07T20:41:23Z

by Souri, Kamran. author.
https://doi.org/10.1007/978-3-319-62307-8
Format: Electronic Resources

Low-Power Design and Power-Aware Verification

2024-06-07T20:41:23Z

by Khondkar, Progyna. author.
https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing

2024-06-07T20:41:23Z

by Haj-Yahya, Jawad. author.
https://doi.org/10.1007/978-981-10-8554-3
Format: Electronic Resources

5G and E-Band Communication Circuits in Deep-Scaled CMOS

2024-06-07T20:41:23Z

by Vigilante, Marco. author.
https://doi.org/10.1007/978-3-319-72646-5
Format: Electronic Resources

Design of FPGA-Based Computing Systems with OpenCL

2024-06-07T20:41:23Z

by Waidyasooriya, Hasitha Muthumala. author.
https://doi.org/10.1007/978-3-319-68161-0
Format: Electronic Resources

Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies

2024-06-07T20:41:23Z

by Serpanos, Dimitrios. author.
https://doi.org/10.1007/978-3-319-69715-4
Format: Electronic Resources

Dependable Multicore Architectures at Nanoscale

2024-06-07T20:41:23Z

by Ottavi, Marco. editor.
https://doi.org/10.1007/978-3-319-54422-9
Format: Electronic Resources

Fundamentals of Electromigration-Aware Integrated Circuit Design

2024-06-07T20:41:23Z

by Lienig, Jens. author.
https://doi.org/10.1007/978-3-319-73558-0
Format: Electronic Resources

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

2024-06-07T20:41:23Z

by Saleh, Hani. author.
https://doi.org/10.1007/978-3-319-63973-4
Format: Electronic Resources

Timing Performance of Nanometer Digital Circuits Under Process Variations

2024-06-07T20:41:23Z

by Champac, Victor. author.
https://doi.org/10.1007/978-3-319-75465-9
Format: Electronic Resources

Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language

2024-06-07T20:41:23Z

by Elahi, Ata. author.
https://doi.org/10.1007/978-3-319-66775-1
Format: Electronic Resources

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

2024-06-07T20:41:23Z

by Marwedel, Peter. author.
https://doi.org/10.1007/978-3-319-56045-8
Format: Electronic Resources

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017

2024-06-07T20:41:23Z

by Harpe, Pieter. editor.
https://doi.org/10.1007/978-3-319-61285-0
Format: Electronic Resources

3D Stacked Chips From Emerging Processes to Heterogeneous Systems

2024-06-07T20:41:23Z

by Elfadel, Ibrahim (Abe) M. editor.
https://doi.org/10.1007/978-3-319-20481-9
Format: Electronic Resources

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design

2024-06-07T20:41:23Z

by Kastensmidt, Fernanda. editor.
https://doi.org/10.1007/978-3-319-14352-1
Format: Electronic Resources

Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture

2024-06-07T20:41:23Z

by Zhang, Chenxin. author.
https://doi.org/10.1007/978-3-319-24004-6
Format: Electronic Resources

Soft Error Mechanisms, Modeling and Mitigation

2024-06-07T20:41:23Z

by Sayil, Selahattin. author.
https://doi.org/10.1007/978-3-319-30607-0
Format: Electronic Resources

Smart Systems Integration and Simulation

2024-06-07T20:41:23Z

by Bombieri, Nicola. editor.
https://doi.org/10.1007/978-3-319-27392-1
Format: Electronic Resources

Reversible and Quantum Circuits Optimization and Complexity Analysis

2024-06-07T20:41:23Z

by Abdessaied, Nabila. author.
https://doi.org/10.1007/978-3-319-31937-7
Format: Electronic Resources

Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs

2024-06-07T20:41:23Z

by Goossens, Sven. author.
https://doi.org/10.1007/978-3-319-32094-6
Format: Electronic Resources

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications

2024-06-07T20:41:23Z

by Mehta, Ashok B. author.
https://doi.org/10.1007/978-3-319-30539-4
Format: Electronic Resources

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection

2024-06-07T20:41:23Z

by Mohamed, Khaled Salah. author.
https://doi.org/10.1007/978-3-319-22035-2
Format: Electronic Resources

Linear and Integer Programming Made Easy

2024-06-07T20:41:23Z

by Hu, T. C. author.
https://doi.org/10.1007/978-3-319-24001-5
Format: Electronic Resources

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015

2024-06-07T20:41:23Z

by Drechsler, Rolf. editor.
https://doi.org/10.1007/978-3-319-31723-6
Format: Electronic Resources

Techniques for Building Timing-Predictable Embedded Systems

2024-06-07T20:41:23Z

by Guan, Nan. author.
https://doi.org/10.1007/978-3-319-27198-9
Format: Electronic Resources

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems

2024-06-07T20:41:23Z

by Tlelo-Cuautle, Esteban. author.
https://doi.org/10.1007/978-3-319-34115-6
Format: Electronic Resources

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems

2024-06-07T20:41:23Z

by Moutinho, Filipe de Carvalho. author.
https://doi.org/10.1007/978-3-319-20822-0
Format: Electronic Resources

Design for Manufacturability with Advanced Lithography

2024-06-07T20:41:23Z

by Yu, Bei. author.
https://doi.org/10.1007/978-3-319-20385-0
Format: Electronic Resources

FPGAs for Software Programmers

2024-06-07T20:41:23Z

by Koch, Dirk. editor.
https://doi.org/10.1007/978-3-319-26408-0
Format: Electronic Resources

Reliable Software for Unreliable Hardware A Cross Layer Perspective

2024-06-07T20:41:23Z

by Rehman, Semeen. author.
https://doi.org/10.1007/978-3-319-25772-3
Format: Electronic Resources

Near Threshold Computing Technology, Methods and Applications

2024-06-07T20:41:23Z

by Hübner, Michael. editor.
https://doi.org/10.1007/978-3-319-23389-5
Format: Electronic Resources

The Boundary-Scan Handbook

2024-06-07T20:41:23Z

by Parker, Kenneth P. author.
https://doi.org/10.1007/978-3-319-01174-5
Format: Electronic Resources

Invasive Tightly Coupled Processor Arrays

2024-06-07T20:41:23Z

by LARI, VAHID. author.
https://doi.org/10.1007/978-981-10-1058-3
Format: Electronic Resources

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

2024-06-07T20:41:23Z

by Boulé, Marc. author.
http://dx.doi.org/10.1007/978-1-4020-8586-4
Format: Electronic Resources

The NeuroProcessor An Integrated Interface to Biological Neural Networks

2024-06-07T20:41:23Z

by Perelman, Yevgeny. author.
http://dx.doi.org/10.1007/978-1-4020-8726-4
Format: Electronic Resources

High-Level Modeling and Synthesis of Analog Integrated Systems

2024-06-07T20:41:23Z

by Martens, Ewout S. J. author.
http://dx.doi.org/10.1007/978-1-4020-6802-7
Format: Electronic Resources

High-Level Synthesis From Algorithm to Digital Circuit

2024-06-07T20:41:23Z

by Coussy, Philippe. editor.
http://dx.doi.org/10.1007/978-1-4020-8588-8
Format: Electronic Resources

Practical Aspects of Embedded System Design using Microcontrollers

2024-06-07T20:41:23Z

by Parab, Jivan S. author.
http://dx.doi.org/10.1007/978-1-4020-8393-8
Format: Electronic Resources

Structured Analog CMOS Design

2024-06-07T20:41:23Z

by Stefanović, Danica. author.
http://dx.doi.org/10.1007/978-1-4020-8573-4
Format: Electronic Resources

Circuit and Interconnect Design for RF and High Bit-Rate Applications

2024-06-07T20:41:23Z

by Veenstra, Hugo. author.
http://dx.doi.org/10.1007/978-1-4020-6884-3
Format: Electronic Resources

Digital VLSI Design with Verilog A Textbook from Silicon Valley Technical Institute

2024-06-07T20:41:23Z

by Williams, John. author.
http://dx.doi.org/10.1007/978-1-4020-8446-1
Format: Electronic Resources

Ingredients for Successful System Level Design Methodology

2024-06-07T20:41:23Z

by Patel, Hiren D. author.
http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Electronic Resources

Robustness and Usability in Modern Design Flows

2024-06-07T20:41:23Z

by Fey, Görschwin. author.
http://dx.doi.org/10.1007/978-1-4020-6536-1
Format: Electronic Resources

Hardware Verification with SystemVerilog An Object-Oriented Framework

2024-06-07T20:41:23Z

by Mintz, Mike. author.
http://dx.doi.org/10.1007/978-0-387-71740-1
Format: Electronic Resources

Processor Design System-on-Chip Computing for ASICs and FPGAs

2024-06-07T20:41:23Z

by Nurmi, Jari. editor.
http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: Electronic Resources

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

2024-06-07T20:41:23Z

by Ma, Zhe. editor.
http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: Electronic Resources

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

2024-06-07T20:41:23Z

by Bobda, Christophe. editor.
http://dx.doi.org/10.1007/978-1-4020-6100-4
Format: Electronic Resources

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

2024-06-07T20:41:23Z

by Azémard, Nadine. editor.
http://dx.doi.org/10.1007/978-3-540-74442-9
Format: Electronic Resources

Optimized ASIP Synthesis from Architecture Description Language Models

2024-06-07T20:41:23Z

by Schliebusch, Oliver. author.
http://dx.doi.org/10.1007/978-1-4020-5686-4
Format: Electronic Resources

Design for Manufacturability and Yield for Nano-Scale CMOS

2024-06-07T20:41:23Z

by Chiang, Charles C. author.
http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: Electronic Resources

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

2024-06-07T20:41:23Z

by Verma, Manish. author.
http://dx.doi.org/10.1007/978-1-4020-5897-4
Format: Electronic Resources

Real-Time Object Uniform Design Methodology with UML

2024-06-07T20:41:23Z

by Duc, Bui Minh. editor.
http://dx.doi.org/10.1007/978-1-4020-5977-3
Format: Electronic Resources

Vlsi-Soc: From Systems To Silicon Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia

2024-06-07T20:41:23Z

by Reis, Ricardo. editor.
http://dx.doi.org/10.1007/978-0-387-73661-7
Format: Electronic Resources

Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems

2024-06-07T20:41:23Z

by Arslan, Hüseyin. editor.
http://dx.doi.org/10.1007/978-1-4020-5542-3
Format: Electronic Resources

Co-design for System Acceleration A Quantitative Approach

2024-06-07T20:41:23Z

by Nedjah, Nadia. author.
http://dx.doi.org/10.1007/978-1-4020-5546-1
Format: Electronic Resources

Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

2024-06-07T20:41:23Z

by Ramachandran, S. author.
http://dx.doi.org/10.1007/978-1-4020-5829-5
Format: Electronic Resources

Exploring C for Microcontrollers A Hands on Approach

2024-06-07T20:41:23Z

by Parab, Jivan S. author.
http://dx.doi.org/10.1007/978-1-4020-6067-0
Format: Electronic Resources

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2024-06-07T20:41:23Z

by Huss, Sorin A. editor.
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: Electronic Resources

Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation

2024-06-07T20:41:23Z

by Manolache, Sorin. author.
http://dx.doi.org/10.1007/1-4020-5509-9
Format: Electronic Resources

Designing Embedded Processors A Low Power Perspective

2024-06-07T20:41:23Z

by Henkel, Jörg. editor.
http://dx.doi.org/10.1007/978-1-4020-5869-1
Format: Electronic Resources

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

2024-06-07T20:41:23Z

by Ramesh, S. editor.
http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: Electronic Resources

Computational Intelligence for Engineering and Manufacturing

2024-06-07T20:41:23Z

by Andina, Diego. editor.
http://dx.doi.org/10.1007/0-387-37452-3
Format: Electronic Resources

SAT-Based Scalable Formal Verification Solutions

2024-06-07T20:41:23Z

by Ganai, Malay K. author.
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: Electronic Resources

Embedded System Design

2024-06-07T20:41:23Z

by Marwedel, Peter. author.
http://dx.doi.org/10.1007/0-387-30087-2
Format: Electronic Resources

Computation Engineering Applied Automata Theory and Logic

2024-06-07T20:41:23Z

by Gopalakrishnan, Ganesh. author.
http://dx.doi.org/10.1007/0-387-32520-4
Format: Electronic Resources

FPGA Implementations of Neural Networks

2024-06-07T20:41:23Z

by Omondi, Amos R. editor.
http://dx.doi.org/10.1007/0-387-28487-7
Format: Electronic Resources

AmIware Hardware Technology Drivers of Ambient Intelligence

2024-06-07T20:41:23Z

by Mukherjee, Satyen. editor.
http://dx.doi.org/10.1007/1-4020-4198-5
Format: Electronic Resources

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

2024-06-07T20:41:23Z

by Vounckx, Johan. editor.
http://dx.doi.org/10.1007/11847083
Format: Electronic Resources

A Roadmap for Formal Property Verification

2024-06-07T20:41:23Z

by DasGupta, Pallab. author.
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: Electronic Resources

VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany

2024-06-07T20:41:23Z

by Glesner, Manfred. editor.
http://dx.doi.org/10.1007/0-387-33403-3
Format: Electronic Resources

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2024-06-07T20:41:23Z

by Burton, Mark. author.
http://dx.doi.org/10.1007/1-4020-5138-7
Format: Electronic Resources

Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation

2024-06-07T20:41:23Z

by Wehmeyer, Lars. author.
http://dx.doi.org/10.1007/1-4020-4822-X
Format: Electronic Resources

Linear Systems

2024-06-07T20:41:23Z

by Antsaklis, Panos J. author.
http://dx.doi.org/10.1007/0-8176-4435-0
Format: Electronic Resources

Hardware Verification with C++ A Practitioner’s Handbook

2024-06-07T20:41:23Z

by Mintz, Mike. author.
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: Electronic Resources

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

2024-06-07T20:41:23Z

by Mishra, Prabhat. author.
http://dx.doi.org/10.1007/b137514
Format: Electronic Resources

System-level Test and Validation of Hardware/Software Systems

2024-06-07T20:41:23Z

by Sonza Reorda, Matteo. editor.
http://dx.doi.org/10.1007/1-84628-145-8
Format: Electronic Resources

System Level Design of Reconfigurable Systems-on-Chip

2024-06-07T20:41:23Z

by Voros, Nikolaos S. editor.
http://dx.doi.org/10.1007/b136832
Format: Electronic Resources

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays

2024-06-07T20:41:23Z

by Gokhale, Maya. author.
http://dx.doi.org/10.1007/b136834
Format: Electronic Resources