Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Post-Silicon Validation and Debug
Post-Silicon Validation and Debug
Author 
Mishra, Prabhat. editor. Farahmandi, Farimah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98116-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Processor description languages applications and methodologies
Processor description languages applications and methodologies
Author 
Mishra, Prabhat, 1973- Dutt, Nikil.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123742872
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Author 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137514
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
Cover image for Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010, Proceedings, Part II
Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010, Proceedings, Part II
Author 
Ranka, Sanjay. editor. Banerjee, Arunava. editor. Biswas, Kanad Kishore. editor. Dua, Sumeet. editor. Mishra, Prabhat. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14825-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I
Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I
Author 
Ranka, Sanjay. editor. Banerjee, Arunava. editor. Biswas, Kanad Kishore. editor. Dua, Sumeet. editor. Mishra, Prabhat. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14834-7
Format: 
Availability 
Online Library~1
Available:
Copies: