3388 search results - page 596 / 678 » Type-theoretic design patterns |
ASPLOS
2008
ACM
13 years 11 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
ICS
2010
Tsinghua U.
13 years 11 months ago
2010
Tsinghua U.
Data prefetching technique is widely used to bridge the growing performance gap between processor and memory. Numerous prefetching techniques have been proposed to exploit data pa...
VIP
2001
13 years 10 months ago
2001
The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in...
JUCS
2008
13 years 9 months ago
2008
Abstract: Although immense efforts have been invested in the construction of hundreds of learning object repositories, the degree of reuse of learning resources maintained in such ...
IJMMS
2007
13 years 9 months ago
2007
We have designed and built a mobile emotional messaging system named eMoto. With it, users can compose messages through using emotion-related gestures as input, rendering a backgr...