Sciweavers

10837 search results - page 2085 / 2168
» Adaptive User Interfaces
Sort
View
ICFP
2009
ACM
16 years 4 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak
268
Voted
PLDI
2009
ACM
16 years 4 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...
237
Voted
ASPLOS
2009
ACM
16 years 4 months ago
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
Martin Dimitrov, Huiyang Zhou
CHI
2009
ACM
16 years 4 months ago
EyeSpy: supporting navigation through play
This paper demonstrates how useful content can be generated as a by-product of an enjoyable mobile multiplayer game. In EyeSpy, players tag geographic locations with photos or tex...
Marek Bell, Stuart Reeves, Barry Brown, Scott Sher...
CHI
2009
ACM
16 years 4 months ago
Two studies of opportunistic programming: interleaving web foraging, learning, and writing code
This paper investigates the role of online resources in problem solving. We look specifically at how programmers--an exemplar form of knowledge workers--opportunistically interlea...
Joel Brandt, Philip J. Guo, Joel Lewenstein, Mira ...
« Prev « First page 2085 / 2168 Last » Next »