4325 search results - page 768 / 865 » Incremental computation with names |
CHI
2009
ACM
15 years 11 months ago
2009
ACM
According to the Free Software Movement, the user ought to have "the freedoms to make changes, and to publish improved versions" and "to study how the program works...
HPCA
2009
IEEE
15 years 11 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
CHI
2007
ACM
15 years 11 months ago
2007
ACM
We present the first user study of out-of-turn interaction in menu-based, interactive voice-response systems. Out-ofturn interaction is a technique which empowers the user (unable...
VLSID
2004
IEEE
15 years 11 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
RECOMB
2007
Springer
15 years 11 months ago
2007
Springer
Currently, large-scale projects are underway to perform whole genome disease association studies. Such studies involve the genotyping of hundreds of thousands of SNP markers. One o...