Limit Search Results
Author
SpringerLink (Online service)
(51)
Drechsler, Rolf. author.
(3)
Henkel, Jörg. author.
(3)
Shafique, Muhammad. author.
(3)
Marwedel, Peter. author.
(2)
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
51 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Contactless VLSI Measurement and Testing Techniques
Contactless VLSI Measurement and Testing Techniques
Author 
Sayil, Selahattin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69673-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Digital Storage in Consumer Electronics The Essential Guide
Digital Storage in Consumer Electronics The Essential Guide
Author 
Coughlin, Thomas M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Machine Learning for Model Order Reduction
Machine Learning for Model Order Reduction
Author 
Mohamed, Khaled Salah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75714-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach
Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach
Author 
Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61455-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Timing Performance of Nanometer Digital Circuits Under Process Variations
Timing Performance of Nanometer Digital Circuits Under Process Variations
Author 
Champac, Victor. author. Garcia Gervacio, Jose. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75465-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016
Author 
Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62920-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Author 
Pagani, Santiago. author. Chen, Jian-Jia. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77479-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Author 
Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72814-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Fundamentals of Electromigration-Aware Integrated Circuit Design
Fundamentals of Electromigration-Aware Integrated Circuit Design
Author 
Lienig, Jens. author. Thiele, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73558-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Symbolic Parallelization of Nested Loop Programs
Symbolic Parallelization of Nested Loop Programs
Author 
Tanase, Alexandru-Petru. author. Hannig, Frank. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73909-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Author 
Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56045-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Dependable Multicore Architectures at Nanoscale
Dependable Multicore Architectures at Nanoscale
Author 
Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54422-9
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Formal System Verification State-of the-Art and Future Trends
Formal System Verification State-of the-Art and Future Trends
Author 
Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57685-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Partial Reconfiguration on FPGAs Architectures, Tools and Applications
Partial Reconfiguration on FPGAs Architectures, Tools and Applications
Author 
Koch, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331261.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1225-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Embedded Systems Design with FPGAs
Embedded Systems Design with FPGAs
Author 
Athanas, Peter. editor. Pnevmatikatos, Dionisios. editor. Sklavos, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331266.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1362-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Model-Based Design of Adaptive Embedded Systems
Model-Based Design of Adaptive Embedded Systems
Author 
Basten, Twan. editor. Hamberg, Roelof. editor. Reckers, Frans. editor. Verriet, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331594.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4821-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Designing TSVs for 3D Integrated Circuits
Designing TSVs for 3D Integrated Circuits
Author 
Khan, Nauman. author. Hassoun, Soha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331791.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5508-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for 3D Video Coding for Embedded Devices Energy Efficient Algorithms and Architectures
3D Video Coding for Embedded Devices Energy Efficient Algorithms and Architectures
Author 
Zatt, Bruno. author. Shafique, Muhammad. author. Bampi, Sergio. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332110.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6759-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for System-Level Validation High-Level Modeling and Directed Test Generation Techniques
System-Level Validation High-Level Modeling and Directed Test Generation Techniques
Author 
Chen, Mingsong. author. Qin, Xiaoke. author. Koo, Heon-Mo. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331265.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1359-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs
UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs
Author 
Daněk, Martin. author. Kafka, Leoš. author. Kohout, Lukáš. author. Sýkora, Jaroslav. author. Bartosinski, Roman. author.
Preferred Shelf Number 
ONLINE(331311.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2410-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC)
Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC)
Author 
Gangadharan, Sridhar. author. Churiwala, Sanjay. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3269-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for A Practical Introduction to Hardware/Software Codesign
A Practical Introduction to Hardware/Software Codesign
Author 
Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331370.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3737-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for An ASIC Low Power Primer Analysis, Techniques and Specification
An ASIC Low Power Primer Analysis, Techniques and Specification
Author 
Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331464.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach
Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach
Author 
Cardoso, João Manuel Paiva. editor. Diniz, Pedro C. editor. de Figueiredo Coutinho, José Gabriel. editor. Petrov, Zlatko Marinov. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331615.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Energy-Efficient Communication Processors Design and Implementation for Emerging Wireless Systems
Energy-Efficient Communication Processors Design and Implementation for Emerging Wireless Systems
Author 
Fasthuber, Robert. author. Catthoor, Francky. author. Raghavan, Praveen. author. Naessens, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331642.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4992-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Introduction to Hardware Security and Trust
Introduction to Hardware Security and Trust
Author 
Tehranipoor, Mohammad. editor. Wang, Cliff. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8080-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for System Specification and Design Languages Selected Contributions from FDL 2010
System Specification and Design Languages Selected Contributions from FDL 2010
Author 
Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1427-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip
Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip
Author 
Onabajo, Marvin. author. Silva-Martinez, Jose. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2296-9
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Tree-based Heterogeneous FPGA Architectures Application Specific Exploration and Optimization
Tree-based Heterogeneous FPGA Architectures Application Specific Exploration and Optimization
Author 
Farooq, Umer. author. Marrakchi, Zied. author. Mehrez, Habib. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3594-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for High Quality Test Pattern Generation and Boolean Satisfiability
High Quality Test Pattern Generation and Boolean Satisfiability
Author 
Eggersglüß, Stephan. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9976-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Introduction to Open Core Protocol Fastpath to System-on-Chip Design
Introduction to Open Core Protocol Fastpath to System-on-Chip Design
Author 
Schwaderer, W David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0103-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits
The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits
Author 
Arora, Mohit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Disruptive Logic Architectures and Technologies From Device to System Level
Disruptive Logic Architectures and Technologies From Device to System Level
Author 
Gaillardon, Pierre-Emmanuel. author. O’Connor, Ian. author. Clermidy, Fabien. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3058-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for VLSI 2010 Annual Symposium Selected papers
VLSI 2010 Annual Symposium Selected papers
Author 
Voros, Nikolaos. editor. Mukherjee, Amar. editor. Sklavos, Nicolas. editor. Masselos, Konstantinos. editor. Huebner, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1488-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Power Distribution Networks with On-Chip Decoupling Capacitors
Power Distribution Networks with On-Chip Decoupling Capacitors
Author 
Jakushokas, Renatas. author. Popovich, Mikhail. author. Mezhiba, Andrey V. author. Köse, Selçuk. author. Friedman, Eby G. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7871-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for VLSI Design A Practical Guide for FPGA and ASIC Implementations
VLSI Design A Practical Guide for FPGA and ASIC Implementations
Author 
Chandrasetty, Vikram Arkalgud. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1120-8
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Author 
Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for High-Level Modeling and Synthesis of Analog Integrated Systems
High-Level Modeling and Synthesis of Analog Integrated Systems
Author 
Martens, Ewout S. J. author. Gielen, Georges G. E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6802-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Robustness and Usability in Modern Design Flows
Robustness and Usability in Modern Design Flows
Author 
Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6536-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Design for Manufacturability and Yield for Nano-Scale CMOS
Design for Manufacturability and Yield for Nano-Scale CMOS
Author 
Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation
Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation
Author 
Manolache, Sorin. author. Eles, Petru. author. Peng, Zebo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5509-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Optimized ASIP Synthesis from Architecture Description Language Models
Optimized ASIP Synthesis from Architecture Description Language Models
Author 
Schliebusch, Oliver. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5686-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
Author 
Ramachandran, S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5829-5
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Designing Embedded Processors A Low Power Perspective
Designing Embedded Processors A Low Power Perspective
Author 
Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5869-1
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Real-Time Object Uniform Design Methodology with UML
Real-Time Object Uniform Design Methodology with UML
Author 
Duc, Bui Minh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5977-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Exploring C for Microcontrollers A Hands on Approach
Exploring C for Microcontrollers A Hands on Approach
Author 
Parab, Jivan S. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6067-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Computational Intelligence for Engineering and Manufacturing
Computational Intelligence for Engineering and Manufacturing
Author 
Andina, Diego. editor. Pham, Duc Truong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-37452-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification
Author 
DasGupta, Pallab. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation
Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation
Author 
Wehmeyer, Lars. author. Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4822-X
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for System Level Design of Reconfigurable Systems-on-Chip
System Level Design of Reconfigurable Systems-on-Chip
Author 
Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136832
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for System-level Test and Validation of Hardware/Software Systems
System-level Test and Validation of Hardware/Software Systems
Author 
Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-145-8
Format: 
Availability 
Online Library~1
Available:
Copies: