3709 search results - page 165 / 742 » Supporting experimentation with Side-Views |
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
—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-...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— 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 ...
CTRSA
2007
Springer
14 years 3 months ago
2007
Springer
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...
CCGRID
2006
IEEE
14 years 3 months ago
2006
IEEE
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...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
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 ...