Search
Now showing items 151-152 of 152
Joint Compression and Encryption
(North Dakota State University, 2010)
This research work proposes two techniques of joint compression and encryption using
Shanon Fano Elias coding and Arithmetic coding respectively. The first scheme proposed
is called Adaptive Shannon-Fano-Elias code where ...
Refinementbased Verification of Elastic Pipelined System with Early Evaluation
(North Dakota State University, 2010)
This thesis presents a formal verification procedure to check correctness of the synchronous
elastic pipelined system that incorporates early evaluation against its synchronous
parent system. Note that the goal of the ...