495 search results - page 71 / 99 » A Compiler for the Smart Space |
167
click to vote
XSYM
2007
Springer
16 years 8 days ago
2007
Springer
To globally optimize execution plans for XQuery expressions, a plan generator must generate and compare plan alternatives. In proven compiler architectures, the unit of plan genera...
175
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents Abacus, a service-oriented programming language designed for the development of grid applications. Abacus considers that all the grid resources constitute a un...
177
click to vote
FPL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose CUSTARD — CUStomisable Threaded ARchitecture — a soft processor design space that combines support for multiple hardware threads and automatically generate...
150
click to vote
TGC
2005
Springer
15 years 11 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
134
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...