25,014 Hits in 8.1 sec

Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey [article]

Thom Fruehwirth
2018 arXiv   pre-print
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  
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]

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck
2009 arXiv   pre-print
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

T Ghosh, P Dan, S Sengupta, M Chattopadhyay
2010 International Journal of Engineering, Science and Technology  
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

Frank De Boer, Kiko Fernandez-Reyes, Albert Mingkun Yang, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah
2017 ACM Computing Surveys  
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]

Thom Frühwirth
2015 Lecture Notes in Computer Science  
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

Joxan Jaffar, Michael J. Maher
1994 The Journal of Logic Programming  
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]

Wensheng Gan, Jerry Chun-Wei Lin, Philippe Fournier-Viger, Han-Chieh Chao, Philip S. Yu
2019 arXiv   pre-print
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]

Athanasios Naskos, Anastasios Gounaris, Spyros Sioutas
2016 Lecture Notes in Computer Science  
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]

József Váncza
1999 Integration of Process Knowledge into Design Support Systems  
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

Satyandra K. Gupta, William C. Regli, Diganta Das, Dana S. Nau
1997 Research in Engineering Design  
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]

Elias Alevizos, Anastasios Skarlatidis, Alexander Artikis, George Paliouras
2017 arXiv   pre-print
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


Brahim Rekiek, Alain Delchambre, Alexandre Dolgui, Antoneta Bratcu
2002 IFAC Proceedings Volumes  
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

Chun-Wei Tsai, Chin-Feng Lai, Han-Chieh Chao, Athanasios V. Vasilakos
2015 Journal of Big Data  
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

Anne Benoit, Ümit V. Çatalyürek, Yves Robert, Erik Saule
2013 ACM Computing Surveys  
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