3865 search results - page 428 / 773 » From Bidirectionality to Alternation |
173
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
188
click to vote
STOC
2005
ACM
16 years 7 months ago
2005
ACM
We investigate constructions of pseudorandom generators that fool polynomial tests of degree d in m variables over finite fields F. Our main construction gives a generator with se...
172
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Active research is being conducted in reducing power consumption of all the components of the Internet. To that end, we propose schemes for power reduction in network switches - T...
266
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
In distributed stream processing environments, large numbers of continuous queries are distributed onto multiple servers. When one or more of these servers become overloaded due t...
272
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Data lineage and data provenance are key to the management of scientific data. Not knowing the exact provenance and processing pipeline used to produce a derived data set often re...