4 search results - page 1 / 1 » The Arrowsmith Project: 2005 Status Report |
DIS
2005
Springer
13 years 10 months ago
2005
Springer
In the 1980s, Don Swanson proposed the concept of “undiscovered public knowledge,” and published several examples in which two disparate literatures (i.e., sets of articles hav...
CHI
2005
ACM
14 years 5 months ago
2005
ACM
Previous research suggests working on multiple projects may lead to stress and misallocation of attention. A modest redesign of Instant Messenger (IM) could help team members jugg...
TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
WMPI
2004
ACM
13 years 10 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...