392 search results - page 63 / 79 » APROL: a Hybrid Language |
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
It is possible to implement the parallel random access machine (PRAM) on a chip multiprocessor (CMP) efficiently with an emulated shared memory (ESM) architecture to gain easy par...
105
click to vote
CC
2003
Springer
15 years 5 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
103
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Due to an increasing volume of XML data, it is considered prudent to store XML data on an industry-strength database system instead of relying on a domain specific application or...
103
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
100
click to vote
AFP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...