2740 search results - page 67 / 548 » Typing the Specialization Interface |
HPCN
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We describe a programming interface for parallel computing on NUMA (NonUniform Memory Access) shared memory machines. Although the interest in this architecture is rapidl...
FOSSACS
2004
Springer
14 years 3 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
Mobile devices are currently difficult to customize for the usability needs of elderly users. The elderly are instead referred to specially designed “senior phones” or softwar...
WETICE
2007
IEEE
14 years 4 months ago
2007
IEEE
Several approaches have been made to establish a generic middleware for tangible user interfaces (TUI). They target toward the independence of application domains as well as flexi...
FPT
2005
IEEE
14 years 3 months ago
2005
IEEE
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...