A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Filter-embedding semiring fusion for programming with MapReduce
2012
Formal Aspects of Computing
Preserved Fulltext
The framework consists of two important calculation theorems: the shortcut fusion theorem of semiring homomorphisms bridges the gap between specifications and efficient implementations, and the filter-embedding ...
By integrating the generate-and-test programming paradigm and semirings for aggregation of results, we propose a novel parallel programming framework for MapReduce. ...
Acknowledgments This work was partially supported by Japan Society for the Promotion of Science, Grant-in-Aid for Young Scientists (B) 24700025 and Grant-in-Aid for Research Activity Start-up 22800007. ...
doi:10.1007/s00165-012-0241-8
fatcat:3iyb5lsc2rew3hvw33wd2kgzx4
A generate-test-aggregate parallel programming library
2013
Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Generate-Test-Aggregate (GTA for short) is a novel programming model for MapReduce, dramatically simplifying the development of efficient parallel algorithms. ...
This GTA programming library supports both sequential or parallel execution on single computer and on-cluster execution with MapReduce computing engines. ...
We are now investigating interesting applications in the GTA framework, and challenging to extend our library from lists to trees and graphs so that GTA style algorithms can be efficiently implemented for ...
doi:10.1145/2442992.2443000
dblp:conf/ppopp/LiuEH13
fatcat:5efzndqmh5aubm7actzaivwk7e
Generate, Test, and Aggregate
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The framework consists of two important calculation theorems: the shortcut fusion theorem of semiring homomorphisms bridges the gap between specifications and efficient implementations, and the filter-embedding ...
By integrating the generate-and-test programing paradigm and semirings for aggregation of results, we propose a novel parallel programming framework for MapReduce. ...
Main Theorem 3 (Filter-embedding Semiring Fusion). ...
doi:10.1007/978-3-642-28869-2_13
fatcat:rieczurnbresdbwmcugo4sssqi
Preface
2012
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We are grateful to Daniel Jackson for providing the photograph. ...
Last but not least we send acknowledgements to the authors for their submissions and the reviewers for their work, the latter often done under great time pressure. ...
Hu equip MapReduce with a programming theory in calculational form in "Filter-embedding semiring fusion for programming with MapReduce". ...
doi:10.1007/s00165-012-0257-0
fatcat:dbej2gxdqrhyxne7yynjkxo2vi
Compilation and Code Optimization for Data Analytics
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The semiring configuration defines the semantics of the program. For example, program P with the Boolean semiring 〈B, ∨, ∧〉 configuration expresses the k-hop reachability program. ...
Similarly, with the tropical semiring 〈R, min, +〉 [48] configuration, program P expresses the k-hop shortest path program.
IVM & Semirings. ...
One way to optimize such programs is by using program analysis techniques to extract declarative queries from the imperative code [59, 58, 56, 364, 365] . ...
doi:10.5075/epfl-thesis-8762
fatcat:4pxsqtmmffd3fapczklmiou7fe
Italian Journal of Pure and Applied Mathematics PRESERVING INJECTIVE PROPERTIES OF ACTS OVER MONOIDS UNDER LIMITS AND THEIR TRANSFER FROM COLIMITS TO THE COMPONENTS
2017
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Materials and Methods: Firstly a Hadoop system was established taking MapReduce as the programming framework. ...
Also, the relationship between these filters and other filters on hoops are discussed. Moreover, conditions for a filter becomes a n-fold (positive) implicative filter are given. ...
fatcat:yz5y3sc52vbopbepdhm564bkci
Deep Learning for Computer Vision (Dagstuhl Seminar 17391) Body-Centric Computing (Dagstuhl Seminar 17392)
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This report documents the program and the outcomes of Dagstuhl Seminar 17361 "Finite and Algorithmic Model Theory". ...
We discussed different abstractions and refinement strategies for reasoning with large first-order theories. Acknowledgments. ...
This We presented an approach to reasoning with large theories which is based on the abstractionrefinement framework [1]. ...
fatcat:7srdlw7mxfhrpiwdxshf2n455y
Dagstuhl Reports, Volume 9, Issue 1, January 2019, Complete Issue
[article]
2019
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We introduce a novel approach to dealing with negation and a corresponding commutative semiring of polynomials with dual indeterminates. ...
Lattice problems and norm embeddings. ...
Bender (Section 3.3) discussed variants of Bloom filters which adapt based on past queries. ...
doi:10.4230/dagrep.9.1
fatcat:m3grhk5hanccbg7oxkhos7kv4e