8838 search results - page 1341 / 1768 » Generalizing Domain Theory |
163
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
In this paper we consider the general goal of supporting physical manipulation of digital audio in a specific context: the performance disk jockey (DJ) seeking to migrate from vin...
262
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
285
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Sensor networks play a central role in applications that monitor variables in geographic areas such as the traffic volume on roads or the temperature in the environment. A key fea...
244
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Many modern applications, from Grid computing to RSS handling, need to support data processing in a distributed environment. Currently, most such applications are implemented usin...
225
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
To address increasing traffic congestion and its associated consequences, traffic managers are turning to intelligent transportation management. The latte project is extending dat...