Search Results - time concurrent constraint programming*

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

Authors: Schefers, Nina Rebecca

Contributors: University/Department: Universitat Autònoma de Barcelona. Departament de Telecomunicació i Enginyeria de Sistemes

Thesis Advisors: Ramos González, Juan José

Source: TDX (Tesis Doctorals en Xarxa)

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

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/665750

PRTccp: Priority-driven Real-Time Concurrent Constraint Programming

Authors: Okita, Tsuyoshi

Index Terms: Journal Article, VoR

URL: http://hdl.handle.net/10228/00008426
https://kyutech.repo.nii.ac.jp/records/7222
https://kyutech.repo.nii.ac.jp/record/7222/files/10375985.pdf

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

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

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

PRTccp: Priority-driven Real-Time Concurrent Constraint Programming

Source: PRTccp: Priority-driven Real-Time Concurrent Constraint Programming. :1-3

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

Authors: Toro, M. Rueda, C. Agón, C. et al.

Contributors: Toro, M. Rueda, C. Agón, C. et al.

Source: Journal of Theoretical and Applied Information Technology

Subject Terms: Process calculi, Signal processing, Machine improvisation, Soft real-time, Computer music, Music interaction, Concurrent constraint programming (ccp)

Access URL: https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=1695
http://hdl.handle.net/10784/28598

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming

Authors: Camilo Rocha Frank D. Valencia Miguel Romero et al.

Contributors: Camilo Rocha Frank D. Valencia Miguel Romero et al.

Source: Lecture Notes in Computer Science ISBN: 9783319998398

Subject Terms: 2. Zero hunger, 4. Education, 8. Economic growth, 11. Sustainability, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 15. Life on land, 16. Peace & justice, 7. Clean energy, 12. Responsible consumption

File Description: application/pdf

Access URL: https://hal.archives-ouvertes.fr/hal-01934953/file/main.pdf
https://hal.science/hal-01934953v1
https://dblp.uni-trier.de/db/conf/wrla/wrla2018.html#Ramirez0RV18
https://link.springer.com/chapter/10.1007/978-3-319-99840-4_13
https://hal.archives-ouvertes.fr/hal-01934953
https://hal.archives-ouvertes.fr/hal-01934953/document
https://doi.org/10.1007/978-3-319-99840-4_13
https://rd.springer.com/chapter/10.1007/978-3-319-99840-4_13

Stochastic Concurrent Constraint Programming

Authors: BORTOLUSSI, LUCA A. Di Pierro and H. Wiklicky Bortolussi, Luca

Contributors: BORTOLUSSI, LUCA A. Di Pierro and H. Wiklicky Bortolussi, Luca

Source: Electronic Notes in Theoretical Computer Science. 164:65-80

Subject Terms: Stochastic Languages, Probabilistic Semantics, Continuous Time Markov Chains, 0102 computer and information sciences, 02 engineering and technology, Continuous Time, 01 natural sciences, Probabilistic Semantic, Theoretical Computer Science, Concurrent Constraint Programming, 0202 electrical engineering, electronic engineering, information engineering, Stochastic Language, Computer Science(all)

File Description: ELETTRONICO

Access URL: http://www.sciencedirect.com/science/article/pii/S1571066106004919
http://hdl.handle.net/11368/1707527
http://www.sciencedirect.com/science/article/pii/S1571066106004919
https://hdl.handle.net/11368/1707527
https://doi.org/10.1016/j.entcs.2006.07.012

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Authors: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca et al.

Contributors: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca et al.

Source: Constraints. 13:66-90

Subject Terms: 0301 basic medicine, Stochastic Concurrent Constraint Programming, Computational Modelling of Biological Systems, Continuous Time Markov Chains, 03 medical and health sciences, Computational Modelling of Biological System, 0102 computer and information sciences, 01 natural sciences, 3. Good health

File Description: STAMPA; application/pdf

Access URL: http://www.dmi.units.it/~bortolu/files/conferences/bortolussi_WCB06.pdf
http://hdl.handle.net/11368/1707542
http://www.springerlink.com/content/pxq8473186375631/
http://hdl.handle.net/11368/1846266
https://dblp.uni-trier.de/db/journals/constraints/constraints13.html#BortolussiP08
https://link.springer.com/article/10.1007/s10601-007-9034-8
https://core.ac.uk/display/53710345
https://doi.org/10.1007/s10601-007-9034-8
http://www.dmi.units.it/~bortolu/files/conferences/bortolussi_WCB06.pdf
https://users.dimi.uniud.it/~agostino.dovier/WCBSI/SUMB140207/bortolussi.pdf
https://hdl.handle.net/11390/691405
https://doi.org/10.1007/s10601-007-9034-8
https://hdl.handle.net/11390/857883
https://hdl.handle.net/11368/1707542
https://hdl.handle.net/11368/1846266
http://www.springerlink.com/content/pxq8473186375631/
https://doi.org/10.1007/s10601-007-9034-8

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

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

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

Source: International Journal of Advancements in Computing Technology

Subject Terms: CCP, interpreter, real-time, NTCC, GECOL, GECODE

Access URL: http://hdl.handle.net/10784/28607
https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=4920

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

Authors: Aranda, Jesus Jorge, Perez Rueda, Camilo et al.

Contributors: Aranda, Jesus Jorge, Perez Rueda, Camilo et al.

Source: Lecture Notes in Computer Science ISBN: 9783540899815

Subject Terms: Stochastic processes, 0211 other engineering and technologies, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, 0102 computer and information sciences, 02 engineering and technology, Biological Systems, Concurrent programming, 01 natural sciences

File Description: application/pdf

Access URL: http://www.lix.polytechnique.fr/~fvalenci/papers/iclp08.pdf
https://hal.inria.fr/inria-00430533/document
https://research.rug.nl/en/publications/stochastic-behavior-and-explicit-discrete-time-in-concurrent-cons
https://link.springer.com/chapter/10.1007%2F978-3-540-89982-2_57
https://rd.springer.com/chapter/10.1007/978-3-540-89982-2_57
https://hal.inria.fr/inria-00430533
https://www.narcis.nl/publication/RecordID/oai%3Apure.rug.nl%3Apublications%2Fb265c7ba-dd03-4ae6-a52b-959fa4ee30e6

NTCCRT : A Concurrent Constraint Framework for Soft Real-Time Music Interaction

Authors: Mauricio, Toro Rueda, Camilo Agon, Carlos et al.

Contributors: Mauricio, Toro Rueda, Camilo Agon, Carlos et al.

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

Subject Terms: Music Interaction, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Soft Real-Time, Signal Processing, Computer Music, Concurrent Constraint Programming (ccp), Machine Improvisation, [INFO] Computer Science [cs], Process Calculi, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: https://hal.science/hal-01580493v1
http://hdl.handle.net/10784/7943

Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation

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

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

Source: Inteligencia Artificial, Vol 19, Iss 57, Pp 37-73 (2016)
Inteligencia Artificial

Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Ccfomi, Machine improvisations, Learning systems, Pntcc, Computer Science - Artificial Intelligence, Concurrent constraints programming, Gecode, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Semantics, Real time, Artificial Intelligence (cs.AI), 13. Climate action, Electronic computers. Computer science, Factor oracle, 0202 electrical engineering, electronic engineering, information engineering, Ntcc, Computer software, C++ (programming language), Calculations, Concurrency control

File Description: application/pdf

Access URL: http://journal.iberamia.org/index.php/intartif/article/download/44/15/
http://arxiv.org/abs/1602.02169
https://doaj.org/article/d2155a51e856436e99d8b12cd2713fa7
https://dialnet.unirioja.es/servlet/articulo?codigo=6793542
https://journal.iberamia.org/index.php/intartif/article/download/44/15
https://arxiv.org/pdf/1602.02169
https://dblp.uni-trier.de/db/journals/corr/corr1602.html#Toro16
https://journal.iberamia.org/index.php/intartif/article/view/44
https://arxiv.org/abs/1602.02169
https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=5177
http://hdl.handle.net/10784/28609

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

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

Modelling Real-Time in Concurrent Constraint Programming

Source: Logic Programming ISBN: 9780262291248

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

Efficient computation of program equivalence for confluent concurrent constraint programming

Authors: Pino, Luis F. Bonchi, Filippo Valencia, Frank D. et al.

Contributors: Pino, Luis F. Bonchi, Filippo Valencia, Frank D. et al.

Source: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. :263-274

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], bisimulation, concurrent constraint programming, observational equivalence, partition refinement, Software, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Access URL: https://dl.acm.org/citation.cfm?doid=2505879.2505902
https://dl.acm.org/doi/10.1145/2505879.2505902
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2013.html#PinoBV13
https://arpi.unipi.it/handle/11568/900133
https://hal.archives-ouvertes.fr/hal-00909394
https://hal.inria.fr/hal-00909394
https://hdl.handle.net/11568/900133
https://doi.org/10.1145/2505879.2505902

Efficient algorithms for program equivalence for confluent concurrent constraint programming

Authors: Pino, Luis F. Bonchi, Filippo Valencia, Frank et al.

Contributors: Pino, Luis F. Bonchi, Filippo Valencia, Frank et al.

Source: Science of Computer Programming. 111:135-155

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Bisimulation, Concurrent constraint programming, Observational equivalence, Partition refinement, Software, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf