Limit Search Results
Author
SpringerLink (Online service)
(49)
Spear, Chris. author.
(3)
Bertacco, Valeria. author.
(2)
Das, Vinu V. editor.
(2)
Reis, Ricardo. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
49 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Author 
Villar, Eugenio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8297-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Co-design for System Acceleration A Quantitative Approach
Co-design for System Acceleration A Quantitative Approach
Author 
Nedjah, Nadia. author. Mourelle, Luiza De Macedo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5546-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design
Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design
Author 
Chinnery, David. author. Keutzer, Kurt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68953-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Low Power Methodology Manual For System-on-Chip Design
Low Power Methodology Manual For System-on-Chip Design
Author 
Keating, Michael. author. Flynn, David. author. Aitken, Robert. author. Gibbons, Alan. author. Shi, Kaijian. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71819-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
Author 
Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-36495-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
Author 
Vachoux, A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4998-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Author 
Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5138-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China
Author 
Wang, Kesheng. editor. Kovacs, George L. editor. Wozny, Michael. editor. Fang, Minglun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34403-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Author 
Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560548
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for System-Level Design Techniques for Energy-Efficient Embedded Systems
System-Level Design Techniques for Energy-Efficient Embedded Systems
Author 
Schmitz, Marcus T. author. Al-Hashimi, Bashir M. author. Eles, Petru. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106642
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89963-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action