9521 search results - page 1845 / 1905 » Compiling with continuations, continued |
118
Voted
SIAMCOMP
1998
15 years 1 months ago
1998
This paper continues the investigation of the connection between probabilistically checkable proofs (PCPs) and the approximability of NP-optimization problems. The emphasis is on p...
130
click to vote
RTS
2002
15 years 1 months ago
2002
As desktop computer computational power continues to increases dramatically, it is becoming commonplace to run a combination of deadline-sensitive applications. Despite the prolif...
TCS
1998
15 years 1 months ago
1998
We consider a model of analog computation which can recognize various languages in real time. We encode an input word as a point in Rd by composing iterated maps, and then apply i...
107
click to vote
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
Innovative teachers are continually looking for creative ideas, both to get their ideas across and to hold the interest of their students. One of the latest trends is the use of L...
134
Voted
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
In the Fall of 1999 the Center for Excellence in Undergraduate Teaching (CEUT) and the International Office at Virginia Tech provided a small grant to support the incorporation of...