487 search results - page 54 / 98 » A Compiled Implementation of Normalization by Evaluation |
224
Voted
HASKELL
2009
ACM
15 years 10 months 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...
97
Voted
ECOOP
2008
Springer
15 years 5 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...
115
click to vote
ICSEA
2006
IEEE
15 years 9 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...
133
Voted
APWEB
2004
Springer
15 years 9 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...
137
Voted
CORR
2007
Springer
15 years 3 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...