Projects per year
Projects
- 8 Finished
Search results
-
Finished
-
CPS: Small: Collaborative Research: Towards Secure, Privacy-Preserving, Verifiable Cyberphysical Systems
NSF - National Science Foundation
10/1/17 → 9/30/20
Project: Research project
-
XPS: EXPL: CCA: Verification and Optimization Tools for Heterogeneous Memory Consistency Models
NSF - National Science Foundation
9/1/15 → 8/31/19
Project: Research project
-
CPS: Medium: Collaborative Research: Efficient Mapping and Management of Applications onto Cyber-Physical Systems
NSF - National Science Foundation
9/1/11 → 8/31/16
Project: Research project
-
SHF:Small:SISA: A System-Level ISA for Power-Performance Management in CMPs
NSF - National Science Foundation
8/1/09 → 7/31/14
Project: Research project