3172 search results - page 228 / 635 » On the Random-Self-Reducibility of Complete Sets |
163
click to vote
CSL
2004
Springer
16 years 4 hour ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
184
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The complexity of virtual environments has grown spectacularly over the recent years, mainly thanks to the use of the currently cheap high performance graphics cards. As ...
189
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
170
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
We consider the problem of data sharing between autonomous data sources in an environment where constraints cannot be placed on the shared contents of sources. Our solutions rely ...
201
click to vote
AGILEDC
2003
IEEE
15 years 12 months ago
2003
IEEE
As part of the delivery an automated hub for a postal operator, the Solystic company has to build a complex and feature rich Information System that supports a highly automated pr...