8009 search results - page 215 / 1602 » cans 2005 |
169
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
The `Scrap your boilerplate' approach to generic programming allows the programmer to write generic functions that can traverse arbitrary data structures, and yet have type-s...
157
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
133
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
As pervasive computing environments become popular, ID devices, such as smart cards and RFID tags, introduce multi-service environments, in which a user can receive multiple servi...
142
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
As technology scales, power consumption and thermal effects have become challenges for system-on-chip designers. The rising on-chip temperatures can have negative impacts on SoC p...
178
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
Performance of modern computers is tied closely to the effective use of cache because of the continually increasing speed discrepancy between processors and main memory. We demons...