Sciweavers

13489 search results - page 2304 / 2698
» Operating System
Sort
View
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 7 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
CHES
2009
Springer
200views Cryptology» more  CHES 2009»
16 years 7 months ago
Accelerating AES with Vector Permute Instructions
We demonstrate new techniques to speed up the Rijndael (AES) block cipher using vector permute instructions. Because these techniques avoid data- and key-dependent branches and mem...
Mike Hamburg
CHI
2008
ACM
16 years 7 months ago
Pointing with fingers, hands and arms for wearable computing
Pointing is a fundamental enabling operation for human-computer interaction across a broad spectrum of scenarios. The paper presents a study exploring how to develop a pointing sy...
Ian Oakley, John Sunwoo, Ilyeon Cho
CHI
2007
ACM
16 years 7 months ago
Copy-and-paste between overlapping windows
Copy-and-paste, one of the fundamental operations of modern user interfaces, can be performed through various means (e.g. using the keyboard, mouse-based direct manipulation or me...
Olivier Chapuis, Nicolas Roussel
CHI
2006
ACM
16 years 7 months ago
Prototyping retractable string-based interaction techniques for dual-display mobile devices
Accessing information on mobile and wearable devices often requires the user's visual attention, and the precise operation of virtual or physical widgets. However, these inte...
Chandra Narayanaswami, Gábor Blaskó,...
« Prev « First page 2304 / 2698 Last » Next »