2728 search results - page 476 / 546 » Ideologies and Their Points of View |
189
click to vote
POPL
2004
ACM
16 years 5 days ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
135
click to vote
RECOMB
2004
Springer
16 years 5 days ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...
111
click to vote
STOC
2005
ACM
16 years 5 days ago
2005
ACM
This paper explores what kinds of information two parties must communicate in order to correct errors which occur in a shared secret string W. Any bits they communicate must leak ...
OSDI
2004
ACM
16 years 5 days ago
2004
ACM
Detecting network path anomalies generally requires examining large volumes of traffic data to find misbehavior. We observe that wide-area services, such as peerto-peer systems an...
120
click to vote
ICALP
2009
Springer
16 years 5 days ago
2009
Springer
We develop new structural results for apex-minor-free graphs and show their power by developing two new approximation algorithms. The first is an additive approximation for colorin...