Sorry for the late reply, but have you tried recomputation? With
recomputation you can trade memory consumption for run time. A few
variants exist (e.g., fixed recomputation and adaptive recomputation).
Gecode and Geoz support batch recomputation, which considerably
improves the efficiency.
Best
Torsten
On 18.12.2009, at 14:47, Maity, Ashis K wrote:
Hi,
Currently we have a scheduling application using Mozart/Oz, but we
are running into trouble as our application is crashing in need of
more memory. Hence, we are planning to move to Gecode. However,
seeing the email below about having a Mozart interface to access
Gecode, I was wondering would that solve our memory issue? Or would
it still have that 32 bit memory limitation since it will be
initiated through Mozart/Oz? However, improved recomputation using
Gecode functionalities might help? Any comment on this is
appreciated! Also, when are we expecting this release (of Mozart-
Gecode interface)-- in days, weeks or months? There is a project
website called GeOz (seems defunct now) -- is it the same thing?
Thanks,
Ashis
-----Original Message-----
From: [email protected] [mailto:users-boun...@mozart-
oz.org] On Behalf Of Peter Van Roy
Sent: Tuesday, December 08, 2009 12:19 PM
To: Mozart users
Subject: Re: Mozart Next Release
Dear Markus,
I would just like to complement Torsten's message. We are currently
working on two extensions to the Mozart system itself. The first is
related to the distribution subsystem: Mozart 1.4.0 did a complete
rewrite of it (see Raphaël Collet's Ph.D. thesis) and some problems
remain which we will fix in the next release. The second is related
to
constraints: we are working on a connection between Mozart and Gecode.
This work is being done by Yves Jaradin and Gustavo Gutierrez,
respectively. The distribution fixes should be released relatively
quickly (Yves can say more).
We also have some ongoing application work. For example, there is the
Beernet transactional store (beernet.info.ucl.ac.be) which is a result
of the SELFMAN project (www.ist-selfman.org). This work is done by
Boris Mejias. There is some work by other people. For example,
Jean-Bernard Stefani's group at INRIA has written an advanced dynamic
configuration package called CompOz, which can deploy, reconfigure,
navigate, monitor, and use workflows with distributed dynamic
component
systems based on Oz. This was part of the work on self
configuration in
SELFMAN.
We have ported Mozart to Android in SELFMAN. This was done by Jérémie
Melchior, helped by Yves Jaradin and Gustavo Gutierrez. If you are
interested to help with this effort and have a complete Mozart run on
your gPhone, please send us mail!
PS, bugfix patches are much appreciated!
Peter
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
Best wishes,
Torsten
--
Torsten Anders
Interdisciplinary Centre for Computer Music Research
University of Plymouth
Office: +44-1752-586219
Private: +44-1752-558917
http://strasheela.sourceforge.net
http://www.torsten-anders.de
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
