Sciweavers

672 search results - page 61 / 135
» On the Expressive Power of the Loop Language
Sort
View
SIGMOD
2007
ACM
122views Database» more  SIGMOD 2007»
16 years 6 months ago
XQuery layers
XML is the data interoperability standard in many application domains. Therefore, an increasing number of researchers and professionals, who are not computer scientists (although ...
Daniele Braga, Alessandro Campi, Stefano Ceri, Pao...
IPPS
1999
IEEE
15 years 10 months ago
Marshaling/Demarshaling as a Compilation/Interpretation Process
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
Christian Queinnec
POPL
2004
ACM
16 years 6 months ago
Simple relational correctness proofs for static analyses and program transformations
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
Nick Benton
ICWS
2009
IEEE
15 years 3 months ago
A MapReduce-Enabled Scientific Workflow Composition Framework
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
Xubo Fei, Shiyong Lu, Cui Lin
IJPP
2011
107views more  IJPP 2011»
15 years 19 days ago
Parallel Iterator for Parallelizing Object-Oriented Applications
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
Nasser Giacaman, Oliver Sinnen