Concurrent programming made easy

Ramírez, Rafael; Santosa, Andrew E.; Yap, Roland H. C.

doi:10.1109/iceccs.2000.873939

Cited by 7 publications

(3 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The constraints themselves are of the form X<Y, read as ``the execution time of X is less than the execution time of Y'', where X and Y are events, and < is a partial order. The constraint logic program (CLP) is defined as follows (For a complete description, see [1]. Constants range over events classes E,F,… and there is a distinguished (postfixed) functor +.…”

Section: The Programming Modelmentioning

confidence: 99%

See 1 more Smart Citation

Brief Announcement

Ramírez

Martínez

2004

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing

View full text Add to dashboard Cite

show abstract

Section: The Programming Modelmentioning

confidence: 99%

“…Constraints are generated by the CLP only when needed to reason about the execution times of current events. A detailed description of the interpreter can be found in [1]). …”

Section: The Interpretermentioning

confidence: 99%

Brief Announcement

Ramírez

Martínez

2004

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing

View full text Add to dashboard Cite

show abstract

“…Para hacer un poco más sencilla la programación concurrente hemos desarrollado un sistema en el cual la especificación de la concurrencia en las aplicaciones se lleva a cabo de manera gráfica. Además, la especificación de la sincronización de procesos está separada del resto del código y la sincronización de procesos se basa en Tempo [2,3], un lenguaje declarativo basado en lógica de primer orden. Su sintaxis es muy simple (su único predicado predefinido es "<", que representa precedencia en ejecución).…”

Section: Introductionunclassified

Tempo visual

Ruiz-Conejo

Buenabad-Chávez

2013

RITI

View full text Add to dashboard Cite

Resumen La programación concurrente facilita el desarrollo de aplicaciones, dividiéndolas en módulos que interactúan entre sí. Para llevar a cabo la interacción entre los módulos se utilizan mecanismos de sincronización como: semáforos, barreras, mensajes, entre otros. Estos mecanismos no son fáciles de usar en aplicaciones grandes o complejas. Para facilitar la programación concurrente se han propuesto otros mecanismos o lenguajes. Por ejemplo Tempo, que es un lenguaje declarativo que sirve para facilitar la interacción entre módulos. Pero Tempo no es tan fácil de usar, pues en ocasiones es un poco difícil entender cómo funciona. Tempo Visual (TV) es un modelo de Tempo en ambiente gráfico, que ayuda a desarrollar aplicaciones concurrentes de manera sencilla. Con TV el programador no tendrá que preocuparse por entender cómo funcionan las reglas de Tempo. Solo desarrollará el código secuencial de su aplicación con los diferentes procesos (o threads) que intervendrán durante la ejecución de la misma. Entonces, con TV, el programador marcará con el mouse las partes de código que se ejecutarán concurrentemente y así obtener una aplicación concurrente.

show abstract

Role-Based Declarative Synchronization for Reconfigurable Systems

Tanasescu

Wojciechowski

2005

Practical Aspects of Declarative Languages

View full text Add to dashboard Cite

Concurrent programming made easy

Cited by 7 publications

References 20 publications

Brief Announcement

Brief Announcement

Tempo visual

Role-Based Declarative Synchronization for Reconfigurable Systems

Contact Info

Product

Resources

About