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

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

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

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

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

A multimedia programming model based on timed concurrent constraint programming

Authors: George A. Papadopoulos The Pennsylvania State University CiteSeerX Archives

Contributors: George A. Papadopoulos The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: Multimedia Programming, Declarative Programming, Modelling and Synchronisation of Multimedia Objects, Applications of) Concurrent Constraint Programming

File Description: 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

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

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

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

Default Timed Concurrent Constraint Programming

Authors: Vijay A. Saraswat Radha Jagadeesan Vineet Gupta et al.

Contributors: Vijay A. Saraswat Radha Jagadeesan Vineet Gupta et al.

Source: http://www.ic.arc.nasa.gov/ic/people/vgupta/publications/defaultTcc-popl95.ps.

Subject Terms: Programming paradigms--- constraint programming, reactive systems, synchronous programming, Formal approaches--- denotational semantics, semantics of concurrency

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.5630

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.5630
http://www.ic.arc.nasa.gov/ic/people/vgupta/publications/defaultTcc-popl95.ps

Automatic verification of timed concurrent constraint programs

Authors: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Contributors: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: Automatic verification, reactive systems, timed concurrent constraint programming

File Description: application/pdf

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

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

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

Foundations of Timed Concurrent Constraint Programming

Authors: Vijay A. Saraswat Radha Jagadeesan Vineet Gupta et al.

Contributors: Vijay A. Saraswat Radha Jagadeesan Vineet Gupta et al.

Source: http://www.math.luc.edu/~radha/ftp/LICS94-Timedccfoundations.ps.gz.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2633

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2633
http://www.math.luc.edu/~radha/ftp/LICS94-Timedccfoundations.ps.gz

Under consideration for publication in Theory and Practice of Logic Programming 1 Automatic Verification of Timed Concurrent Constraint Programs∗

Authors: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Contributors: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Source: http://www.dsic.upv.es/~villanue/pub/FV06.pdf.

Subject Terms: Automatic verification, reactive systems, timed concurrent constraint programming

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.3771; http://www.dsic.upv.es/~villanue/pub/FV06.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.3771
http://www.dsic.upv.es/~villanue/pub/FV06.pdf

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