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

A Symbolic Model for Timed Concurrent Constraint Programming.

Autoři: Arias, Jaime Guzmán, Michell Olarte, Carlos

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Apr2015, Vol. 312, p161-177. 17p.

Témata: Mathematical models, Constraint algorithms, Computer programming, Mathematical formulas, Decision making

Multi-constraint scheduling of MapReduce workloads

Autoři: Polo, Jordà

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Becerra Fontal, Yolanda, Carrera Pérez, David

Zdroj: TDX (Tesis Doctorals en Xarxa)

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/276174
https://dx.doi.org/10.5821/dissertation-2117-95387

A Framework for Timed Concurrent Constraint Programming with External Functions

Autoři: Alpuente, M. Gramlich, B. Villanueva, A.

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Jul2007, Vol. 188, p143-155. 13p.

Témata: Programming languages, Computer programming, Computer arithmetic, Computer systems, Computer science

Structured interactive scores : from a structural description of a multimedia scenario to a real-time capable implementation with formal semantics

Partitions interactives structurées

Autoři: Toro-Bermudez, Mauricio

Thesis Advisors: Bordeaux 1, Desainte-Catherine, Myriam, Rueda, Camilo

Témata: Partitions interactives, Structures des événements temporisés, Programmation concurrente avec contraintes, Interactive scores, Timed event structures, Concurrent constraint programming

Dostupnost: http://www.theses.fr/2012BOR14588/document

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

Dynamic Slicing for Concurrent Constraint Languages.

Autoři: Falaschi, Moreno Gabbrielli, Maurizio Olarte, Carlos a další

Zdroj: Fundamenta Informaticae. 2020, Vol. 177 Issue 3/4, p331-357. 27p.

Témata: *CONSTRAINT programming, *DEBUGGING, *LANGUAGE & languages

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

Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach

Autoři: Bistarelli, Stefano Gabbrielli, Maurizio Meo, Maria Chiara a další

Témata: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, text

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

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

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.

Zdroj: Inteligencia Artificial

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

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

Concurrent Constraint Conditional-Branching Timed Interactive Scores

Autoři: Toro, Mauricio Desainte-Catherine, Myriam

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

Automatic Verification of Timed Concurrent Constraint Programs

Autoři: Falaschi, Moreno Villanueva, Alicia

Témata: Computer Science - Logic in Computer Science, text

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

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

Autoři: 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 a další

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

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

Timed Concurrent Constraint Programming for Analysing Biological Systems

Autoři: Gutierrez, Julian Pérez, Jorge A. Rueda, Camilo a další

Zdroj: Gutierrez, J, Pérez, J A, Rueda, C & Valencia, F D 2007, 'Timed Concurrent Constraint Programming for Analysing Biological Systems', Electronic Notes in Theoretical Computer Science, vol. 171, no. 2, pp. 117-137.

Témata: article

URL: https://research.rug.nl/en/publications/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://doi.org/10.1016/j.entcs.2007.05.012
https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://pure.rug.nl/ws/files/184120815/Timed_Concurrent_Constraint_Programming_for_Analysing_Biological_Systems.pdf
https://www.scopus.com/pages/publications/34250852244
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.entcs.2007.05.012
info:eu-repo/semantics/altIdentifier/hdl/https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
info:eu-repo/semantics/altIdentifier/pissn/1571-0661

Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL

Autoři: Valencia, Frank

Témata: Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-20479
Logic Programming, 19th International Conference, p. 422-437

Finite-horizon approximate optimal attitude control based on adaptive dynamic programming for ultra-low-orbit satellite.

Autoři: Ma, Jiahong Wu, Baolin Geng, Yunhai a další

Zdroj: Advances in Space Research. Feb2025, Vol. 75 Issue 4, p3856-3869. 14p.

Témata: *COST functions, *DYNAMIC programming, *ARTIFICIAL satellite attitude control systems, *FAULT currents, *ADAPTIVE control systems, *ACTUATORS

Trouble Doing Two Differently Timed Actions at Once: What Is the Problem?

Autoři: Maslovat, Dana Klapp, Stuart T.

Zdroj: Psychological Review; Jan2024, Vol. 131 Issue 1, p231-246, 16p

Témata: RHYTHM

Real-Time Concurrent Constraint Programming

Autoři: Gerardo M. Sarria M Camilo Rueda The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gerardo M. Sarria M Camilo Rueda The Pennsylvania State University CiteSeerX Archives

Zdroj: http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Asr08.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.571.7473; http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Asr08.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.571.7473
http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Asr08.pdf