Výsledky vyhledávání - "Timed Concurrent Constraint Programming"

Timed soft concurrent constraint programs: An interleaved and a parallel approach

Autoři: BISTARELLI, Stefano Gabbrielli, Maurizio Meo, MARIA CHIARA a další

Zdroj: Theory and Practice of Logic Programming. 15:743-782

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, interleaving, parallelism, Soft Concurrent Constraint Programming, Timed Concurrent Constraint Programming, Artificial Intelligence, Software, Hardware and Architecture, Theoretical Computer Science, Computational Theory and Mathematics, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 6. Clean water, Artificial Intelligence (cs.AI), Concurrent constraint, Concurrent constraint programming, Coordinating agents, Correctness properties, Denotational semantics, Timed concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, interleaving, parallelism, Soft Concurrent Constraint Programming, Timed Concurrent Constraint Programming, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/pdf/1403.0461
http://arxiv.org/abs/1403.0461
http://export.arxiv.org/pdf/1403.0461
https://ui.adsabs.harvard.edu/abs/2014arXiv1403.0461B/abstract
https://arxiv.org/abs/1403.0461
https://arxiv.org/pdf/1403.0461
https://arxiv.org/abs/1403.0461
https://arxiv.org/pdf/1403.0461
http://dblp.uni-trier.de/db/journals/corr/corr1403.html#BistarelliGMS14
https://dblp.uni-trier.de/db/journals/corr/corr1403.html#BistarelliGMS14
http://journals.cambridge.org/abstract_S1471068414000106

Abstract interpretation of temporal concurrent constraint programs

Autoři: Catuscia Palamidessi Carlos Olarte Moreno Falaschi a další

Přispěvatelé: Catuscia Palamidessi Carlos Olarte Moreno Falaschi a další

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

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

Popis souboru: application/pdf; STAMPA

Přístupová URL adresa: 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

A framework for abstract interpretation of timed concurrent constraint programs

Autoři: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Přispěvatelé: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Zdroj: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. :207-218

Témata: Concurrent Constraint Programming Abstract Interpretation, Abstract interpretation, Denotational semantics, Process calculi, Reactive systems, Timed concurrent constraint programming, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: http://hal.inria.fr/docs/00/42/66/08/PDF/ppdp21-olarte.pdf
https://inria.hal.science/inria-00426608v1
https://inria.hal.science/inria-00426608v1/document
https://doi.org/10.1145/1599410.1599436
https://dl.acm.org/doi/10.1145/1599410.1599436
http://portal.acm.org/citation.cfm?doid=1599410.1599436
https://hal.inria.fr/inria-00426608
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2009.html#FalaschiOP09
https://usiena-air.unisi.it/handle/11365/37187
https://hal.inria.fr/inria-00426608/document
https://hdl.handle.net/11365/37187
https://doi.org/10.1145/1599410.1599436

A semantic framework for the abstract model checking of tccp programs

Autoři: Ernesto Pimentel María del Mar Prados Gallardo María Alpuente a další

Zdroj: Theoretical Computer Science. 346:58-95

Témata: Model checking, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Specification and verification (program logics, model checking, etc.), Timed Concurrent Constraint programming, 0202 electrical engineering, electronic engineering, information engineering, Abstract interpretation, timed concurrent constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2242232
https://doi.org/10.1016/j.tcs.2005.08.009

An axiomatic semantics for the synchronous language Gentzen: An axiomatic semantics for the synchronous language Gentzen.

Autoři: TINI, SIMONE

Zdroj: Lecture Notes in Computer Science ISBN: 9783540418641

Témata: Computational Theory and Mathematics, Computer Networks and Communications, Applied Mathematics, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, timed concurrent constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science

Popis souboru: application/xml

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F3-540-45315-6_26.pdf
https://zbmath.org/1963842
https://doi.org/10.1016/s0022-0000(03)00003-5
https://core.ac.uk/display/22493180
https://dblp.uni-trier.de/db/conf/fossacs/fossacs2001.html#Tini01
https://link.springer.com/content/pdf/10.1007%2F3-540-45315-6_26.pdf
https://rd.springer.com/chapter/10.1007/3-540-45315-6_26
https://link.springer.com/chapter/10.1007/3-540-45315-6_26
https://dblp.uni-trier.de/db/journals/jcss/jcss66.html#Tini03
http://www.sciencedirect.com/science/article/pii/S0022000003000035
https://www.sciencedirect.com/science/article/pii/S0022000003000035
https://hdl.handle.net/11383/1490752
https://hdl.handle.net/11383/1490755

A Tool for Generating a Symbolic Representation of tccp Executions

Autoři: Alexei Lescaylle Alicia Villanueva

Zdroj: Electronic Notes in Theoretical Computer Science. 246:131-145

Témata: Timed concurrent constraint programming, symbolic representation, 0202 electrical engineering, electronic engineering, information engineering, tool demonstration, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066109002412
https://doi.org/10.1016/j.entcs.2009.07.019
https://www.sciencedirect.com/science/article/abs/pii/S1571066109002412
https://core.ac.uk/display/82283425

Automatic verification of timed concurrent constraint programs

Autoři: FALASCHI, MORENO Villanueva A. Falaschi, Moreno a další

Přispěvatelé: FALASCHI, MORENO Villanueva A. Falaschi, Moreno a další

Zdroj: Theory and Practice of Logic Programming. 6:265-300

Témata: FOS: Computer and information sciences, Model checking, Computer Science - Logic in Computer Science, Timed concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, Automatic verification, Reactive systems, Reactive system, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf; STAMPA

Přístupová URL adresa: http://arxiv.org/pdf/cs/0505026
http://arxiv.org/abs/cs/0505026
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/automatic-verification-of-timed-concurrent-constraint-programs/E4F105EE3B2586C974ECBF75CC1B2C35
https://dblp.uni-trier.de/db/journals/corr/corr0505.html#abs-cs-0505026
https://arxiv.org/abs/cs/0505026
https://usiena-air.unisi.it/handle/11365/26186

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles

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: Future Generation Computer Systems
Future Gener Comput Syst

Témata: Mathematical models, Artificial intelligence, Real time systems, Timed asynchronous languages, 02 engineering and technology, Synchronization, Logic programming, Distributed computing, Distributed computer systems, Timed concurrent constraint programming, Object oriented programming, Computational methods, 0202 electrical engineering, electronic engineering, information engineering, Coordination models, Multimedia programming, Multimedia systems

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

Decidability of infinite-state timed CCP processes and first-order LTL

Autoři: Frank D. Valencia

Zdroj: Theoretical Computer Science. 330:577-607

Témata: Specification and verification (program logics, model checking, etc.), Temporal logic, Decidability, 0102 computer and information sciences, 02 engineering and technology, First-order LTL, 01 natural sciences, Theoretical Computer Science, Process calculi, Decidability of theories and sets of sentences, Infinite-state systems, Timed concurrent constraint programming, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 0202 electrical engineering, electronic engineering, information engineering, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2136589
https://doi.org/10.1016/j.tcs.2004.10.009

Abstract Model Checking of tccp programs

Autoři: María Alpuente Alicia Villanueva Ernesto Pimentel a další

Zdroj: Electronic Notes in Theoretical Computer Science. 112:19-36

Témata: Abstract Interpretation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Timed Concurrent Constraint Programming, Model Checking, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066104052405
https://dblp.uni-trier.de/db/journals/entcs/entcs112.html#AlpuenteGPV05
https://core.ac.uk/display/20785631

Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I

Autoři: Falaschi M POLICRITI, Alberto Villanueva A.

Zdroj: Electronic Notes in Theoretical Computer Science. 48:197-210

Témata: Model checking, Timed Concurrent Constraint programming, Reactive systems, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Popis souboru: application/pdf

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/entcs/entcs48.html#FalaschiPV01
https://www.sciencedirect.com/science/article/pii/S1571066104001574
https://www.sciencedirect.com/science/article/abs/pii/S1571066104001574
https://www.openaccessrepository.it/record/26333

Automatic verification of timed concurrent constraint programs

Autoři: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Zdroj: http://arxiv.org/pdf/cs/0505026v1.pdf.

Témata: Automatic verification, reactive systems, timed concurrent constraint programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.9636; http://arxiv.org/pdf/cs/0505026v1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.9636
http://arxiv.org/pdf/cs/0505026v1.pdf

A Semantic Framework for the Abstract Model Checking of tccp Programs

Autoři: María Alpuente María del Mar Gallardo Ernesto Pimentel a další

Přispěvatelé: María Alpuente María del Mar Gallardo Ernesto Pimentel a další

Zdroj: http://150.214.108.177/pubs/doc/205.pdf.

Témata: Timed Concurrent Constraint programming, Abstract interpretation, Model checking

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.7978; http://150.214.108.177/pubs/doc/205.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.7978
http://150.214.108.177/pubs/doc/205.pdf

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles

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/FGCSb.pdf.

Témata: Multimedia programming, Timed concurrent constraint programming, Timed asynchronous languages, Coordination models, Distributed

Popis souboru: application/pdf

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

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

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

Autoři: Frank D. Valencia The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Frank D. Valencia The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.brics.dk/%7Efvalenci/tccpdec.ps.gz.

Témata: ntcc calculus, timed concurrent constraint programming, decidable fragments of first-order LTL

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6419; http://www.brics.dk/%7Efvalenci/tccpdec.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6419
http://www.brics.dk/%7Efvalenci/tccpdec.ps.gz

A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

Autoři: Comini, Marco Titolo, Laura Villanueva García, Alicia a další

Přispěvatelé: Comini, Marco Titolo, Laura Villanueva García, Alicia a další

Témata: Timed Concurrent Constraint programming, denotational semantics, full abstraction, non-monotonic languages, LENGUAJES Y SISTEMAS INFORMATICOS

Popis souboru: application/pdf

Relation: https://riunet.upv.es/handle/10251/27810

Dostupnost: https://riunet.upv.es/handle/10251/27810

An interpreter for Timed Concurrent Constraints in Mozart (Extended Abstract)

Autoři: Thomas Sjöland Erik Klintskog Seif Haridi a další

Přispěvatelé: Thomas Sjöland Erik Klintskog Seif Haridi a další

Zdroj: http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz.

Témata: discrete event simulation 1 1 Timed Concurrent Constraint Programming

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4269; http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4269
http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz

Modeling Concurrent systems specified in a Temporal Concurrent Constraint language

Autoři: M. Falaschi A. Policriti A. Villanueva a další

Přispěvatelé: M. Falaschi A. Policriti A. Villanueva a další

Zdroj: http://www.dimi.uniud.it/~alicia/agp2000.ps.gz.

Témata: Timed Concurrent Constraint programming, Reactive systems, Model checking

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.7384; http://www.dimi.uniud.it/~alicia/agp2000.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.7384
http://www.dimi.uniud.it/~alicia/agp2000.ps.gz

Asynchronous timed multimedia environments based on the coordination paradigm

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: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Lect. Notes Comput. Sci.

Témata: Computation theory, Timed Asynchronous Languages, Computational linguistics, Coordination programming, Distributed multimedia systems, Computer programming, Logic programming, Distributed computer systems, Computer programming languages, Multimedia, Coordination, Object oriented programming, Multimedia environment, Multimedia programming, Distributed Computing, Constraint theory, Multimedia systems, Timed Concurrent Constraint Programming

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

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