Sciweavers

9444 search results - page 317 / 1889
» The Language Model LMNtal
Sort
View
SIGMOD
2009
ACM
140views Database» more  SIGMOD 2009»
16 years 7 months ago
Distributed data-parallel computing using a high-level programming language
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
Michael Isard, Yuan Yu
ICDAR
2005
IEEE
16 years 10 days ago
The Recognition Strategy Language
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
Richard Zanibbi, Dorothea Blostein, James R. Cordy
BIRTHDAY
2005
Springer
16 years 8 days ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler
EUROPAR
2005
Springer
16 years 8 days ago
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
Arturo González-Escribano, Arjan J. C. van ...
182
Voted
EICS
2010
ACM
15 years 11 months ago
User interface extensible markup language
We have developed GrafiXML, an original user interface builder in that it enables designers and developers to design several UIs simultaneously for multiple contexts of use, i.e. ...
David Faure, Jean Vanderdonckt