Ir al contenido

Programación Concurrente por Restricciones Temporizada y No Determinística

Añadir enlaces
De Wikipedia, la enciclopedia libre

Programación Concurrente por Restricciones Temporizada y no Determinística (en Inglés, Non-deterministic Timed Concurrent Constraint) es un cálculo de procesos desarrollado por Frank Valencia como una extensión de la Programación Concurrente por Restricciones de Vijay A. Saraswat.[1]​ Un cálculo de procesos es una Especificación formal para la Computación concurrente. Ntcc extiende a la programación concurrente por restricciones para modelar tiempo discreto y escogencias no determinísticas.[2]​

Programación Concurrente por Restricciones Temporizada y no Determinística, y sus extensiones, han sido usadas para modelar sistemas de interacción multimedia,[3]​ un sistema de procesamiento de sonido,[4]​ partituras musicales interactivas,[5]​ protocolos de seguridad[6]​ y sistemas biológicos.[7]​ En sistemas de interacción multimedia y partituras musicales interactivas, el principal autor de estos modelos es Mauricio toro Bermúdez.[8]​[9]​

Referencias

[editar]
  1. ↑ «Logic Programming: 19th International Conference 2003». Consultado el 8 de marzo de 2017. 
  2. ↑ «Programación Concurrente por Restricciones Temporizada y no Determinística». Consultado el 8 de marzo de 2017. 
  3. ↑ «Un modelo concurrente y por restricciones, basado en el oráculo de factores, para improvisación musical». Consultado el 8 de marzo de 2017. 
  4. ↑ «Un cálculo concurrente por restricciones, temporizado, como un marco para procesamiento de sonido». Consultado el 8 de marzo de 2017. 
  5. ↑ «Semántica formal para un sistema de partituras musicales interactivas: Un marco para diseñar, especificar propiedades y ejecutar escenarios interactivos». Consultado el 8 de marzo de 2017. 
  6. ↑ «Un marco declarativo para la seguridad: Programación por restricciones segura». Consultado el 8 de marzo de 2017. 
  7. ↑ «Usando una extensión estocástica de la Programación Concurrente por Restricciones Temporizada y no Determinística para modelar sistemas biológicos». Consultado el 8 de marzo de 2017. 
  8. ↑ «DBLP de Mauricio Toro». Consultado el 8 de marzo de 2017. 
  9. ↑ «Google Scholar de Mauricio Toro». Consultado el 8 de marzo de 2017. 
Obtenido de «https://es.wikipedia.org/w/index.php?title=Programación_Concurrente_por_Restricciones_Temporizada_y_No_Determinística&oldid=155172302»