IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #921   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:31:19
921 Add to my selection
Tobias Müller and Jörg Würtz. Interfacing Propagators with a Concurrent Constraint Language. In Joint International Conference and Symposium on Logic Programming (JICSLP '96). Post-Conference Workshop and Compulog Net Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, September 5-6, Pages 195-206, Bonn, Germany, 1996. URL [Abstract] [Annote]
@InProceedings{Müller_Würtz:1996,
      AUTHOR = {Müller, Tobias and Würtz, Jörg},
      TITLE = {Interfacing Propagators with a Concurrent Constraint Language},
      YEAR = {1996},
      BOOKTITLE = {Joint International Conference and Symposium on Logic Programming (JICSLP '96). Post-Conference Workshop and Compulog Net Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, September 5-6},
      PAGES = {195-206},
      ADDRESS = {Bonn, Germany},
      URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/interfacing96.ps.gz},
      ABSTRACT = {This paper describes a C++ interface for the concurrent constraint language Oz to implement non-basic constraints as propagators. The programmer benefits from the advantages of a high-level language, like elegant and concise coding, in conjunction with efficiency. For the user it is transparent whether a constraint is implemented by an Oz procedure or through the interface. The interface is completely separated from the underlying Oz implementation. Moreover, it frees the user from tedious tasks like suspending and waking up constraints. The overall efficiency of the resulting system is comparable to existing finite domain systems. For scheduling applications we demonstrate how algorithms from Operations Research can be incorporated, which allows to obtain results comparable to commercially available systems.},
      ANNOTE = {COLIURL : Muller:1996:IPC.pdf Muller:1996:IPC.ps}
}
Last modified: Thu October 16 2014 19:11:34         BibAdmin