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
The JStar language philosophy
2013
Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM '13
Preserved Fulltext
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
2014
Parallel 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 2017; you can also visit the original URL.
The file type is application/pdf.
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
1993
Distributed and parallel databases
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 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2015
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.
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
1993
SIGMOD record
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
1993
Proceedings of the 1993 ACM SIGMOD international conference on Management of data - SIGMOD '93
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
1990
IEEE Micro
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.
, 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
2016
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16
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.
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"
2012
Proceedings of the 15th International Conference on Extending Database Technology - EDBT '12
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 2015; you can also visit the original URL.
The file type is application/pdf.
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
1990
IEEE Transactions on Knowledge and Data Engineering
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 2003; you can also visit the original URL.
The file type is application/pdf.
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
1988
Knowledge-Based Systems
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 2011; you can also visit the original URL.
The file type is application/pdf.
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é
2017
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017
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.
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
1991
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91
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.
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]
2011
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 2016; you can also visit the original URL.
The file type is application/pdf.
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
1995
Software, Practice & Experience
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 2008; you can also visit the original URL.
The file type is application/pdf.
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