Search Results - "((\"timed concurrent constraint programming\") OR (\"time concurrent constraint programming\"))"

Optimization of Timed Petri Nets using CP-SAT

Authors: Lennartson, Bengt, 1956

Source: 17th IFAC Workshop on Discrete Event Systems, WODES 2024, Rio de Janeiro, Brazil IFAC Proceedings Volumes (IFAC-PapersOnline). 58(1):90-95

Subject Terms: Time-optimal control, satisfiability solver, constraint programming, timed Petri net

File Description: electronic

Access URL: https://research.chalmers.se/publication/542053
https://research.chalmers.se/publication/542053/file/542053_Fulltext.pdf

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

Authors: BISTARELLI, Stefano Gabbrielli, Maurizio Meo, MARIA CHIARA et al.

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

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

File Description: application/pdf

Access URL: 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

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

A multimedia programming model based on timed concurrent constraint programming

Authors: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Contributors: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Source: Computer Systems Science and Engineering
Comput Syst Sci Eng

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

Access URL: http://gnosis.library.ucy.ac.cy/handle/7/54730

Default timed concurrent constraint programming

Authors: Vijay Saraswat Radha Jagadeesan Vineet Gupta

Source: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95. :272-285

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://core.ac.uk/display/22613689
https://dblp.uni-trier.de/db/conf/popl/popl95.html#SaraswatJG95
http://www-cs-students.stanford.edu/~vgupta/publications/defaultTcc-popl95.pdf
https://dl.acm.org/doi/10.1145/199448.199513

Automatic verification of timed concurrent constraint programs

Authors: FALASCHI, MORENO Villanueva A. Falaschi, Moreno et al.

Contributors: FALASCHI, MORENO Villanueva A. Falaschi, Moreno et al.

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

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

File Description: application/pdf; STAMPA

Access URL: 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

Foundations of timed concurrent constraint programming

Authors: Vijay Saraswat Vineet Gupta Radha Jagadeesan

Source: Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science. :71-80

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

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

Timed Soft Concurrent Constraint Programs

Authors: BISTARELLI, Stefano GABBRIELLI, Maurizio MEO, Maria Chiara et al.

Source: Lecture Notes in Computer Science ISBN: 9783540682646
Lecture notes in computer science 5052 (2008): 50–66. doi:10.1007/978-3-540-68265-3_4
info:cnr-pdr/source/autori:[1] Bistarelli S., [1]Santini F., [2] Gabbrielli M., [3] Meo M.C./titolo:Timed Soft Concurrent Constraint Programs/doi:10.1007%2F978-3-540-68265-3_4/rivista:Lecture notes in computer science/anno:2008/pagina_da:50/pagina_a:66/intervallo_pagine:50–66/volume:5052

Subject Terms: Computer programming, Concurrency control, Constraint theory, Information theory, Ketones, Linguistics, Query languages, Stabilizers (agents), Computation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Constraint Programming

File Description: application/pdf

Access URL: https://hdl.handle.net/11564/130974
https://doi.org/10.1007/978-3-540-68265-3_4
https://hdl.handle.net/11585/67274

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles

Authors: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Contributors: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Source: Future Generation Computer Systems
Future Gener Comput Syst

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

Access URL: http://gnosis.library.ucy.ac.cy/handle/7/54726

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

Authors: BISTARELLI, STEFANO GABBRIELLI, MAURIZIO MEO, MARIA CHIARA et al.

Source: Theory & Practice of Logic Programming; Nov2015, Vol. 15 Issue 6, p743-782, 40p, 14 Diagrams

Subject Terms: CONSTRAINT programming, CODING theory, DENOTATIONAL semantics, DECISION making, MATHEMATICAL bounds

Towards Non-Threaded Concurrent Constraint Programming for Implementing Multimedia Interaction Systems

Authors: Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones Toro, Mauricio

Source: International Journal of Advancements in Computing Technology

Index Terms: NTCC, CCP, interpreter, real-time, GECODE, GECOL, info:eu-repo/semantics/article, article, info:eu-repo/semantics/publishedVersion, publishedVersion, Artículo

URL: http://hdl.handle.net/10784/28607
https://arxiv.org/abs/1510.03057
https://arxiv.org/abs/1510.03057

Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems

Authors: Toro, Mauricio

Index Terms: Computer Science - Multimedia, Computer Science - Logic in Computer Science, D.1.6, H.5.5, text

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

NTCCRT: A concurrent constraint framework for soft real-time music interaction

Authors: Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones Toro, M. et al.

Source: Journal of Theoretical and Applied Information Technology

Index Terms: Computer music, Concurrent constraint programming (ccp), Machine improvisation, Music interaction, Process calculi, Signal processing, Soft real-time, info:eu-repo/semantics/article, article, info:eu-repo/semantics/publishedVersion, publishedVersion, Artículo

URL: http://hdl.handle.net/10784/28598
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949509559&partnerID=40&md5=becfbe2dcf1652d0720ea6ad91b8f252
SCOPUS;2-s2.0-84949509559
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949509559&partnerID=40&md5=becfbe2dcf1652d0720ea6ad91b8f252

Automatic verification of timed concurrent constraint programsThis work has been partially supported by the EU (FEDER) and the Spanish MEC, under grant TIN 2004-7943-C04-02, by ICT for EU-India Cross Cultural Dissemination Project under grant ALA/95/23/2003/077-054, and by the Italian project Cofin'04 AIDA.

Authors: MORENO FALASCHI ALICIA VILLANUEVA

Source: Theory & Practice of Logic Programming; May2006, Vol. 6 Issue 3, p265-300, 36p

Subject Terms: COMPUTER programming, ELECTRONIC data processing, MATHEMATICAL analysis, ALGORITHMS, LOGIC

Automatic Verification of Timed Concurrent Constraint Programs

Authors: Falaschi, Moreno Villanueva, Alicia

Index Terms: Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/cs/0505026

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

NTCCRT: A concurrent constraint framework for soft-real time music interaction

Authors: Universidad EAFIT. Departamento de Ingeniería de Sistemas Asstt Prof., Department of Informatics and Systems, UNIVERSIDAD EAFIT, Colombia Prof., Department of Computer Science, PONTIFICIA UNIVERSIDAD JAVERIANA CALI, Colombia et al.

Source: Journal of Theoretical & Applied Information Technology. 12/10/2015, Vol. 82 Issue 1, p184-193

Index Terms: Concurrent Constraint Programming (ccp), Soft Real-Time, Machine Improvisation, Signal Processing, Music Interaction, Computer Music, Process Calculi, info:eu-repo/semantics/article, article, info:eu-repo/semantics/publishedVersion, publishedVersion, Artículo

URL: http://hdl.handle.net/10784/7943
http://www.jatit.org/volumes/Vol82No1/20Vol82No1.pdf
Journal of Theoretical & Applied Information Technology. 12/10/2015, Vol. 82 Issue 1, p184-193
http://www.jatit.org/volumes/Vol82No1/20Vol82No1.pdf

Probabilistic extension to the concurrent constraint factor oracle model for music improvisation

Authors: Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones Toro, M.

Source: Inteligencia Artificial

Index Terms: Artificial intelligence, C++ (programming language), Calculations, Computer software, Learning systems, Semantics, Ccfomi, Concurrent constraints programming, Factor oracle, Gecode, Machine improvisations, Ntcc, Pntcc, Real time, Concurrency control, info:eu-repo/semantics/article, article, info:eu-repo/semantics/publishedVersion, publishedVersion, Artículo

URL: http://hdl.handle.net/10784/28609
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84988648802&doi=10.4114%2fia.v18i56.1122&partnerID=40&md5=34db4001439ce8a83836427b15226fca
DOI;10.4114/ia.v18i56.1122
SCOPUS;2-s2.0-84988648802
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84988648802&doi=10.4114%2fia.v18i56.1122&partnerID=40&md5=34db4001439ce8a83836427b15226fca

Concurrent Constraint Conditional-Branching Timed Interactive Scores

Authors: Toro, Mauricio Desainte-Catherine, Myriam

Index Terms: Computer Science - Logic in Computer Science, Computer Science - Multimedia, Computer Science - Programming Languages, D.3.2, F.4.1, text

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