Limit Search Results
Author
SpringerLink (Online service)
(24)
Ahmed, Jameel. author.
(1)
Akesson, Benny. author.
(1)
Alioto, Massimo. author.
(1)
Anagnostopoulos, Iraklis. editor.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
24 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
Author 
Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52709-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
Cover image for Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems
Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems
Author 
Moutinho, Filipe de Carvalho. author. Santos Gomes, Luís Filipe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20822-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications
SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications
Author 
Mehta, Ashok B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30539-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Invasive Tightly Coupled Processor Arrays
Invasive Tightly Coupled Processor Arrays
Author 
LARI, VAHID. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1058-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Soft Error Mechanisms, Modeling and Mitigation
Soft Error Mechanisms, Modeling and Mitigation
Author 
Sayil, Selahattin. author. (orcid)0000-0003-4158-0454 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30607-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems
Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems
Author 
Tlelo-Cuautle, Esteban. author. (orcid)0000-0001-7187-4686 Rangel-Magdaleno, José de Jesús. author. de la Fraga, Luis Gerardo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34115-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Reliable Software for Unreliable Hardware A Cross Layer Perspective
Reliable Software for Unreliable Hardware A Cross Layer Perspective
Author 
Rehman, Semeen. 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-25772-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
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:
22. 
Cover image for Embedded Systems Design for High-Speed Data Acquisition and Control
Embedded Systems Design for High-Speed Data Acquisition and Control
Author 
Di Paolo Emilio, Maurizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06865-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Trusted Computing for Embedded Systems
Trusted Computing for Embedded Systems
Author 
Candaele, Bernard. editor. Soudris, Dimitrios. editor. Anagnostopoulos, Iraklis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09420-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Flip-Flop Design in Nanometer CMOS From High Speed to Low Energy
Flip-Flop Design in Nanometer CMOS From High Speed to Low Energy
Author 
Alioto, Massimo. author. Consoli, Elio. author. Palumbo, Gaetano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-01997-0
Format: 
Availability 
Online Library~1
Available:
Copies: