Filters








8 Hits in 3.9 sec

Filter-embedding semiring fusion for programming with MapReduce

Kento Emoto, Sebastian Fischer, Zhenjiang Hu
2012 Formal Aspects of Computing  
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

Yu Liu, Kento Emoto, Zhenjiang Hu
2013 Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM '13  
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]

Kento Emoto, Sebastian Fischer, Zhenjiang Hu
2012 Lecture Notes in Computer Science  
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

P. Höfner
2012 Formal Aspects of Computing  
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

Amir Shaikhha
2018
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

Mojtaba Sedaghatjoo, Salimeh Dehghani
2017 ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS   unpublished
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)

Jeremy Blackburn, Emiliano De Cristofaro, Michael Sirivianos, Thorsten Strufe, Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan, Ute Schmid, Stephen Muggleton, Rishabh Singh, Daniel Cremers (+7 others)
unpublished
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
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