Výsledky vyhledávání - 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

Autoři: Schefers, Nina Rebecca

Přispěvatelé: University/Department: Universitat Autònoma de Barcelona. Departament de Telecomunicació i Enginyeria de Sistemes

Thesis Advisors: Ramos González, Juan José

Zdroj: TDX (Tesis Doctorals en Xarxa)

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

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/665750

PRTccp: Priority-driven Real-Time Concurrent Constraint Programming

Autoři: Okita, Tsuyoshi

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

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

Zdroj: International Journal of Advancements in Computing Technology

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

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

Zdroj: Journal of Theoretical and Applied Information Technology

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

Autoři: Lennartson, Bengt, 1956

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

Témata: Time-optimal control, satisfiability solver, constraint programming, timed Petri net

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/542053
https://research.chalmers.se/publication/542053/file/542053_Fulltext.pdf

PRTccp: Priority-driven Real-Time Concurrent Constraint Programming

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

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

Autoři: Toro, M. Rueda, C. Agón, C. a další

Přispěvatelé: Toro, M. Rueda, C. Agón, C. a další

Zdroj: Journal of Theoretical and Applied Information Technology

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

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

Autoři: Camilo Rocha Frank D. Valencia Miguel Romero a další

Přispěvatelé: Camilo Rocha Frank D. Valencia Miguel Romero a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319998398

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

Popis souboru: application/pdf

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

Autoři: BORTOLUSSI, LUCA A. Di Pierro and H. Wiklicky Bortolussi, Luca

Přispěvatelé: BORTOLUSSI, LUCA A. Di Pierro and H. Wiklicky Bortolussi, Luca

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

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

Popis souboru: ELETTRONICO

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

Autoři: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca a další

Přispěvatelé: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca a další

Zdroj: Constraints. 13:66-90

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

Popis souboru: STAMPA; application/pdf

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

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

Přispěvatelé: Toro, Mauricio Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones

Zdroj: International Journal of Advancements in Computing Technology

Témata: CCP, interpreter, real-time, NTCC, GECOL, GECODE

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

Autoři: Aranda, Jesus Jorge, Perez Rueda, Camilo a další

Přispěvatelé: Aranda, Jesus Jorge, Perez Rueda, Camilo a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540899815

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

Popis souboru: application/pdf

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

Autoři: Mauricio, Toro Rueda, Camilo Agon, Carlos a další

Přispěvatelé: Mauricio, Toro Rueda, Camilo Agon, Carlos a další

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

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

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-01580493v1
http://hdl.handle.net/10784/7943

A Symbolic Model for Timed Concurrent Constraint Programming

Autoři: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte a další

Přispěvatelé: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte a další

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

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

Popis souboru: application/pdf

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

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

Autoři: Toro, Mauricio

Témata: Computer Science - Multimedia, Computer Science - Logic in Computer Science, D.1.6, H.5.5, text

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

Modelling Real-Time in Concurrent Constraint Programming

Zdroj: Logic Programming ISBN: 9780262291248

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

Efficient computation of program equivalence for confluent concurrent constraint programming

Autoři: Pino, Luis F. Bonchi, Filippo Valencia, Frank D. a další

Přispěvatelé: Pino, Luis F. Bonchi, Filippo Valencia, Frank D. a další

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

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

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

Autoři: Pino, Luis F. Bonchi, Filippo Valencia, Frank a další

Přispěvatelé: Pino, Luis F. Bonchi, Filippo Valencia, Frank a další

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

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

Popis souboru: application/pdf

Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language

Autoři: Bueno Carrillo, Francisco García de la Banda, M. Hermenegildo, Manuel V.

Témata: Programación simultánea restringida, Paralelización, Compile-time analysis, Independent and-parallelism, Program transformation, Parallelization, Abstract interpretation, Programación lógica restringida, Interpretación abstracta, análisis del tiempo de compilación, (Constraint) Logic programming, Concurrent constraint programming, Transformación de programas

Přístupová URL adresa: https://oa.upm.es/15081/