Suchergebnisse - temporal concurrency constraint programming*

Temporal Concurrent Constraint Programming:Denotation, Logic and Applications: Temporal concurrent constraint programming: Denotation, logic and applications

Autoren: Nielsen, Mogens Palamidessi, Catuscia Valencia, Frank Dan

Quelle: Nielsen, M, Palamidessi, C & Valencia, F D 2002, 'Temporal Concurrent Constraint Programming : Denotation, Logic and Applications', Nordic Journal of Computing, vol. 9, no. 2, pp. 145-188.

Schlagwörter: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic programming, musical applications, program specification, temporal concurrent constraint programming, timed systems, 0202 electrical engineering, electronic engineering, information engineering, temporal concurrency constraint programming, multi-agent systems, calculi for concurrency

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1809625
https://pure.au.dk/portal/en/publications/ef9e6ac0-983b-11da-bee9-02004c4f4f50

Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction

Autoren: T. C. Nicholas Graham

Quelle: Workshops in Computing ISBN: 9783540197355

Zugangs-URL: https://link.springer.com/content/pdf/10.1007%2F978-1-4471-3794-8_6.pdf
https://core.ac.uk/display/57108293
https://link.springer.com/chapter/10.1007/978-1-4471-3794-8_6
https://rd.springer.com/chapter/10.1007/978-1-4471-3794-8_6
https://dblp.uni-trier.de/db/conf/phoenix/phoenix1991.html#Graham91

A Symbolic Model for Timed Concurrent Constraint Programming

Autoren: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte et al.

Weitere Verfasser: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte et al.

Quelle: Electronic Notes in Theoretical Computer Science. 312:161-177

Schlagwörter: Model checking, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Temporal logic, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Concurrent constraint programming, 01 natural sciences, model checking, Model Checking, Theoretical Computer Science, temporal logic, Temporal Logic, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Computer Science(all)

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-01257078v2
https://hal.science/hal-01257078v2/document
https://doi.org/10.1016/j.entcs.2015.04.010
https://core.ac.uk/display/81983992
https://www.sciencedirect.com/science/article/pii/S1571066115000146
https://dblp.uni-trier.de/db/journals/entcs/entcs312.html#AriasGO15
https://hal.archives-ouvertes.fr/hal-01257078
https://tel.archives-ouvertes.fr/INRIA/hal-01257078v1

Abstract interpretation of temporal concurrent constraint programs

Autoren: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

Weitere Verfasser: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

Quelle: Theory and Practice of Logic Programming. 15:312-357

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, Denotational semantics, F.3.1, D.3.2, process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Abstract interpretation, timed concurrent constraint programming, process calculi, abstract interpretation, denotational semantics, reactive systems, 16. Peace & justice, Logic in Computer Science (cs.LO), Reactive systems, 13. Climate action, Timed concurrent constraint programming, timed concurrent constraint programming, denotational semantics

Dateibeschreibung: application/pdf; STAMPA

Zugangs-URL: http://arxiv.org/pdf/1312.2552
http://arxiv.org/abs/1312.2552
https://inria.hal.science/hal-00945462v1
https://arxiv.org/abs/1312.2552
https://hal.archives-ouvertes.fr/hal-01271663
https://repositorio.ufrn.br/jspui/handle/123456789/29777
https://doi.org/10.1017/S1471068413000641
http://ui.adsabs.harvard.edu/abs/2013arXiv1312.2552F/abstract
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abstract-interpretation-of-temporal-concurrent-constraint-programs/79AB54B8007AA797C1631A461FD7CE2B
https://dblp.uni-trier.de/db/journals/corr/corr1312.html#FalaschiOP13
http://journals.cambridge.org/article_S1471068413000641
https://doi.org/10.1017/S1471068413000641
https://hdl.handle.net/11365/46493

FLIP2M: Flexible Intra-layer Parallelism and Inter-layer Pipelining for Multi-model AR/VR Workloads.

Autoren: Tombesi, Gabriele Yang, Je Zuckerman, Joseph et al.

Quelle: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-27, 27p

Schlagwörter: AUGMENTED reality, CONSTRAINT programming, FIELD programmable gate arrays, PARALLEL processing, COPROCESSORS, MATHEMATICAL optimization

Temporal Concurrent Constraint Programming:Denotation, Logic and Applications

Autoren: Nielsen, Mogens Palamidessi, Catuscia Valencia, Frank Dan

Quelle: Nielsen, M, Palamidessi, C & Valencia, F D 2002, 'Temporal Concurrent Constraint Programming : Denotation, Logic and Applications', Nordic Journal of Computing, vol. 9, no. 2, pp. 145-188.

Schlagwörter: calculi for concurrency, multi-agent systems, musical applications, program specification, reactive systems, temporal concurrency constraint programming, timed systems

Verfügbarkeit: https://pure.au.dk/portal/en/publications/ef9e6ac0-983b-11da-bee9-02004c4f4f50

TRAMbio: a flexible python package for graph rigidity analysis of macromolecules.

Autoren: Handke, Nicolas Gatter, Thomas Reinhardt, Franziska et al.

Quelle: BMC Bioinformatics; 10/28/2025, Vol. 26 Issue 1, p1-23, 23p

Schlagwörter: MOLECULAR biology, PROTEIN conformation, CONSTRAINT algorithms, PYTHON programming language, PROTEIN folding, MACROMOLECULES

Nonlinear Multifactor Safety Index (NMF-SI) for Construction Scheduling: Definition and Hybrid Optimization.

Autoren: Arruga, David Castán-Lascorz, Miguel Ángel Tovar-Lasheras, Fabiola et al.

Quelle: Buildings (2075-5309); Nov2025, Vol. 15 Issue 21, p3958, 16p

Schlagwörter: SAFETY, SCHEDULING, OCCUPATIONAL hazards, DECISION support systems, RESOURCE allocation, MATHEMATICAL programming, PROJECT management

Characterizing right inverses for spatial constraint systems with applications to modal logic

Autoren: Guzmán, Michell Perchy, Salim Rueda, Camilo et al.

Weitere Verfasser: Guzmán, Michell Perchy, Salim Rueda, Camilo et al.

Quelle: Theoretical Computer Science. 744:56-77

Schlagwörter: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, inverse operators, [INFO.INFO-DC]Computer Science [cs]/Distributed, constraint systems, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], concurrent constraint programming, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, concurrency theory, 01 natural sciences, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Modal algebra, [INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT], [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, modal logic, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.inria.fr/hal-01675010/file/final-tcs.pdf
https://inria.hal.science/hal-01675010v2
https://hal.inria.fr/hal-01675010
https://hal.inria.fr/hal-01675010/document
https://dblp.uni-trier.de/db/journals/tcs/tcs744.html#GuzmanPRV18
https://www.sciencedirect.com/science/article/pii/S0304397518303426
https://hal.archives-ouvertes.fr/hal-01675010v1

Automatic WSTS-based repair and deadlock detection of parameterized systems.

Autoren: Baumeister, Tom Jacobs, Swen Sakr, Mouhammad et al.

Quelle: Formal Methods in System Design; Sep2025, Vol. 66 Issue 3, p335-375, 41p

Schlagwörter: SYNCHRONIZATION, VERIFICATION of computer systems, CONSTRAINT programming, SAFETY standards

A probabilistic strategy for temporal constraint management in scientific workflow systems.

Autoren: Liu, Xiao Ni, Zhiwei Chen, Jinjun et al.

Quelle: Concurrency & Computation: Practice & Experience; Nov2011, Vol. 23 Issue 16, p1893-1919, 27p

Schlagwörter: THEORY of constraints, WORKFLOW, PROGRAMMING languages, PROBABILITY theory, QUALITY of service, TECHNICAL specifications, PRODUCTION scheduling

Abstract interpretation of temporal concurrent constraint programs.

Autoren: FALASCHI, MORENO OLARTE, CARLOS PALAMIDESSI, CATUSCIA

Quelle: Theory & Practice of Logic Programming; May2015, Vol. 15 Issue 3, p312-357, 46p

Schlagwörter: CONSTRAINT programming, COMPUTER security, DENOTATIONAL semantics, DATA flow computing, DEBUGGING, LOGIC programming

PyHLS: Intermediate Representation for Versatile High-Level Synthesis.

Autoren: Cieszewski, Radoslaw

Quelle: International Journal of Electronics & Telecommunications; 2025, Vol. 71 Issue 4, p1-7, 9p

Schlagwörter: AUDITING, VHDL (Computer hardware description language), ELECTRONIC design automation, SOFTWARE compatibility, PYTHON programming language, FIELD programmable gate arrays

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems.

Autoren: Saad, Salwa Fadel, Etimad Alzamzami, Ohoud et al.

Quelle: Computers (2073-431X); Apr2024, Vol. 13 Issue 4, p86, 30p

Schlagwörter: C++, LOGIC design, MESSAGE passing (Computer science), PROGRAMMING languages, SYSTEMS software

On Expected Value Strong Controllability.

Autoren: Lauffer, Niklas T. Lassiter, William B. Frank, Jeremy D.

Quelle: Journal of Artificial Intelligence Research; 2023, Vol. 78, p849-900, 52p

Schlagwörter: EXPECTED returns, CONTROLLABILITY in systems engineering, PROBABILITY theory, UNCERTAINTY (Information theory), MIXED integer linear programming

PATH NETS: CONCURRENCE AND RECURRENCE IN THE DYNAMICS OF ORGANIZING.

Autoren: PENTLAND, BRIAN T. KREMSER, WALDEMAR GOH, KENNETH T.

Quelle: Academy of Management Review; Jan2025, Vol. 50 Issue 1, p114-137, 24p, 5 Color Photographs, 1 Chart

Schlagwörter: PHILOSOPHY of time, WORK structure, SCHEDULING, INDUSTRIAL organization (Management), ORGANIZATIONAL behavior, ORGANIZATIONAL research

SEPAL: A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation.

Autoren: Zhang, Shu-Hui Yang, Rong Zhang, Ling-Yu et al.

Quelle: Journal of Computer Science & Technology (10009000); Jul2025, Vol. 40 Issue 4, p958-968, 11p

Schlagwörter: CYBER physical systems, SOFTWARE frameworks, ENVIRONMENTAL monitoring, HUMAN behavior, ADAPTIVE control systems, CONSISTENCY models (Computers)

Introduction to the 41 $^{st}$ International Conference on Logic Programming Special Issue.

Autoren: GEBSER, MARTIN INCLEZAN, DANIELA RICCA, FRANCESCO

Quelle: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p394-401, 8p

Schlagwörter: LOGIC programming, CONFERENCES & conventions, SCHOLARLY publishing

Process mining with event attributes and transition features for care pathway modelling.

Autoren: Rifki, Omar Peng, Zhihao Perrier, Lionel et al.

Quelle: International Journal of Production Research; May2025, Vol. 63 Issue 10, p3684-3708, 25p

Schlagwörter: HEURISTIC algorithms, PROCESS mining, DYNAMIC programming, TUMOR surgery, CANCER treatment

Universal Temporal Concurrent Constraint Programming

Autoren: Olarte, Carlos Palamidessi, Catuscia

Weitere Verfasser: Olarte, Carlos Palamidessi, Catuscia

Schlagwörter: Concurrent Constraint programming, Programmation Concurrent par Contraintes, Security, sécurité, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, sémantiques, Semantics

Dateibeschreibung: application/pdf

Zugangs-URL: https://pastel.hal.science/tel-00430446v1