Limit Search Results
Author
Language
Publication Date
-
2013
(2)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
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:
2. 
Cover image for Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives
Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives
Author 
Wang, Weixun. author. Mishra, Prabhat. author. Ranka, Sanjay. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331237.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0278-7
Format: 
Availability 
Online Library~1
Available:
Copies: