Sciweavers

10669 search results - page 1734 / 2134
» Software - Implemented Self-healing System
Sort
View
WWW
2004
ACM
16 years 7 months ago
VersaTutor: architecture for a constraint-based intelligent tutor generator
Intelligent tutoring systems have demonstrated their utility in a variety of domains. However, they are notoriously resource intensive to build. We report here on the development ...
Viswanathan Kodaganallur, Rob R. Weitz, David Rose...
POPL
2009
ACM
16 years 7 months ago
Static contract checking for Haskell
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
CC
2009
Springer
153views System Software» more  CC 2009»
16 years 7 months ago
Register Spilling and Live-Range Splitting for SSA-Form Programs
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...
Matthias Braun, Sebastian Hack
CHI
2009
ACM
16 years 7 months ago
Lessons from participatory design with adolescents on the autism spectrum
Participatory user interface design with adolescent users on the autism spectrum presents a number of unique challenges and opportunities. Through our work developing a system to ...
Miriam Madsen, Rana El Kaliouby, Micah Eckhardt, M...
CHI
2007
ACM
16 years 7 months ago
Exploring the use of large displays in american megachurches
Within the HCI community, there is a growing interest in how technology is used and appropriated outside the workplace. In this paper, we present preliminary findings of how large...
Susan Wyche, Yevgeniy Eugene Medynskiy, Rebecca E....
« Prev « First page 1734 / 2134 Last » Next »