Limit Search Results
Author
SpringerLink (Online service)
(21)
Abbass, Hussein A. author.
(1)
Akesson, Benny. author.
(1)
Amini, Esmaeil. author.
(1)
Bayoumi, Magdy. author.
(1)
Language
Publication Date
-
Subject
Microprocessors.
(19)
Processor Architectures.
(19)
Electronic Circuits and Systems.
(15)
Electronic circuits.
(15)
Electronics and Microelectronics, Instrumentation.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
Cover image for Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Author 
Zhan, Naijun. author. Wang, Shuling. author. (orcid)0000-0002-2798-2660 Zhao, Hengjun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47016-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Spatial Data Handling in Big Data Era Select Papers from the 17th IGU Spatial Data Handling Symposium 2016
Spatial Data Handling in Big Data Era Select Papers from the 17th IGU Spatial Data Handling Symposium 2016
Author 
Zhou, Chenghu. editor. Su, Fenzhen. editor. Harvey, Francis. editor. Xu, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4424-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Green IT Engineering: Concepts, Models, Complex Systems Architectures
Green IT Engineering: Concepts, Models, Complex Systems Architectures
Author 
Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44162-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era
The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era
Author 
Rahmani, Amir M. editor. Liljeberg, Pasi. editor. Hemani, Ahmed. editor. Jantsch, Axel. editor. Tenhunen, Hannu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31596-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives
Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives
Author 
Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Carbon Nanotubes for Interconnects Process, Design and Applications
Carbon Nanotubes for Interconnects Process, Design and Applications
Author 
Todri-Sanial, Aida. editor. Dijon, Jean. editor. Maffucci, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29746-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Fundamentals of IP and SoC Security Design, Verification, and Debug
Fundamentals of IP and SoC Security Design, Verification, and Debug
Author 
Bhunia, Swarup. editor. Ray, Sandip. editor. Sur-Kolay, Susmita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50057-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Techniques for Building Timing-Predictable Embedded Systems
Techniques for Building Timing-Predictable Embedded Systems
Author 
Guan, Nan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27198-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs
Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs
Author 
Goossens, Sven. author. Chandrasekar, Karthik. author. Akesson, Benny. author. Goossens, Kees. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32094-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for FPGAs for Software Programmers
FPGAs for Software Programmers
Author 
Koch, Dirk. editor. Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Ziener, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26408-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computational Red Teaming Risk Analytics of Big-Data-to-Decisions Intelligent Systems
Computational Red Teaming Risk Analytics of Big-Data-to-Decisions Intelligent Systems
Author 
Abbass, Hussein A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08281-3
Format: 
Availability 
Online Library~1
Available:
Copies: