—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
— In this paper, the modeling and control design of a vertical flight attitude control for a mini tail-sitter with variable pitch propeller is discussed. Tail-sitters VTOL-UAVs ...
K. C. Wong, Jose Alfredo Guerrero Mata, David Lara...
We introduce a new robust cache-based timing attack on AES. We present experiments and concrete evidence that our attack can be used to obtain secret keys of remote cryptosystems i...
This paper attempts to reduce the overheads of dynamically creating and destroying the virtual environments for secure job execution. It broaches a grid architecture which we call...
A method is proposed to encode multiple regions of interest(ROI) in JPEG2000 image. It rearranges truncation point for every codeblock in each layer. It assigns higher bitrate to ...
Jun Hou, Xiangzhong Fang, Jiliang Li, Haibin Yin, ...