Search Results - temporal concurrency constraint programming

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

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

Source: 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.

Subject Terms: 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

File Description: application/xml

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

A Symbolic Model for Timed Concurrent Constraint Programming

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

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

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

Subject Terms: 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)

File Description: application/pdf

Access 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

Authors: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

Contributors: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

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

Subject Terms: 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

File Description: application/pdf; STAMPA

Access 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.

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

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

Subject Terms: AUGMENTED reality, CONSTRAINT programming, FIELD programmable gate arrays, PARALLEL processing, COPROCESSORS, MATHEMATICAL optimization

Temporal Concurrent Constraint Programming:Denotation, Logic and Applications

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

Source: 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.

Subject Terms: calculi for concurrency, multi-agent systems, musical applications, program specification, reactive systems, temporal concurrency constraint programming, timed systems

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

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

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

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

Source: Theoretical Computer Science. 744:56-77

Subject Terms: 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]

File Description: application/pdf

Access 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.

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

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

Subject Terms: SYNCHRONIZATION, VERIFICATION of computer systems, CONSTRAINT programming, SAFETY standards

Abstract interpretation of temporal concurrent constraint programs.

Authors: FALASCHI, MORENO OLARTE, CARLOS PALAMIDESSI, CATUSCIA

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

Subject Terms: CONSTRAINT programming, COMPUTER security, DENOTATIONAL semantics, DATA flow computing, DEBUGGING, LOGIC programming

Universal Temporal Concurrent Constraint Programming

Authors: Olarte, Carlos Palamidessi, Catuscia

Contributors: Olarte, Carlos Palamidessi, Catuscia

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

File Description: application/pdf

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

Constraints Meet Concurrency

Authors: Jacopo Mauro

Resource Type: eBook.

Subjects: Constraints (Artificial intelligence), Constraint programming (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

A constraint-based approach to learn temporal features on action models from multiple plans.

Authors: Garrido, Antonio

Source: Constraints: An International Journal; Apr2022, Vol. 27 Issue 1/2, p134-160, 27p

Dynamic Slicing for Concurrent Constraint Languages.

Authors: Falaschi, Moreno Gabbrielli, Maurizio Olarte, Carlos et al.

Source: Fundamenta Informaticae; 2020, Vol. 177 Issue 3/4, p331-357, 27p

Subject Terms: CONSTRAINT programming, DEBUGGING, LANGUAGE & languages

Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDF.

Authors: Cucinotta, Tommaso Amory, Alexandre Ara, Gabriele et al.

Source: ACM Transactions on Embedded Computing Systems; Jan2024, Vol. 23 Issue 1, p1-35, 35p

Subject Terms: DIRECTED acyclic graphs, CONSTRAINT programming, QUADRATIC programming

A constraint programming formulation for planning: from plan scheduling to plan generation.

Authors: Garrido, Antonio Arangu, Marlene Onaindia, Eva

Source: Journal of Scheduling; Jun2009, Vol. 12 Issue 3, p227-256, 30p, 3 Diagrams, 2 Charts, 3 Graphs

Subject Terms: PRODUCTION scheduling, CONSTRAINT programming, BUSINESS planning, TECHNOLOGICAL innovations, INDUSTRIAL management

Reasoning about actions with Temporal Answer Sets.

Authors: GIORDANO, LAURA MARTELLI, ALBERTO THESEIDER DUPRÉ, DANIELE

Source: Theory & Practice of Logic Programming; Mar2013, Vol. 13 Issue 2, p201-225, 25p

Subject Terms: REASONING, SET theory, LINEAR time invariant systems, CONSTRAINT programming, LOGIC programming, INFINITY (Mathematics), PROGRAMMING languages

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Authors: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. et al.

Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Subject Terms: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

Notes on Timed Concurrent Constraint Programming

Authors: Mogens Nielsen Frank D. Valencia Desel, Jörg et al.

Contributors: Mogens Nielsen Frank D. Valencia Desel, Jörg et al.

Source: Lecture Notes in Computer Science ISBN: 9783540222613
Nielsen, M & Valencia, F D 2004, Notes on Timed Concurrent Constraint Programming. in J Desel, W Reisig & G Rozenberg (eds), Lectures on Concurrency and Petri Nets : Advances in Petri Nets. Springer, Lecture Notes in Computer Science, vol. 3098, pp. 137-159, Advanced Course in Petri Nets, Eichsätt, Germany, 17/12/2010. https://doi.org/10.1007/978-3-540-27755-2_20

Subject Terms: 16. Peace & justice

Access URL: https://link.springer.com/chapter/10.1007%2F978-3-540-27755-2_20
https://dblp.uni-trier.de/db/conf/ac/acpn2003.html#NielsenV03
https://rd.springer.com/chapter/10.1007/978-3-540-27755-2_20
https://link.springer.com/10.1007/978-3-540-27755-2_20
https://pure.au.dk/portal/en/publications/bb0ac390-f622-11df-a891-000ea68e967b
https://doi.org/10.1007/978-3-540-27755-2_20

Algoritmos de asignación basados en un nuevo modelo de representación de programas paralelos

Authors: Roig Mateu, Concepció

Contributors: University/Department: Universitat Autònoma de Barcelona. Departament d'Informàtica

Thesis Advisors: Ripoll Aracil, Ana

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Mapping, Aplicacions paral.leles, Sistemes distribuïts, Tecnologies

File Description: application/pdf

Access URL: http://www.tdx.cat/TDX-0326103-190947
http://hdl.handle.net/10803/3030

A Proof Theoretic Study of Soft Concurrent Constraint Programming.

Authors: PIMENTEL, ELAINE OLARTE, CARLOS NIGAM, VIVEK et al.

Source: Theory & Practice of Logic Programming; Jul2014, Vol. 14 Issue 4/5, p649-663, 15p

Subject Terms: CONSTRAINT programming, PROOF theory, MATHEMATICAL models, LOGIC programming languages, PROBLEM solving, FUZZY logic

Automated Verification of Care Pathways Using Constraint Programming.

Authors: de Figueiredo, Renan Pereira Filho, Joao Bosco Ferreira Sousa, Flavio R. C. et al.

Source: IEEE Journal of Biomedical & Health Informatics; Sep2020, Vol. 24 Issue 9, p2718-2725, 8p

Subject Terms: MEDICAL errors, CONSTRAINT programming, HOSPITAL care, HOSPITAL utilization