5377 search results - page 744 / 1076 » Programming Languages For Interactive Computing |
129
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Computer science is seeing a decline in enrollment at all levels of education. One key strategy for reversing this decline is to improve methods of student retention. This paper, ...
138
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
158
Voted
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...
217
Voted
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
130
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...