1658 search results - page 134 / 332 » Implementing Bit-addressing with Specialization |
FLOPS
2004
Springer
14 years 2 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
GRID
2004
Springer
14 years 2 months ago
2004
Springer
Security is one of the most important features for Grid services. There are several specifications used to add security to Grid services, and some of them have been implemented a...
MKM
2004
Springer
14 years 2 months ago
2004
Springer
We propose a mathematical knowledge browser which helps people to read mathematical documents. By the browser printed mathematical documents can be scanned and recognized by OCR (O...
PATAT
2004
Springer
14 years 2 months ago
2004
Springer
A hybrid Multi-Objective Evolutionary Algorithm is used to tackle the uncapacitated exam proximity problem. In this hybridization, local search operators are used instead of the tr...
VLDB
2004
ACM
14 years 2 months ago
2004
ACM
We believe continued growth in the volume of personal content, together with a shift to a multi-device personal computing environment, will inevitably lead to the development of P...