Search Results - (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

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

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

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

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

Subject Terms: CONSTRAINT programming, CODING theory, DENOTATIONAL semantics, DECISION making, MATHEMATICAL bounds

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

A Symbolic Model for Timed Concurrent Constraint Programming.

Authors: Arias, Jaime Guzmán, Michell Olarte, Carlos

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

Subject Terms: Mathematical models, Constraint algorithms, Computer programming, Mathematical formulas, Decision making

Dynamic Slicing for Concurrent Constraint Languages.

Authors: Falaschi, Moreno Gabbrielli, Maurizio Olarte, Carlos et al.

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

Subject Terms: CONSTRAINT programming, DEBUGGING, LANGUAGE & languages

Timed Soft Concurrent Constraint Programs.

Authors: Bistarelli, Stefano Gabbrielli, Maurizio Meo, Maria Chiara et al.

Source: Coordination Models & Languages (9783540682646); 2008, p50-66, 17p

Foundations of timed concurrent constraint programming.

Authors: Saraswat, V.A. Jagadeesan, R. Gupta, V.

Source: Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science; 1994, p71-80, 10p

Multi-constraint scheduling of MapReduce workloads

Authors: Polo, Jordà

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

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

Source: TDX (Tesis Doctorals en Xarxa)

File Description: application/pdf

Access URL: 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

Authors: Alpuente, M. Gramlich, B. Villanueva, A.

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

Subject Terms: Programming languages, Computer programming, Computer arithmetic, Computer systems, Computer science

Modelling Real-Time in Concurrent Constraint Programming.

Authors: de Boer, Frank S. Gabbrielli, Maurizio

Source: Logic Programming (9780262291248); 1995, p528-542, 15p

Models and emerging trends of concurrent constraint programming.

Authors: Olarte, Carlos Rueda, Camilo Valencia, Frank

Source: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p

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

Partitions interactives structurées

Authors: Toro-Bermudez, Mauricio

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

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

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

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

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

A concurrent constraint programming interpretation of access permissions.

Authors: OLARTE, CARLOS PIMENTEL, ELAINE RUEDA, CAMILO

Source: Theory & Practice of Logic Programming; Mar2018, Vol. 18 Issue 2, p252-295, 44p

Subject Terms: OBJECT-oriented programming languages, COMPUTER programming, AUTOMATIC theorem proving, ARTIFICIAL intelligence, COMPUTER software

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

Authors: Bistarelli, Stefano Gabbrielli, Maurizio Meo, Maria Chiara et al.

Index Terms: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, text

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

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

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