Sciweavers

736 search results - page 115 / 148
» Sampling of operators
Sort
View
SI3D
1997
ACM
15 years 2 months ago
Context Sensitive Flying Interface
The requirement to change scale frequently is common to many 2D and 3D applications. Users must “zoom in” to examine details and “zoom out” to appreciate the context. This...
Colin Ware, Daniel J. Fleet
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 1 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
CHI
1995
ACM
15 years 1 months ago
Bricks: Laying the Foundations for Graspable User Interfaces
We introduce the concept of Graspable User Interfaces that allow direct control of electronic or virtual objects through physical handles for control. These physical artifacts, wh...
George W. Fitzmaurice, Hiroshi Ishii, William Buxt...
AVI
2008
15 years 9 days ago
A mixed-fidelity prototyping tool for mobile devices
In this paper we present a software framework which supports the construction of mixed-fidelity (from sketch-based to software) prototypes for mobile devices. The framework is ava...
Marco de Sá, Luís Carriço, Lu...
WSC
2008
15 years 9 days ago
Better than a petaflop: The power of efficient experimental design
Recent advances in high-performance computing have pushed computational capabilities to a petaflop (a thousand trillion operations per second) in a single computing cluster. This ...
Susan M. Sanchez