Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
2017
(2)
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Separation Logic for High-level Synthesis
      1. 
      Separation Logic for High-level Synthesis
      by 
      Winterstein, Felix. author.
      http://dx.doi.org/10.1007/978-3-319-53222-6
      Format: 
      Excerpt: 
      computing. Field-programmable gate arrays (FPGAs) gain efficiency by encoding the computing task into the
      Cover image for Model-Implementation Fidelity in Cyber Physical System Design
      2. 
      Model-Implementation Fidelity in Cyber Physical System Design
      by 
      Molnos, Anca. editor.
      http://dx.doi.org/10.1007/978-3-319-47307-9
      Format: 
      Excerpt: 
      , compiler construction, power/temperature modeling of digital devices, high-level performance analysis, and