1860 search results - page 331 / 372 » tools 2009 |
CHI
2009
ACM
14 years 11 months ago
2009
ACM
Digital pen systems, originally designed to digitize annotations made on physical paper, are evolving to permit a wider variety of applications. Although the type and quality of p...
CHI
2009
ACM
14 years 11 months ago
2009
ACM
This paper investigates the role of online resources in problem solving. We look specifically at how programmers--an exemplar form of knowledge workers--opportunistically interlea...
CHI
2009
ACM
14 years 11 months ago
2009
ACM
Much of the work done in the field of tangible interaction has focused on creating tools for learning; however, in many cases, little evidence has been provided that tangible inte...
PPOPP
2009
ACM
14 years 11 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
PPOPP
2009
ACM
14 years 11 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...