4095 search results - page 489 / 819 » How to test a tree |
147
click to vote
PADL
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
138
click to vote
CHI
2010
ACM
16 years 20 days ago
2010
ACM
Devices capable of gestural interaction through motion sensing are increasingly becoming available to consumers; however, motion gesture control has yet to appear outside of game ...
146
click to vote
SAC
2010
ACM
16 years 20 days ago
2010
ACM
The Sporadic Server (SS) overcomes the major limitations of other Resource Reservation Fixed Priority based techniques, but it also presents some drawbacks, mainly related to an i...
146
click to vote
SIGCSE
2010
ACM
16 years 20 days ago
2010
ACM
Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of graphical user interfaces (GUIs). To prepare students...
140
click to vote
CHI
2009
ACM
16 years 19 days ago
2009
ACM
We built a text-based programming environment that enables youth to design and implement a chat client for the One Laptop per Child XO. The environment allows users to program and...