Search
Now showing items 1-9 of 9
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 ...
A Polynomial Time Procedure Converting Error Correcting Codes to Semantically Secure Wiretap Codes
(North Dakota State University, 2018)
We furnish a procedure based on universal hash families that can convert an error correcting code of rate R to a semantically secure wiretap code of rate R−ξ where ξ is some parameter derived from the eavesdropper’s channel. ...
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 Power Density GaN Based Boost Inverter and Resonant Modular Multilevel Boost Converter for Automotive Applications
(North Dakota State University, 2018)
With the rise in demand for electric vehicles increasing, the need for high efficiency electrification systems is in high demand. One challenge is keeping full output power to the electric drives as the vehicle battery ...
Dynamic Partial Reconfiguration as an Approach to Motor Control Design
(North Dakota State University, 2018)
Recent work in motor controls has been utilizing the Field Programmable Gate Array (FPGA) instead of using the more standard microprocessors or digital signal processors. FPGAs have the advantage of flexibility and ...
Thrombolysis of Blood Clots using Wirelessly Powered Inferior Vena Cava Filters
(North Dakota State University, 2018)
Venous thromboembolisms (VTE) are estimated to affect up to 900,000 individuals in the U.S. each year. Traditionally, VTE is treated prophylactically with anticoagulants or directly with thrombolytic therapies. Both ...
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 ...
Semantic Security for the Fast Fading Wiretap Channel.
(North Dakota State University, 2018)
We provide a set of semantically secure achievable rates for the fast fading wiretap channel. In particular, we do so for the cases where there is channel state information at the transmitter (CSIT) for both the main and ...