2737 search results - page 416 / 548 » interaction 2009 |
318
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
261
click to vote
SIGCSE
2009
ACM
16 years 8 months ago
2009
ACM
Complex distributed systems are increasingly important in modern computer science, yet many undergraduate curricula do not give students the opportunity to develop the skill sets ...
207
click to vote
CICLING
2009
Springer
16 years 8 months ago
2009
Springer
This paper presents a method for improving phrase-based Statistical Machine Translation systems by enriching the original translation model with information derived from a multilin...
230
click to vote
EUROCRYPT
2009
Springer
16 years 8 months ago
2009
Springer
We consider information-theoretic key agreement between two parties sharing somewhat different versions of a secret w that has relatively little entropy. Such key agreement, also ...
299
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
In order to enable extensibility, modern query optimizers typically leverage a transformation rule based framework. Testing individual rule correctness as well as correctness of r...