2142 search results - page 297 / 429 » Improved Conditional E-Payments |
LPAR
1999
Springer
14 years 2 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
ICRA
1998
IEEE
14 years 2 months ago
1998
IEEE
Good robot performance often relies upon the selection of design parameters that lead to a well conditioned Jacobian or impedance "design" matrix. In this paper, a new d...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper presents reduction recognition and parallel code generationstrategies for distributed-memorymultiprocessors. We describe techniques to recognize a broad range of implic...
ISCA
1998
IEEE
14 years 2 months ago
1998
IEEE
Indirect branch prediction is likely to become increasingly important in the future because indirect branches occur more frequently in object-oriented programs. With misprediction ...
AMTA
1998
Springer
14 years 2 months ago
1998
Springer
Cross-language retrieval systems use queries in one natural language to guide retrieval of documents that might be written in another. Acquisition and representation of translation...