10996 search results - page 2017 / 2200 » Future Directions in Computing |
CHI
2009
ACM
14 years 9 months ago
2009
ACM
One direction of the emerging paradigm of interface design is the use of physical metaphors, the adoption of physical phenomenon from the real world with physical principles such ...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
In everyday life, humans interact with many products. In many of these interactions, a person performs an action with, toward, or in the vicinity of a product and then the product...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
HPCA
2009
IEEE
14 years 9 months ago
2009
IEEE
The number of functional errors escaping design verification and being released into final silicon is growing, due to the increasing complexity and shrinking production schedules ...