Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
1 |
![]() |
Chowdhury, Faisal Khair | Micro-electro-mechanical-systems-based single-device digital logic gates for harsh environment applications | Harsh environment devices; MEMS-based compuation; MEMS logic gate; Rad-hard; Radiation hard devices; Ultra low power device | 2013-05 | dissertation |
2 |
![]() |
Zhang, Zhen | Verification methodologies for fault-tolerant network-on-chip systems | Compositional Minimization; Labeled Petri-net; Model Checking; Network-on-Chip; Partial Order Reduction; Process Calculus | 2016-05 | dissertation |