An ongoing work on statistical structural testing via probabilistic concurrent constraint programming

2006 ◽  
Author(s):  
M. Petit ◽  
A. Gotlieb
Keyword(s):  
Constraint Programming ◽  
Structural Testing ◽  
Ongoing Work ◽  
Concurrent Constraint Programming

scholarly journals How to Implement Lightweight Threads

2019 ◽  
Author(s):  
Mauricio Toro
Keyword(s):  
Constraint Programming ◽  
Efficient Implementation ◽  
High Order ◽  
Common Lisp ◽  
Event Driven ◽  
Lightweight Threads ◽  
Concurrent Constraint Programming

Using continuations in high order languages such as Common Lisp is notvery efficient because they do not work close to the compiler . Other optionssuch as making an scheduler in C can be efficient when the sources of theinterpreter are available and they can be modified, otherwise, making aninterface with C using FFI causes an overhead, making it impossible toachive “lighweight”.To make an efficient implementation of lighweight threads in CommonLisp it is required to analyze the type of applications which will use thethreads. For example, for a Concurrent Constraint Programming (CCP)interpreter using Gecode, event driven programming seams very natural,but for the Omax system, it is not be appropriate.

scholarly journals Timed Default Concurrent Constraint Programming

1996 ◽  
Vol 22 (5-6) ◽  
pp. 475-520 ◽  
Author(s):  
VIJAY SARASWAT ◽  
RADHA JAGADEESAN ◽  
VINEET GUPTA
Keyword(s):  
Constraint Programming ◽  
Concurrent Constraint Programming

scholarly journals Timed Concurrent Constraint Programming for Analysing Biological Systems

2007 ◽  
Vol 171 (2) ◽  
pp. 117-137 ◽  
Author(s):  
Julian Gutiérrez ◽  
Jorge A. Pérez ◽  
Camilo Rueda ◽  
Frank D. Valencia
Keyword(s):  
Constraint Programming ◽  
Biological Systems ◽  
Concurrent Constraint Programming
Sign in / Sign up

Export Citation Format

Share Document