1 - 25 of 2
Number of results to display per page
AuthorTitleSubjectDatePublication Type
1 Chowdhury, Faisal KhairMicro-electro-mechanical-systems-based single-device digital logic gates for harsh environment applicationsHarsh environment devices; MEMS-based compuation; MEMS logic gate; Rad-hard; Radiation hard devices; Ultra low power device2013-05dissertation
2 Zhang, ZhenVerification methodologies for fault-tolerant network-on-chip systemsCompositional Minimization; Labeled Petri-net; Model Checking; Network-on-Chip; Partial Order Reduction; Process Calculus2016-05dissertation
1 - 25 of 2