9521 search results - page 1572 / 1905 » Compiling with continuations, continued |
176
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
Numerous interaction techniques have been developed that make “virtual” pointing at targets in graphical user interfaces easier than analogous physical pointing tasks by invok...
199
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
184
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
We demonstrate our airwriting interface for mobile handsfree text entry. The interface enables a user to input text into a computer by writing in the air like on an imaginary blac...
191
click to vote
PAM
2012
Springer
14 years 2 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
189
Voted
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...