https://gitorious.org/ocamlp3l/ocamlp3l_cvs.git
Raw File
Tip revision: ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33 UTC
Ignore all generated files.
Tip revision: ad58ae4
ocamlbib.bib
File /users/formel2/dicosmo/ACADEMIC/Paperi/Miei/Parallelism/OcamlP3l/ocamlp3l.bib last modified on Wed Feb 11 15:33:46 1998.
@string{dip = "Department of Computer Science, University of Pisa (Italy)"}
@string{pfi = "Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, C.N.R. (Italy)"}
@string{psc = "Hewlett Packard Laboratories, Pisa Science Center (Italy)"}
@string{hpl = "Hewlett Packard Laboratories"}
@string{hp  = "Hewlett Packard"}

@string{toplas=    "ACM Transactions on Programming Languages and Systems"}
@string{cacm =     "Communications of the ACM"}
@string{sacm =     "ACM Computing Surveys"}
@string{lncs =     "Lecture Notes in Computer Science"}
@string{springer = "Springer-Verlag"}
@string{spe =      "Software Practice and Experience"}
@string{computer = "IEEE Computer"}
@string{IEEEtoc =  "IEEE Transactions on Computers"}
@string{IEEEtds =  "IEEE Transactions on Parallel and Distributed Systems"}
@string{IEEEtse =  "IEEE Transactions on Software Engineering"}
@string{jpdc=	   "Journal of Parallel and Distributed Computing"}
@string{siam-comp= "SIAM Journal on Computing"}
@string{tcs =      "Theoretical Computer Science"}

@string{lispconf = "Proceedings of the ACM Conference on LISP
	and Functional Programming"}
@string{aisca = "Proceedings of the Annual International
	Symposium on Computer Architecture (ACM--IEEE)"}

@string{jan = "January"}
@string{feb = "February"}
@string{mar = "March"}
@string{apr = "April"}
@string{may = "May"}
@string{jun = "June"}
@string{jul = "July"}
@string{aug = "August"}
@string{sep = "September"}
@string{oct = "October"}
@string{nov = "November"}
@string{dec = "December"}



@book{libro-susi,
        author = "S. Pelagatti",
        title = "Structured development of parallel programs",
        publisher = "Taylor\&Francis",
        address = "London",
        year = 1998
        }

@incollection{bird1,
        author="R. S. Bird",
        title="An introduction to the {T}heory of {L}ists",
        booktitle="Logic of programming and calculi of discrete
        design",
        year=1987,
        editor="M. Broy",
        pages = "5--42",
        publisher = springer,
        address =  "Berlin",
        series = "NATO ASI",
        volume ="F36",
        more="International Summer School directed by F. L.
        Bauer, M. Broy, E. W. Dijkstra and C. A. R. Hoare"
        }


@book{cole-th,
        author="M. Cole",
        title="{Algorithmic Skeletons: Structured Management of Parallel
        Computations}",
        publisher="Pitman",
        year="1989",
        series="Research Monographs in Parallel and 
	Distributed Computing"
}

@inproceedings{Darlington1996,
 author      ="P. Au and J. Darlington and M. Ghanem and Y. Guo and
                  H.W. To and J. Yang",
 title       ="Co-ordinating Heterogeneous Parallel Computation",
 editor      ="L. Bouge and P. Fraigniaud and A. Mignotte and Y. Robert",
 booktitle   ="Europar '96",
 year        ="1996",
 pages="601--614",
 publisher =springer,
}

@misc{Objective-Caml,
        author = "Xavier Leroy and J\'er\^ome Vouillon and Damien Doligez",
        title =         "The {Objective} {Caml} system",
        year =          "1996",
       howpublished =  "Software and documentation available on the Web,
                        \texttt{http://pauillac.inria.fr/ocaml/}"
}

@book{Paulson-working-ML,
        author =        "Lawrence C. Paulson",
        title =         "{ML} for the working programmer",
        publisher =     "Cambridge University Press",
        year =          "1991"}

@inproceedings{bird11,
	author="R. S. Bird",
	title="An introduction to the {T}heory of {L}ists",
	booktitle="Logic of programming and calculi of discrete
	design",
	year=1987,
	editor="Manfred Broy",
	organization="{NATO ASI} Series"
	}

@phdthesis{bratvold-thesis,
        author="T. Bratvold",
        title="Skeleton-Based Parallelisation of Functional Programs",
        school="Heriot-Watt University",
        year="1994"     }

@inproceedings{darli-to-1,
	author="J. Darlington  and Y. Guo and H. W. To and J. Yang",
	title="{Parallel Skeletons for Structured Composition}",
	booktitle="Fifth ACM SIGPLAN Symposium on Principles and
		  Practice of Parallel Programming",
	year="1995",
	publisher="ACM Press",
	month="July"	}

@inproceedings{darli-to-2,
	author="J. Darlington  and Y. Guo and H. W. To and Q. Wu and
		  J. Yang and M. Kohler",
	title="{Fortran-S: A Uniform Functional Interface to Parallel
		  Imperative Languages}",
	booktitle="Third Parallel Computing Workshop (PCW'94)",
	year="1994",
	publisher="Fujitsu Laboratories Ltd.",
	month="November"	}

@article{fgcs-firenze,
	author="M. Danelutto and R. Di Meglio and S. Orlando and
	S. Pelagatti and M. Vanneschi",
	title="A methodology for the development and support of
	massively parallel programs",
	journal="Future Generation Computer Systems",
	publisher="North Holland",
	year=1992,
	month=jul,
        pages="205--220",
	number="1--3",
	volume=8
	}

@inproceedings{ic-parle-93-1,
	author="J. Darlington  and A. J. Field and P. G. Harrison and P. H. J. Kelly and D. W. N. Sharp and Q. Wu",
	title="{Parallel Programming Using Skeleton Functions}",
	booktitle="PARLE'93",
	year="1993",
	pages="146--160",
	publisher="Springer",
	note="LNCS No. 694"	}

@techreport{mpi,
	author="M.P.I.Forum ",
	title="{Document for a standard message-passing interface}",
	institution="University of Tennessee",
	year="1993",
	number="CS-93-214",
	month=nov	}


@article{orlando-grosso,
	author="B. Bacci  and M. Danelutto and S. Orlando and S.
	Pelagatti and M. Vanneschi",
	title = "{P$^3$L: A Structured High level programming
	language and its structured support}",
	volume = 7,
	year = 1995,
        journal = "Concurrency Practice and Experience",
	number = 3,
	pages = {225--255},
        month = may,
	}

@article{skilli-cal-jpds,
        author="D. B. Skillicorn and W. Cai ",
        title="A Cost Calculus for Parallel Functional Programming",
        journal= jpdc,
        volume="28",
        year="1995",
        pages="65--83",
        }

@techreport{tesi-susanna,
  author = 	 "S. Pelagatti",
  title = "{A methodology for the development and the support of
massively parallel programs}",
  institution = "Dept. of Computer Science -- Pisa",
  number = "TD-11/93",
  note = "PhD Thesis",
  year = 	 "1993"
}

@inproceedings{serot97,
  author = "Jocelyn  S\'erot",
  title = "{Embodying parallel functional skeletons: an experimental
  implementation on top of MPI}",
  booktitle = "Proceedings of the EuroPar 97",
  note = "Passau, Germany",
  year = 1997,
  publisher = "Springer Verlag, LNCS No. 1300",
  monht = "August"
}

@inproceedings   {FournetGonthier96_rcham-join-calculus,
author       =   {C\'{e}dric Fournet and
                  Georges Gonthier},
title        =   {The Reflexive Chemical Abstract Machine 
                  and the Join-Calculus},
booktitle    =   "Proceedings of the 23rd ACM Symposium on
                  Principles of Programming Languages",
pages        =   "372--385",
publisher    =   "ACM",
address      =   "St. Petersburg Beach, Florida",
month        =   jan # " 21-24",
year         =   "1996"
                  }

@PhdThesis{KnabePhD,
        AUTHOR = {Knabe, F. C.},
        TITLE = {Language Support for Mobile Agents},
        SCHOOL = {School of Computer Science, Carnegie Mellon University},
        YEAR = {1995},
        NOTE = {CMU-CS-95-223; also published as Technical Report ECRC-95-36}
}

@MANUAL{FournetMaranget_Join_calculus_language,
        TITLE = {The Join-Calculus language},
        AUTHOR = {Cedric Fournet and Luc Maranget},
        ORGANIZATION = {INRIA},
        MONTH = jun,
        YEAR = {1997},
        NOTE = {Software and documentation available electronically, ({\tt http://pauil\-lac.in\-ria.fr/jo\-in})}
}

@TechReport{clement04,
  author = {{Fran\c cois} Cl\'ement and Roberto {Di Cosmo} and Zheng Li and Vincent Martin and Arnaud Vodicka and Pierre Weis},
  title = 	 {Parallel Programming with the System Applications to Numerical Code Coupling},
  institution =  {INRIA Roquencourt},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTtype = 	 {},
  number = 	 {RR-5131},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TECHREPORT{OcamlP3l,
        AUTHOR = {Marco Danelutto and Di Cosmo, Roberto and Xavier Leroy and Susanna Pelagatti},
        TITLE = {{\tt OcamlP3l}: a functional parallel programming system},
        INSTITUTION = "LIENS - DMI, Ecole Normale Sup\'erieure",
        NUMBER = "98-01",
        YEAR = 1998,
	DMI-CATEGORY = {rapliens},
	DMI-WAIS = "YES",
	DMI-TIME = {},
	DMI-STATUS = {},
	DMI-OUTDATES = {},
	DMI-EQUIPE = "eq-lambda",
        URL = "http://www.dmi.ens.fr/ftp/pub/dmi/users/liens/liens-98-1.A4.ps.Z",
        HTMLURL = "\htmladdnormallink{ps}{http://www.dicosmo.org/TR/LIENS-93-11.dvi.Z}",
        ABSTRACT-URL="http://www.dmi.ens.fr/EDITION/preprints/Index.liens.98.html"
}
@ARTICLE{Ocamlp3lMlw98,
        AUTHOR = {Marco Danelutto and Di Cosmo, Roberto and Xavier Leroy and Susanna Pelagatti},
        TITLE = {Parallel Functional Programming with Skeletons: the ocamlp3l experiment},
        JOURNAL = "The ML Workshop",
        YEAR = {1998},
        ADDRESS = "Baltimore",
        DMI-CATEGORY = {autc}
}
@InCollection{skbook02,
  author = 	 {S. Pelagatti},
  title = 	 {Task and Data parallelism in {P3L}},
  booktitle = 	 {Patterns and Skeletons for Parallel and Distributed Computing},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {155--186},
  publisher = {Springer-Verlag, London},
  year = 	 {2002},
  editor = 	 {Fethi A. Rabhi and Sergei Gorlatch},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {6},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{hlpp03,
  author =   {Roberto Di~Cosmo and Susanna Pelagatti},
  title =    {A cost calculus for dense array distributions},
  journal =  {Parallel Processing Letters},
  pages =     {377--388},
  year =     {2003},
  OPTeditor =    {},
  volume =    {13},
  number =    {3},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTannote =    {}
} the special issue
of Computer Languages, Systems and Structures devoted 
to Semantics and Cost models for High-Level Parallel Programming.
@unpublished{clss05,
  author =   {Roberto Di~Cosmo and Zheng Li and Susanna Pelagatti},
  title =    {A Calculus for Parallel Computations over Multidimensional Dense
Arrays},
  note =  { to appear on \emph{Computer Languages, Systems and Structures} special issue on ``Semantics and Cost models for High-Level Parallel Programming''},
  year =     {2005},
  OPTeditor =    {},
  volume =    { },
  number =    { },
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTannote =    {}
}
@Misc{Zheng03,
  OPTkey =   {},
  author =   {Zheng Li},
  title =    {Efficient Implementation of {MAP} Skeleton for the {OcamlP3L} System},
  howpublished = {DEA Report, Universit\'e PARIS VII},
  month =    {July},
  year =     {2003},
  OPTnote =      {},
  OPTannote =    {}
}

@ARTICLE{parco02,
  AUTHOR = {J. S\'erot and D. Ginhac},
  TITLE = {Skeletons for parallel image processing : an overview of the {SKiPPER} project},
  JOURNAL = {Parallel Computing},
  VOLUME = 28,
  NUMBER = 12,
  PAGES = {1785-1808},
  MONTH = {Dec},
  YEAR = 2002
}
back to top