114 search results - page 21 / 23 » Algebraic Translations, Correctness and Algebraic Compiler C... |
110
click to vote
CJ
2010
14 years 9 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
200
click to vote
POPL
2007
ACM
16 years 1 hour ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
115
click to vote
ICDE
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—MapReduce is emerging as a generic parallel programming paradigm for large clusters of machines. This trend combined with the growing need to run machine learning (ML) a...
157
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
Relational XQuery systems try to re-use mature relational data management infrastructures to create fast and scalable XML database technology. This paper describes the main featur...
108
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...