Buscar
Mostrando ítems 1-10 de 56
A proof theoretic study of soft concurrent constraint programming
(Cambridge University Press, 2014)
Abstract interpretation of temporal concurrent constraint programs
(Cambridge University Press, 2014)
Dynamic spaces in concurrent constraint programming
(Elsevier, 2014)
Proving concurrent constraint programming correct, revisited
(Elsevier, 2015)
Subexponential concurrent constraint programming
(Elsevier, 2015)
A Symbolic model for timed concurrent constraint programming
(Elsevier, 2015)
Probabilistic extension to the concurrent constraint factor oracle model for music improvisation
(Asociacion Espanola de Inteligencia Artificial, 2016-01-01)
We can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. “A Concurrent ...
On concurrent behaviors and focusing in linear logic
(Elsevier, 2017)
NTCCRT: A concurrent constraint framework for soft real-time music interaction
(Asian Research Publishing Network, 2015-01-01)
Writing music interaction systems is not easy because their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior. Using Pure Data (Pure Data) and Max/MSP, ...
Towards Non-Threaded Concurrent Constraint Programming for Implementing Multimedia Interaction Systems
(Advanced Institute of Convergence Information Technology Research Center, 2016-01-01)
In this work we explain the implementation of event-driven real-time interpreters for the Concurrent Constraint Programming (CCP) and Non-deterministic Timed Concurrent Constraint (NTCC) for- malisms. The CCP interpreter ...