487 search results - page 54 / 98 » A Compiled Implementation of Normalization by Evaluation |
255
click to vote
HASKELL
2009
ACM
16 years 14 days ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
132
click to vote
ECOOP
2008
Springer
15 years 7 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
144
click to vote
ICSEA
2006
IEEE
15 years 12 months ago
2006
IEEE
—In mobile environment, it is very common that mobile devices periodically stay in disconnection mode. In a networked world as today, computer users rely on network services so h...
168
click to vote
APWEB
2004
Springer
15 years 11 months ago
2004
Springer
In a state-of-the-art XML database, an XML query is evaluated as a sequence of structural joins in which positions of data nodes are used to perform each individual structural joi...
165
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This is to present work on modifying the Aleph ILP system so that it evaluates the hypothesised clauses in parallel by distributing the data-set among the nodes of a parallel or di...