Search
Now showing items 1-4 of 4
Timed Refinement for Verification of Real-Time Object Code Programs
(North Dakota State University, 2018)
Real-time systems such as medical devices, surgical robots, and microprocessors are safety- critical applications that have hard timing constraint. The correctness of real-time systems is important as the failure may result ...
Analysis of Secrecy in Multi-User Wireless Network
(North Dakota State University, 2018)
We consider an Ergodic Fading Broadcast Channel with one Legitimate receiver and one Eavesdropper (BCoLoE) having arbitrary fading statistics, where the instantaneous Channel State Information (CSI) are known only at the ...
Timed Refinement for Verification of Real-Time Object Code Programs
(North Dakota State University, 2018)
Real-time systems such as medical devices, surgical robots, and microprocessors are safety-critical
applications that have hard timing constraint. The correctness of real-time systems is
important as the failure may ...
High Performance Static Random Access Memory Design for Emerging Applications
(North Dakota State University, 2018)
Memory wall is becoming a more and more serious bottleneck of the processing speed of microprocessors. The mismatch between CPUs and memories has been increasing since three decades ago. SRAM was introduced as the bridge ...