Re: [ontology-summit] Clarification re Big Data Challenges Synthesis

[Simon Spero <sesuncedu@xxxxxxxxx>]

Peter Van Roy's dissertation on Aquarius prolog is available online at http://www.info.ucl.ac.be/~pvr/Peter.thesis/Peter.thesis.html .

"The Wonder Years of Sequential Prolog Programing" is available online at http://www.hpl.hp.com/techreports/Compaq-DEC/PRL-RR-36.pdf     (sic transit gloria mundi) 

Ait-kaci's "Warren Abstract Machine - A tutorial reconstruction" is available at http://wambook.sourceforge.net/

Ulrich Callmeier's thesis "Efficient Parsing with Large-Scale Unification Grammars" is available online at http://sprout.dfki.de/publications/core/callmeier_thesis.pdf

Also: 

Malewicz, G., Austern, M. H., Bik, A. J. C., Dehnert, J. C., Horn, I., Leiser, N., & Czajkowski, G. (2010). Pregel : A System for Large-Scale Graph Processing.Proceedings of the 2010 international conference on Management of data,114(2), 135-145. ACM. Retrieved from http://portal.acm.org/citation.cfm?id=1807184

(Also available at: http://www.adjoint-functors.net/su/web/354/references/pregel2009.pdf )

PBGL (Boost Parallel Graph Library) - http://osl.iu.edu/research/pbgl/ and http://www.boost.org/doc/libs/1_46_1/libs/graph_parallel/doc/html/index.html

_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012  
Community Portal: http://ontolog.cim3.net/wiki/     (01)