Sciweavers

CAV
2012
Springer
270views Hardware» more  CAV 2012»
12 years 1 months ago
Automated Termination Proofs for Java Programs with Cyclic Data
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
Marc Brockschmidt, Richard Musiol, Carsten Otto, J...
CAV
2012
Springer
265views Hardware» more  CAV 2012»
12 years 1 months ago
An Axiomatic Memory Model for POWER Multiprocessors
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayv...
CAV
2012
Springer
222views Hardware» more  CAV 2012»
12 years 1 months ago
Leveraging Interpolant Strength in Model Checking
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharyg...
TEI
2012
ACM
254views Hardware» more  TEI 2012»
12 years 6 months ago
The Garden of Time: a tangible interactive video installation
In this paper we present the interactive video installation titled “The Garden of Time”: a tangible interface designed specifically to emphasize the conceptual nature of the p...
Jorge C. S. Cardoso, Carlos Sena Caires
TEI
2012
ACM
247views Hardware» more  TEI 2012»
12 years 6 months ago
LSP
This document presents a discussion about the Avaya S8300 and S8500 Media Server configured as a Local Survivable Processor (LSP). This discussion is intended to describe how the ...
Edwin van der Heide
TEI
2012
ACM
258views Hardware» more  TEI 2012»
12 years 6 months ago
The HapticTouch toolkit: enabling exploration of haptic interactions
In the real world, touch based interaction relies on haptic feedback (e.g., grasping objects, feeling textures). Unfortunately, such feedback is absent in current tabletop systems...
David Ledo, Miguel A. Nacenta, Nicolai Marquardt, ...
TEI
2012
ACM
257views Hardware» more  TEI 2012»
12 years 6 months ago
Spatial gestures using a tactile-proprioceptive display
Eelke Folmer, Tony Morelli
TEI
2012
ACM
285views Hardware» more  TEI 2012»
12 years 6 months ago
Sketch-a-TUI: low cost prototyping of tangible interactions using cardboard and conductive ink
Graspable tangibles are now being explored on the current generation of capacitive touch surfaces, such as the iPad and the Android tablet. Because the size and form factor is rel...
Alexander Wiethoff, Hanna Schneider, Michael Rohs,...
TEI
2012
ACM
256views Hardware» more  TEI 2012»
12 years 6 months ago
Situated modeling: a shape-stamping interface with tangible primitives
Existing 3D sketching methods typically allow the user to draw in empty space which is imprecise and lacks tactile feedback. We introduce a shape-stamping interface where users ca...
Manfred Lau, Masaki Hirose, Akira Ohgawara, Jun Mi...
TEI
2012
ACM
331views Hardware» more  TEI 2012»
12 years 6 months ago
Body-centric interaction with mobile devices
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
Xiang 'Anthony' Chen