Suchergebnisse - "((\"timed concurrent constraint programming\") OR (\"time concurrent constraint programming\"))*"

Optimization of Timed Petri Nets using CP-SAT

Autoren: Lennartson, Bengt, 1956

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

Schlagwörter: Time-optimal control, satisfiability solver, constraint programming, timed Petri net

Dateibeschreibung: electronic

Zugangs-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

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

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-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

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

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

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-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

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

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

Quelle: Computer Systems Science and Engineering
Comput Syst Sci Eng

Schlagwörter: 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

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

Default timed concurrent constraint programming

Autoren: Vijay Saraswat Radha Jagadeesan Vineet Gupta

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-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

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

Weitere Verfasser: FALASCHI, MORENO Villanueva A. Falaschi, Moreno et al.

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf; STAMPA

Zugangs-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

Autoren: Vijay Saraswat Vineet Gupta Radha Jagadeesan

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

Schlagwörter: 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

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

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

Quelle: 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

Schlagwörter: 16. Peace & justice

Zugangs-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

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

Quelle: 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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-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

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

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

Quelle: Future Generation Computer Systems
Future Gener Comput Syst

Schlagwörter: 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

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

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

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

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

Schlagwörter: CONSTRAINT programming, CODING theory, DENOTATIONAL semantics, DECISION making, MATHEMATICAL bounds

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

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

Quelle: International Journal of Advancements in Computing Technology

Index Begriffe: 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

Autoren: Toro, Mauricio

Index Begriffe: 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

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

Quelle: Journal of Theoretical and Applied Information Technology

Index Begriffe: 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.

Autoren: MORENO FALASCHI ALICIA VILLANUEVA

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

Schlagwörter: COMPUTER programming, ELECTRONIC data processing, MATHEMATICAL analysis, ALGORITHMS, LOGIC

Automatic Verification of Timed Concurrent Constraint Programs

Autoren: Falaschi, Moreno Villanueva, Alicia

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

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

Abstract interpretation of temporal concurrent constraint programs.

Autoren: FALASCHI, MORENO OLARTE, CARLOS PALAMIDESSI, CATUSCIA

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

Schlagwörter: CONSTRAINT programming, COMPUTER security, DENOTATIONAL semantics, DATA flow computing, DEBUGGING, LOGIC programming

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

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

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

Index Begriffe: 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

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

Quelle: Inteligencia Artificial

Index Begriffe: 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

Autoren: Toro, Mauricio Desainte-Catherine, Myriam

Index Begriffe: 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