Filters








40,347 Hits in 3.5 sec

The JStar language philosophy

Mark Utting, Min-Hsien Weng, John G. Cleary
2013 Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM '13  
This paper introduces the JStar parallel programming language, which is a Javabased declarative language aimed at discouraging sequential programming, encouraging massively parallel programming, and giving  ...  We describe the execution semantics and runtime support of the language, several optimisations and parallelism strategies, with some benchmark results.  ...  Thanks to Google for supporting part of this work via a research grant to Dr Utting.  ... 
doi:10.1145/2442992.2442996 dblp:conf/ppopp/UttingWC13 fatcat:dpbkjgoj3batvlexadwu7q2eyq

The JStar language philosophy

Mark Utting, Min-Hsien Weng, John G. Cleary
2014 Parallel Computing  
This paper introduces the JStar parallel programming language, which is a Javabased declarative language aimed at discouraging sequential programming, encouraging massively parallel programming, and giving  ...  We describe the execution semantics and runtime support of the language, several optimisations and parallelism strategies, with some benchmark results.  ...  Thanks to Google for supporting part of this work via a research grant to Dr Utting.  ... 
doi:10.1016/j.parco.2013.11.004 fatcat:d2otqbwpdbdavindomruwy5oam

Parallel database systems: Open problems and new issues

Patrick Valduriez
1993 Distributed and parallel databases  
Parallel database systems attempt to exploit recent multiprocessor computer architectures in order to build high-performance and high-availability database servers at a much lower price than equivalent  ...  Finally, there are new issues raised by the introduction of higher functionality such as knowledge-based or object-oriented capabilities within a parallel database system.  ...  Ideally, data partitioning must be expressible by the programmer or the compiler within a parallel database language.  ... 
doi:10.1007/bf01264049 fatcat:owb356rtkra5fplbwktkwogdfi

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities [chapter]

Flavio Cruz, Ricardo Rocha
2015 Lecture Notes in Computer Science  
In this paper, we describe a compilation scheme for transforming linear logic programs enhanced with those features into efficient C++ code.  ...  Our experimental results show that compiled logic programs are less than one order of magnitude slower than hand-written C programs and much faster than interpreted languages such as Python.  ...  To the best of our knowledge, this is the first available compilation strategy for a linear logic language that supports these 3 features combined.  ... 
doi:10.1007/978-3-319-19686-2_3 fatcat:25xvbv3exreb7gzopukxeiqmli

Index support for rule activation

David A. Brant, Daniel P. Miranker
1993 SIGMOD record  
Based on the performance of DATEX we believe we have demonstrated a satisfactory solution to the rule activation problem for complex rule programs operating within a database system.  ...  In this paper we present performance results for the DATEX database rule system and its novel indexing technique for supporting rule activation.  ...  The CREL system includes a parallelizing compiler.  ... 
doi:10.1145/170036.170047 fatcat:bq2h3uwecrfixhjssu5fldfcsu

Index support for rule activation

David A. Brant, Daniel P. Miranker
1993 Proceedings of the 1993 ACM SIGMOD international conference on Management of data - SIGMOD '93  
Based on the performance of DATEX we believe we have demonstrated a satisfactory solution to the rule activation problem for complex rule programs operating within a database system.  ...  In this paper we present performance results for the DATEX database rule system and its novel indexing technique for supporting rule activation.  ...  The CREL system includes a parallelizing compiler.  ... 
doi:10.1145/170035.170047 dblp:conf/sigmod/BrantM93 fatcat:zfectabfvvdzfnsbtce6hgiypi

The European Declarative System, database, and languages

G. Haworth, S. Leunig, C. Hammer, M. Reeve
1990 IEEE Micro  
, and the senior management of the EDS partners and associate partners for their continuing support for this strategically important European initiative.  ...  The EDS project combines the complementaIY skills of its partners and associate partners to achieve a clear and common goal.  ...  Although intended as a compiler target language (CTL), Parle is probably a better parallel programming language.  ... 
doi:10.1109/40.62726 fatcat:6dlebznhsbe67mdtc6aq6ehrka

Declarative coordination of graph-based parallel programs

Flavio Cruz, Ricardo Rocha, Seth Copen Goldstein
2016 Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16  
In this paper, we introduce Coordinated Linear Meld (CLM), a concurrent forward-chaining linear logic programming language, with a declarative way to coordinate the execution of parallel programs allowing  ...  Declarative programming has been hailed as a promising approach to parallel programming since it makes it easier to reason about programs while hiding the implementation details of parallelism from the  ...  The implementation of LM is described in [12] and supports parallel execution and scheduling of programs using supporting data structures to manage the database of facts.  ... 
doi:10.1145/2851141.2851153 dblp:conf/ppopp/CruzRG16 fatcat:tb2vgec77fhvjf27gcwunngmjq

Inside "Big Data management"

Vinayak Borkar, Michael J. Carey, Chen Li
2012 Proceedings of the 15th International Conference on Extending Database Technology - EDBT '12  
this space for a number of years and are currently working together on "Big Data" problems.  ...  In this paper we review the history of systems for managing "Big Data" as well as today's activities and architectures from the (perhaps biased) perspective of three "database guys" who have been watching  ...  Acknowledgements: The ASTERIX project is supported by NSF IIS awards 0910989, 0910859, 0910820, and 0844574, a grant from the UC Discovery program, and a matching donation from eBay.  ... 
doi:10.1145/2247596.2247598 dblp:conf/edbt/BorkarCL12 fatcat:3vkbs5k5kzfwlbvykahgcec44q

The LDL system prototype

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, C. Zaniolo
1990 IEEE Transactions on Knowledge and Data Engineering  
The LDL system provides a declarative logic-based language and integrates relational database and logic programming technologies so as to support advanced data and knowledge-based applications.  ...  This paper contains a comprehensive overview of the system and contains a description of the LDL language and the compilation techniques employed to translate LDL queries into target queries on the stored  ...  FAD is a language based on relational algebra that is supported by a massively parallel database machine designed at MCC.  ... 
doi:10.1109/69.50907 fatcat:7hdqgrvklzf4zb2lm6xkejdk4a

Prolog and deductive databases

M.H. Williams, G. Chen, D. Ferbrache, P. Massey, S. Salvini, H. Taylor, K.F. Wong
1988 Knowledge-Based Systems  
The logic programming language Prologh as been shown to be a very suitable language for implementing database concepts.  ...  The second aim is to implement a deductive database management system in Prolog, while a thirdisto evaluate the effectiveness of parallel logic languagesf or implementing database applications.  ...  ACKNOWLEDGEMENTS The authors wish to acknowledge the support received from ICL, and from the Science and Engineering Research Council under the Alvey initiative,w ho are currently funding the project.  ... 
doi:10.1016/0950-7051(88)90077-9 fatcat:zfbzzpzmgffsbojqshay4j4sca

Porting doop to Soufflé

Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis
2017 Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017  
system; as a study of the effort required to migrate a substantial Datalog codebase (of several thousand rules) to a different dialect.  ...  The overall porting effort is interesting in many ways: as an instance of the benefits of specifying static analyses declaratively, gaining benefits (e.g., parallelism) from a mere porting to a new runtime  ...  We have concentrated on providing, for the analyses we present, identical analysis results, full language-feature support (modulo reflection, whose implementation is in progress), and highly-optimized  ... 
doi:10.1145/3088515.3088522 dblp:conf/pldi/AntoniadisTS17 fatcat:w4k2iwaetjcqjkcufb35t4vxya

Parallel programming with coordination structures

Steven Lucco, Oliver Sharp
1991 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91  
We introduce Delirium, a language in which one can concisely express many useful coordination structures.  ...  In this paper, we propose a methodology for synchronous parallel programming based on the notion of a coordination structure, a direct representation of the multidimensional dataflow patterns common to  ...  These tools support the incremental parallelization of an existing program.  ... 
doi:10.1145/99583.99612 dblp:conf/popl/LuccoS91 fatcat:mofyzetb25c5noinvg6kxtn4ry

Haskell Boards the Ferry [chapter]

George Giorgidze, Torsten Grust, Tom Schreiber, Jeroen Weijers
2011 Lecture Notes in Computer Science  
Relational database management systems can be used as a coprocessor for general-purpose programming languages, especially for those program fragments that carry out data-intensive and data-parallel computations  ...  Data-intensive and data-parallel computations are expressed using familiar combinators from the standard list prelude and are entirely executed on the database coprocessor.  ...  Tom and Jeroen have been supported by the German Research Foundation (DFG), Grant GR 2036/3-1. George has received support from the ScienceCampus Tübingen: Informational Environments.  ... 
doi:10.1007/978-3-642-24276-2_1 fatcat:iakpaden2jccxf4n4dkedxtvou

Declarative specification of the architecture of a software development environment

V. Ambriola, P. Ciancarini, A. Corradini
1995 Software, Practice & Experience  
We study the suitability of a rule-based, parallel logic language in the specification of the architecture of a complex software system, i.e. a software development environment.  ...  The result of this experience shows the usefulness and some weaknesses of logic languages for specifying and prototyping the software architecture of a distributed interactive system.  ...  ACKNOWLEDGEMENTS This paper was partially supported by CNR (National Council of Research) and MURST -(Italian Ministry for University and Research).  ... 
doi:10.1002/spe.4380250204 fatcat:pgtbrbcrdrg5phtdspeourrttm
« Previous Showing results 1 — 15 out of 40,347 results