1604 search results - page 195 / 321 » Development Separation in Lambda-Calculus |
103
Voted
ICDM
2008
IEEE
15 years 7 months ago
2008
IEEE
We describe DEIMOS, a system that automatically discovers and models new sources of information. The system exploits four core technologies developed by our group that makes an en...
113
Voted
ICMCS
2008
IEEE
15 years 7 months ago
2008
IEEE
Many digital sound archives still suffer from tremendous problems concerning access. Materials are often in different formats, with related media in separate collections, and with...
90
Voted
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
— We consider packet transmission scheduling at the MAC-layer via adaptive backoff algorithms that are favorable in terms of queue occupancies in a wireless network. General netw...
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
A non-trivial challenge in high performance, cluster computing is the communication overhead introduced by the cluster interconnect. A common strategy for addressing this challeng...
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
— It is well known that significant power savings can be obtained by disabling or shutting down parts of a circuit during idle periods. One method is to use a high level partiti...