Výsledky vyhledávání - (Applications of) Concurrent Constraint Programming*

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

Autoři: Nielsen, Mogens Palamidessi, Catuscia Valencia, Frank Dan

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

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1809625
https://pure.au.dk/portal/en/publications/ef9e6ac0-983b-11da-bee9-02004c4f4f50

Temporal Concurrent Constraint Programming: Applications and Behavior

Autoři: Nielsen, Mogens Valencia, Frank D.

Zdroj: BRICS Report Series; No 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior; BRICS Report Series; No 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior; 1601-5355; 0909-0878

Témata: info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21708
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21708/19144
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21708/19144

A decision support system based on constraint programming and airspace digitalization for cooperative flight departures to improve ATM network service competitiveness

Autoři: Schefers, Nina Rebecca

Přispěvatelé: University/Department: Universitat Autònoma de Barcelona. Departament de Telecomunicació i Enginyeria de Sistemes

Thesis Advisors: Ramos González, Juan José

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Gestió del trànsit aeri, Gestión del tráfico aéreo, Air traffic management, Operació basada en la trajectòria, Trayecctoria basada en la operación, Trajeectory based operation, Programació de restriccions, Programación de restricción, Constriaint programming, Tecnologies

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/665750

Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL

Autoři: Valencia, Frank

Témata: Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-20479
Logic Programming, 19th International Conference, p. 422-437

A multimedia programming model based on timed concurrent constraint programming

Autoři: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Přispěvatelé: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Zdroj: Computer Systems Science and Engineering
Comput Syst Sci Eng

Témata: Data structures, Declarative logic programming, Object oriented timed concurrent constraint programming (OO-TCCP), Real time systems, 02 engineering and technology, Modelling and Synchronisation of Multimedia Objects, Logic programming, Multimedia Programming, Declarative Programming, Object oriented programming, 0202 electrical engineering, electronic engineering, information engineering, Computer systems programming, (Applications of) Concurrent Constraint Programming, Constraint theory, Multimedia systems, Data flow analysis

Přístupová URL adresa: http://gnosis.library.ucy.ac.cy/handle/7/54730

A paradigm for asynchronous communication and its application to concurrent constraint programming

Autoři: de Boer, F.S. Kok, J.N.

Zdroj: Utrecht : Utrecht, (1991) [ISBN 0924-3275]

Témata: Wiskunde en Informatica (WIIN), Report

URL: https://research-portal.uu.nl/en/publications/36574e6f-cacc-4397-ac7e-3b72b3813a22
https://dspace.library.uu.nl/bitstream/handle/1874/17971/boer_91_a_paradigm_for.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/17971/boer_91_a_paradigm_for.pdf?sequence=1

A paradigm for asynchronous communication and its application to concurrent constraint programming

Autoři: Intelligente Systemen Universiteit Utrecht Dep Informatica a další

URL: http://hdl.handle.net/1874/17971
https://dspace.library.uu.nl/handle/1874/17971
http://www.cs.uu.nl/research/techreps/RUU-CS-91-46.html
91-46

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems

Autoři: Guzmán, Michell Knight, Sophia Quintero, Santiago a další

Témata: Computer Science - Multiagent Systems, text

URL: http://arxiv.org/abs/2010.10667

A multimedia programming model based on timed concurrent constraint programming

Autoři: George A. Papadopoulos The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: George A. Papadopoulos The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ucy.ac.cy/~george/CSSEa.pdf.

Témata: Multimedia Programming, Declarative Programming, Modelling and Synchronisation of Multimedia Objects, Applications of) Concurrent Constraint Programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.6611; http://www.cs.ucy.ac.cy/~george/CSSEa.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.6611
http://www.cs.ucy.ac.cy/~george/CSSEa.pdf

A history of the Oz multiparadigm language

Autoři: Van Roy, Peter Haridi, Seif Schulte, Christian a další

Zdroj: Proceedings of the ACM on Programming Languages. 4(HOPL)

Témata: Computer programming, Concurrent programming, Dataflow, Distributed programming, Functional programming, Lazy evaluation, Logic programming, Multiparadigm programming, Programming education, Calculations, Concurrent constraint, Concurrent logic programming, Constraint Logic Programming, Foundational calculus, Layered Structures, Multi-paradigm languages, Programming course, Programming paradigms, PROLOG (programming language)

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928
https://doi.org/10.1145/3386333

Concurrent constraint programming-based path planning for uninhabited air vehicles

Autoři: UCL Gualandi, S. Tranchero, B.

Témata: info:eu-repo/semantics/conferenceObject

URL: http://hdl.handle.net/2078.1/67983

Multi-constraint scheduling of MapReduce workloads

Autoři: Polo, Jordà

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Becerra Fontal, Yolanda, Carrera Pérez, David

Zdroj: TDX (Tesis Doctorals en Xarxa)

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/276174
https://dx.doi.org/10.5821/dissertation-2117-95387

Confluence in Concurrent Constraint Programming

Autoři: Falaschi, M. Gabbrielli, M. Marriott, K. a další

Témata: INF/01 - Informatica, Book, NonPeerReviewed

URL: http://eprints.adm.unipi.it/1942/1/TR-96-21.ps.gz
http://eprints.adm.unipi.it/1942/
http://compass2.di.unipi.it/TR/files/TR-96-21.ps.gz
http://eprints.adm.unipi.it/1942
http://compass2.di.unipi.it/TR/files/TR-96-21.ps.gz

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

Autoři: Guzmán, Michell Perchy, Salim Rueda, Camilo a další

Zdroj: Theoretical Computer Science. Oct2018, Vol. 744, p56-77. 22p.

Témata: *PSYCHOLOGICAL factors, *PHILOSOPHY of psychology, *BEHAVIORISM (Psychology), *BEHAVIOR modification, *SOCIAL psychology

A Temporal Concurrent Constraint Programming Calculus

Autoři: Palamidessi, Catuscia Valencia, Frank D.

Zdroj: BRICS Report Series; No 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus; BRICS Report Series; No 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus; 1601-5355; 0909-0878

Témata: info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21681
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21681/19117
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21681/19117

Bisimilarity in Concurrent Constraint Programming

Autoři: Andres A. Aristizabal P. Aristizabal P., Andres A.

Témata: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236
Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)

On the Expressive Power of Concurrent Constraint Programming Languages

Autoři: Nielsen, Mogens Palamidessi, Catuscia Valencia, Frank D.

Zdroj: BRICS Report Series; No 22 (2002): RS-22 On the Expressive Power of Concurrent Constraint Programming Languages; 1601-5355; 0909-0878

Témata: info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21738
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21738/19172
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21738/19172

Verification of asynchronous concurrency and the shaped stack constraint

Autoři: Kochems, Jonathan Antonius Ong, Luke

Přispěvatelé: Kochems, Jonathan Antonius Ong, Luke

Témata: 005.1, Computer science (mathematics), Computing, Theory and automated verification, Applications and algorithms, Concurrent Pushdown Systems, Asynchronous Message Passing, Verification, Infinite-State Model-Checking, Petri Nets, Well-Structured Transition Systems, Erlang, Infinite-State Systems Verification

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664795

Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints

Autoři: Martinez, Thierry

Témata: Concurrent logic programming, Data processing Computer science, InProceedings, publishedVersion

Timed Concurrent Constraint Programming for Analysing Biological Systems

Autoři: Gutierrez, Julian Pérez, Jorge A. Rueda, Camilo a další

Zdroj: Gutierrez, J, Pérez, J A, Rueda, C & Valencia, F D 2007, 'Timed Concurrent Constraint Programming for Analysing Biological Systems', Electronic Notes in Theoretical Computer Science, vol. 171, no. 2, pp. 117-137.

Témata: article

URL: https://research.rug.nl/en/publications/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://doi.org/10.1016/j.entcs.2007.05.012
https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://pure.rug.nl/ws/files/184120815/Timed_Concurrent_Constraint_Programming_for_Analysing_Biological_Systems.pdf
https://www.scopus.com/pages/publications/34250852244
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.entcs.2007.05.012
info:eu-repo/semantics/altIdentifier/hdl/https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
info:eu-repo/semantics/altIdentifier/pissn/1571-0661