1112 search results - page 184 / 223 » software 2002 |
CHI
2002
ACM
15 years 10 months ago
2002
ACM
This paper introduces WebQuests as potential teaching tools for HCI and software design educators. Based on our daylong observations of a high-school class, we believe that WebQue...
CHI
2002
ACM
15 years 10 months ago
2002
ACM
We describe the design and use of a system facilitating the sharing of calendar information between remotely located, multi-generational family members. Most previous work in this...
ICFP
2002
ACM
15 years 9 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
CC
2010
Springer
15 years 4 months ago
2010
Springer
Compilers use register coalescing to avoid generating code for copy instructions. For architectures with register aliasing such as x86, Smith, Ramsey, and Holloway (2004) presented...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
In 2002, Japan announced the Earth Simulator—a supercomputer based on low-volume vector processors and a custom network—and reported that computational scientists had used it ...