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

["Obrst, Leo J." <lobrst@xxxxxxxxx>]

Many thanks, Simon!

 

Leo

 

From: ontology-summit-bounces@xxxxxxxxxxxxxxxx [mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Simon Spero
Sent: Tuesday, April 03, 2012 5:37 PM
To: Ontology Summit 2012 discussion
Subject: Re: [ontology-summit] Clarification re Big Data Challenges Synthesis

 

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)