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.
Filters
Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey
[article]
2018
arXiv
pre-print
Preserved Fulltext
Other Versions
Constraint Handling Rules is an effective concurrent declarative programming language and a versatile computational logic formalism. ...
In this comprehensive survey, we give an overview of concurrent and parallel as well as distributed CHR semantics, standard and more exotic, that have been proposed over the years at various levels of ...
We thank the anonymous referees for their helpful, detailed and demanding suggestions on how to improve this survey. ...
arXiv:1703.10959v4
fatcat:hw4zegjtzzdnvh4aw7pmcrbnkq
Parallelism, concurrency and distribution in constraint handling rules: A survey
2018
Theory and Practice of Logic Programming
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 CHR, guarded reactive rules rewrite a multi-set of constraints. Concurrency is inherent, since rules can be applied to the constraints in parallel. ...
AbstractConstraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism. ...
Acknowledgements We thank the anonymous referees for their helpful, detailed and demanding suggestions on how to improve this survey. ...
doi:10.1017/s1471068418000078
fatcat:ze2r4fx3wjc5zfwlxlhkxiusta
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007
[article]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
Constraint Handling Rules (CHR) is a high-level programming language based on multi-headed multiset rewrite rules. ...
Covering more than 180 publications, this new survey provides an overview of recent results in a wide range of research areas, from semantics and analysis to systems, extensions and applications. ...
A language for experimenting with declarative paradigms. In ...
arXiv:0906.4474v2
fatcat:pmadjyra3vdublffzz5pjzlbxa
Genetic rule based techniques in cellular manufacturing (1992-2010): a systematic survey
2010
International Journal of Engineering, Science and Technology
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 2012; you can also visit the original URL.
The file type is application/pdf.
This study demonstrates a substantial description of various genetic algorithm based techniques and its usage in manufacturing cell design problem and categorically emphasizes on the significance of the ...
Considering the steady convergence framework of genetic algorithm, it is intensely recognized in group technology applications in cellular manufacturing, and subsequently employed in part family construction ...
families and machine cells are developed concurrently. ...
doi:10.4314/ijest.v2i5.60148
fatcat:6mhrktjsmncijhhjzt2mgqm4vq
A Survey of Active Object Languages
2017
ACM Computing Surveys
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.
to model asynchronously parallel and distributed computations in a safe manner. ...
Data sharing is a crucial aspect of concurrent and distributed programming. ...
doi:10.1145/3122848
fatcat:ovdeu5o3mbanlectgc6r7kv5he
Constraint Handling Rules - What Else?
[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 2017; you can also visit the original URL.
The file type is application/pdf.
Constraint Handling Rules (CHR) is both an effective concurrent declarative constraint-based programming language and a versatile computational formalism. ...
These program examples are explained more in [55] and discussed in detail in [56] . Some examples use a third kind of rule, a hybrid rule called simpagation rule. It has the form H 1 \H 2 ⇔ C|B. ...
Conclusions Constraint Handling Rules -what else? ...
doi:10.1007/978-3-319-21542-6_2
fatcat:jvm4bxr2wfdp7lyrgxttapekwq
Constraint logic programming: a survey
1994
The Journal of Logic Programming
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.
The new constraints occur as predicates, and guarded rules (called constraint handling rules) are used to simplify the new constraints. ...
In particular, it is not clear whether constraint handling rules can produce incremental (in the sense defined in Section 10.1) constraint solvers, except in simple cases. ...
We would like to thank the following people for their comments on drafts of this paper and/or help in other ways: M. Bruynooghe, N. Heintze, P. van Hentenryck, A. Herold, J. -L. Lassez, S. ...
doi:10.1016/0743-1066(94)90033-7
fatcat:rg3sfyyn3vblrbvu43hltau2eu
A Survey of Parallel Sequential Pattern Mining
[article]
2019
arXiv
pre-print
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.
Other Versions
To solve these problems, mining sequential patterns in a parallel or distributed computing environment has emerged as an important issue with many applications. ...
In this paper, an in-depth survey of the current status of parallel sequential pattern mining (PSPM) is investigated and provided, including detailed categorization of traditional serial SPM approaches ...
ACKNOWLEDGMENT We would like to thank the anonymous reviewers for their detailed comments and constructive suggestions for this paper. ...
arXiv:1805.10515v2
fatcat:6bothuniprd7xclmpwx26s6udu
Cloud Elasticity: A Survey
[chapter]
2016
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 2020; you can also visit the original URL.
The file type is application/pdf.
The efficient handling of cloud elasticity is a challenge that attracts the interest of the research community. This work constitutes a survey of research efforts towards this direction. ...
The main contribution of this work is an up-to-date review of the latest elasticity handling approaches and a detailed classification scheme, focusing on the elasticity decision making techniques. ...
An older and narrower survey has also appeared in [33] . ...
doi:10.1007/978-3-319-29919-8_12
fatcat:saqa4reabfajhk6zikgvgf2tee
Artificial intelligence support in design: A survey
[chapter]
1999
Integration of Process Knowledge into Design Support 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 2001; you can also visit the original URL.
The file type is application/pdf.
Design synthesis, especially if executed in a concurrent setting, can build upon agent technology. Finally, the evolutionary approach to design is discussed. ...
The paper argues the point that thanks to a recent shift of emphasis from logic based to autonomous, rational and interactive models of intelligent behaviour, artificial intelligence can now support engineering ...
Decomposition and parallel execution in collaborative design and concurrent engineering naturally lend themselves to an agent-based approach. ...
doi:10.1007/978-94-017-1901-8_3
fatcat:o5sbseb5xjcw5mp4yljmhddl3y
Automated manufacturability analysis: A survey
1997
Research in Engineering Design
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.
In this paper, we provide a survey of current state of the art in automated manufacturability analysis. ...
We present the historical context in which this area has emerged and outline charac-teristics to compare and classify various systems. ...
In this paper, we attempt to provide a survey of the current state of the art in automated manufacturability analysis. ...
doi:10.1007/bf01596601
fatcat:nrvsnucabbbn5kf3trl6dqyfgm
Probabilistic Complex Event Recognition: A Survey
[article]
2017
arXiv
pre-print
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.
A number of limitations are identified with respect to the employed languages, their probabilistic models and their performance, as compared to the purely deterministic cases. ...
We review Complex Event Recognition techniques that handle, to some extent, uncertainty. ...
The ability to model constraints about synchronization and concurrency is a powerful feature of Petri Nets. ...
arXiv:1702.06379v1
fatcat:zc4ekopiw5dhrlnltfpk4xlpum
ASSEMBLY LINE DESIGN: A SURVEY
2002
IFAC Proceedings Volumes
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.
The paper is especially focused on the line balancing and resource planning step for the preliminary design stage. A survey of existing methods and software tools are given. ...
In the FFD rule method, the tasks are listed in a non-increasing order of process time. ...
The system helps in balancing and distributing the human resources in manual assembly line. The system is composed of a balancing and simulation modules. ...
doi:10.3182/20020721-6-es-1901.01647
fatcat:ui7xs5oaibbc3d7wvd6qycgu6u
Big data analytics: a survey
2015
Journal of Big Data
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.
The question that arises now is, how to develop a high performance platform to efficiently analyze big data and how to design an appropriate mining algorithm to find the useful things from big data. ...
But the traditional data analytics may not be able to handle such large quantities of data. ...
Acknowledgements The authors would like to thank the anonymous reviewers for their valuable comments and suggestions on the paper. ...
doi:10.1186/s40537-015-0030-3
fatcat:z4qjzuuupnfs7dydqnxpp24zbe
A survey of pipelined workflow scheduling
2013
ACM Computing Surveys
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 2012; you can also visit the original URL.
The file type is application/pdf.
Efficient execution of such applications necessitates intelligent distribution of the application components and tasks on a parallel machine, and the execution can be orchestrated by utilizing task-, data ...
This paper surveys the field by summing up and structuring known results and approaches. ...
This work was supported in parts by the DOE grant DE-FC02-06ER2775; by AFRL/DAGSI Ohio Student-Faculty Research Fellowship RY6-OSU-08-3; by the NSF grants CNS-0643969, OCI-0904809, and OCI-0904802, and ...
doi:10.1145/2501654.2501664
fatcat:avzu434g2zbptm532lii42bqx4
« Previous
Showing results 1 — 15 out of 25,014 results