Search dblp for Publications

export results for "toc:db/conf/iclp/iclp94-w6.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iclp/Bansal94,
  author    = {Arvind K. Bansal},
  editor    = {Jonas Barklund and
               Bharat Jayaraman and
               Jiro Tanaka},
  title     = {Towards a Formal Computation Model of Associative Logic Programming},
  booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
               of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
               June 1994},
  pages     = {11--20},
  publisher = {Uppsala University, Computing Science Departent},
  year      = {1994},
  url       = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/2-bansal.ps.gz},
  timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/Bansal94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DemoenM94,
  author    = {Bart Demoen and
               Greet Maris},
  editor    = {Jonas Barklund and
               Bharat Jayaraman and
               Jiro Tanaka},
  title     = {A Comparison of Some Schemes for Translating Logic to {C}},
  booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
               of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
               June 1994},
  pages     = {79--91},
  publisher = {Uppsala University, Computing Science Departent},
  year      = {1994},
  url       = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/7-demoen+maris.ps.gz},
  timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/DemoenM94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FernandezCH94,
  author    = {M. J. Fern{\'{a}}ndez and
               Manuel Carro and
               Manuel V. Hermenegildo},
  editor    = {Jonas Barklund and
               Bharat Jayaraman and
               Jiro Tanaka},
  title     = {{IDRA} (IDeal Resource Allocation): {A} Tool for Computing Ideal Speedups},
  booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
               of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
               June 1994},
  pages     = {107--122},
  publisher = {Uppsala University, Computing Science Departent},
  year      = {1994},
  url       = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/9-fernandez+carro+hermenegildo.ps.gz},
  timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/FernandezCH94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoC94,
  author    = {Manuel V. Hermenegildo and
               Manuel Carro},
  editor    = {Jonas Barklund and
               Bharat Jayaraman and
               Jiro Tanaka},
  title     = {A Note on Data-Parallelism and (And-Parallel) Prolog},
  booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
               of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
               June 1994},
  pages     = {49--64},
  publisher = {Uppsala University, Computing Science Departent},
  year      = {1994},
  url       = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/5-carro+hermenegildo.ps.gz},
  timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/HermenegildoC94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MichelG94,
  author    = {Olivier Michel and
               Jean{-}Louis Giavitto},
  editor    = {Jonas Barklund and
               Bharat Jayaraman and
               Jiro Tanaka},
  title     = {Design and Implementation of a Declarative Data-Parallel Language},
  booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
               of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
               June 1994},
  pages     = {1--10},
  publisher = {Uppsala University, Computing Science Departent},
  year      = {1994},
  url       = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/1-michel+giavitto.ps.gz},
  timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/MichelG94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PontelliGH94,
  author    = {Enrico Pontelli and
               Gopal Gupta and
               Manuel V. Hermenegildo},
  editor    = {Jonas Barklund and
               Bharat Jayaraman and
               Jiro Tanaka},
  title     = {{\&}ACE: the And-parallel Component of {ACE} {(A} Progress Report
               on {ACE)}},
  booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
               of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
               June 1994},
  pages     = {65--78},
  publisher = {Uppsala University, Computing Science Departent},
  year      = {1994},
  url       = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/6-pontelli+gupta+hermenegildo.ps.gz},
  timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/PontelliGH94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Smith94,
  author    = {Donald A. Smith},
  editor    = {Jonas Barklund and
               Bharat Jayaraman and
               Jiro Tanaka},
  title     = {Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism},
  booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
               of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
               June 1994},
  pages     = {33--47},
  publisher = {Uppsala University, Computing Science Departent},
  year      = {1994},
  url       = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/4-smith.ps.gz},
  timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/Smith94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SucciMC94,
  author    = {Giancarlo Succi and
               Giuseppe Marino and
               Giancarlo Colla},
  editor    = {Jonas Barklund and
               Bharat Jayaraman and
               Jiro Tanaka},
  title     = {Modelling the Connection Machine 2 as an Emulator of Subset-Based
               Declarative Languages},
  booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
               of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
               June 1994},
  pages     = {21--32},
  publisher = {Uppsala University, Computing Science Departent},
  year      = {1994},
  url       = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/3-succi+marino+colla.ps.gz},
  timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/SucciMC94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/XingPGC94,
  author    = {Dongxing Tang and
               Enrico Pontelli and
               Gopal Gupta and
               Manuel Carro},
  editor    = {Jonas Barklund and
               Bharat Jayaraman and
               Jiro Tanaka},
  title     = {Last Parallel Call Optimization and Fast Backtracking in And-parallel
               Logic Programming Systems},
  booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
               of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
               June 1994},
  pages     = {93--106},
  publisher = {Uppsala University, Computing Science Departent},
  year      = {1994},
  url       = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/8-dongxing+pontelli+gupta+carro.ps.gz},
  timestamp = {Wed, 13 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/XingPGC94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994w6,
  editor    = {Jonas Barklund and
               Bharat Jayaraman and
               Jiro Tanaka},
  title     = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
               of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
               June 1994},
  publisher = {Uppsala University, Computing Science Departent},
  year      = {1994},
  timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/1994w6.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics