408 search results - page 16 / 82 » Using a Live-In Laboratory for Ubiquitous Computing Research |
DAC
2003
ACM
14 years 8 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
SMI
2005
IEEE
14 years 1 months ago
2005
IEEE
Distance fields provide an implicit representation of shape that has advantages in many application areas; in this overview, we focus on their use in digital design. Distance fi...
UIST
2003
ACM
14 years 20 days ago
2003
ACM
This research explores distributed sensing techniques for mobile devices using synchronous gestures. These are patterns of activity, contributed by multiple users (or one user wit...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
In this paper we present a novel apparatus for simulating real world primary tasks typically found in wearable computing. Additionally, we report on a preliminary interruption stu...
CLUSTER
2006
IEEE
14 years 1 months ago
2006
IEEE
Heterogeneous networks of computers have rapidly become a very promising commodity computing solution, expected to play a major role in the design of high performance computing sy...