[gecode-users] Real time interpreters using GECODE

[Christian Schulte]

Dear Mauricio,

your questions are not easy to answer. 

- I do not know how big (or hard) the problems are. So can't say.
- Don't know anything about that.
- Gecode/J maybe?

I think the first and most important question to ask is whether there exists
a good constraint model for solving the problems you have. If that exists,
and the problems are easy enough then Gecode is indeed efficient enough to
do the trick. But, as said, first check how to model.

Christian

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Mauricio Toro
Sent: Wednesday, October 31, 2007 9:38 PM
To: gecode at gecode.org
Subject: [gecode-users] Real time interpreters using GECODE

Hello Gecode Comunity !

Together with the AVISPA research group we are trying to develop
a real time interpreter for a process calculus called 
Non deterministic Timed Concurrent Constraint (NTCC), this calculus is a 
non deterministic extension to the Timed Concurrent Constraint Calculus
(TCC).

In the past, some implementations were done using Mozart OZ using
combinators, but the 
real time was not achieved. We are now considering using GECODE with 
reification, but the whole concurrency syncronization seems to be a big
problem, additionally
reification could be not general enough.

We are also considering using GECOL (the lisp wraper of GECODE) because we
want to model music improvisation with the NTCC interpreted, and LISP has
been widely
used for computer music.

- Do you considered that a real time interpreter can be done with GECODE? 
- What about GECOL? fast enough?
- What other options could we consider to make the interpreter?

Thank you very much

-- 
Mauricio Toro Bermudez
Pontifica Universidad Javeriana
Cali, Colombia S.A