423 search results - page 38 / 85 » Specifying Strategies for Exercises |
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
While iterative optimization has become a popular compiler optimization approach, it is based on a premise which has never been truly evaluated: that it is possible to learn the b...
CL
2010
Springer
14 years 10 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
A collaborative crawler is a group of crawling nodes, in which each crawling node is responsible for a specific portion of the web. We study the problem of collecting geographical...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech, gesture and eye gaze tracking. The flexibility they offer results in ...
154
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...