<?xml version="1.0"?>
<!-- name="generator" content="blosxom/2.0" -->
<!DOCTYPE rss PUBLIC "-//Netscape Communications//DTD RSS 0.91//EN" "http://my.netscape.com/publish/formats/rss-0.91.dtd">

<rss version="0.91">
  <channel>
    <title>Notebooks   </title>
    <link>http://bactra.org/notebooks</link>
    <description>Cosma's Notebooks</description>
    <language>en</language>

  <item>
    <title>Parallel and Distributed Computing</title>
    <link>http://bactra.org/notebooks/2009/04/10#parallel</link>
    <description>


&lt;a href=&quot;cellular-automata.html&quot;&gt;Cellular automata&lt;/a&gt; are parallel,
interacting finite state machines; some of them are Turing-equivalent, that is,
can compute any &lt;a href=&quot;computation.html&quot;&gt;computable function&lt;/a&gt;.

&lt;P&gt;Complexity classes --- in space (memory), time, other resources?

&lt;P&gt;What would analog parallel computing look like?  (A partial differential
equation, presumably.)

&lt;P&gt;Uses: &lt;a href=&quot;data-mining.html&quot;&gt;data mining&lt;/a&gt;, &lt;a
href=&quot;simulations.html&quot;&gt;simulations.&lt;/a&gt;

&lt;P&gt;&lt;em&gt;See also&lt;/em&gt;:
	&lt;a href=&quot;computation.html&quot;&gt;Computation, Automata, Languages&lt;/a&gt;;
	&lt;a href=&quot;computer-networks.html&quot;&gt;Computer Networks&lt;/a&gt;;
	&lt;a href=&quot;multi-agent-systems.html&quot;&gt;Multi-Agent Systems&lt;/a&gt;

&lt;ul&gt;Recommended:
	&lt;li&gt;David Gelernter, &lt;cite&gt;Mirror Worlds&lt;/cite&gt;
	&lt;li&gt;Metropolis and Rota (eds.), &lt;cite&gt;A New Era in Computation&lt;/cite&gt;
	&lt;li&gt;&lt;a href=&quot;http://mres.www.media.mit.edu/people/mres/&quot;&gt;Mitchel
Resnick&lt;/a&gt;, &lt;cite&gt;Turtles, Termites, and Traffic Jams: Explorations in
Massively Parallel Microworlds&lt;/cite&gt; [&lt;a
href=&quot;../reviews/turtles-termites-traffic-jams/&quot;&gt;Review: Turtles Up the *&lt;/a&gt;]
	&lt;li&gt;Nancy A. Lynch, &lt;cite&gt;Distributed Algorithms&lt;/cite&gt; [&lt;a
href=&quot;http://dannyreviews.com/h/Distributed_Algorithms.html&quot;&gt;Laudatory
review&lt;/a&gt; by Danny Yee]
	&lt;li&gt;Bruce Sterling, &quot;Pervasive Computing,&quot; &lt;a
href=&quot;http://www.viridiandesign.org/notes/101-125/00113.html&quot;&gt;Viridian Note
00113&lt;/a&gt;
	&lt;/ul&gt;

&lt;Ul&gt;To read:
	&lt;li&gt;Andrews, &lt;citE&gt;Fundamentals of Multithreaded, Parallel, and
Distributed Programming&lt;/cite&gt;
	&lt;li&gt;Jon Barwise and Jerry Seligman, &lt;cite&gt;Information Flow: The Logic
of Distributed Systems&lt;/cite&gt;
	&lt;li&gt;Albert Benveniste, Eric Fabre and Stefan Haar, &quot;Markov
Nets: Probabilistic Models for Distributed and Concurrent Systems&quot;,
&lt;a href=&quot;http://dx.doi.org/10.1109/TAC.2003.819076&quot;&gt;&lt;cite&gt;IEEE Transactions on
Automatic Control&lt;/cite&gt; &lt;strong&gt;48&lt;/strong&gt; (2003): 1936--1950&lt;/a&gt;
	&lt;li&gt;George F. Coulouris, Jean Dollimore, and Tim Kindberg,
&lt;cite&gt;Distributed Systems: Concepts and Design&lt;/cite&gt;
	&lt;li&gt;Shlomi Dolev, &lt;Cite&gt;Self-Stabilization&lt;/cite&gt; [&lt;a
href=&quot;http://mitpress.mit.edu/0262041782&quot;&gt;Blurb&lt;/a&gt;]
	&lt;li&gt;Wan Fokkink, &lt;cite&gt;Introduction to Process Algebra&lt;/cite&gt;
	&lt;li&gt;Neil Gershenfeld, &lt;cite&gt;When Things Start to Think&lt;/cite&gt;
	&lt;li&gt;Raymond Greenlaw, H. James Hoover, and Walter L. Ruzzo,
&lt;cite&gt;Limits to Parallel Computation: P-Completeness Theory&lt;/cite&gt;
	&lt;li&gt;H. Guclu, G. Korniss, M. A. Novotny, Z. Toroczkai and
Z. R&amp;acute;cz, &quot;Synchronization landscapes in small-world-connected computer
networks&quot;, &lt;a
href=&quot;http://dx.doi.org/10.1103/PhysRevE.73.066115&quot;&gt;&lt;cite&gt;Physical Review
E&lt;/cite&gt; &lt;strong&gt;73&lt;/strong&gt; (2006): 066115&lt;/a&gt;
= &lt;a href=&quot;http://arxiv.org/abs/cond-mat/0601058&quot;&gt;cond-mat/0601058&lt;/a&gt;
	&lt;li&gt;Peter J. Haas, &lt;citE&gt;Stochastic Petri Nets: Modelling, Stability,
Simulation&lt;/cite&gt;
	&lt;li&gt;Holger Hermanns, &lt;Cite&gt;Interactive Markov Chains&lt;/citE&gt; [&lt;a
href=&quot;markov.html&quot;&gt;Markov&lt;/a&gt; models for distributed system analysis and
design]
	&lt;li&gt;Jane Hillston, &lt;cite&gt;A Compositional Approach to Performance
Modelling&lt;/cite&gt; [&lt;a href=&quot;http://cambridge.org/9780521571890&quot;&gt;blurb&lt;/a&gt;]
	&lt;li&gt;Huberman, &lt;cite&gt;Ecology of Computation&lt;/cite&gt;
	&lt;li&gt;Zohar Manna and Amir Pnueli, &lt;cite&gt;The Temporal Logic of Reactive
and Concurrent Systems&lt;/cite&gt;
	&lt;li&gt;Robin Milner, &lt;cite&gt;Communicating and Mobile Systems: The
Pi-calculus&lt;/cite&gt;
	&lt;li&gt;Peter Pacheco, &lt;cite&gt;MPI&lt;/cite&gt;
	&lt;li&gt;Wolfgang Reisig, &lt;cite&gt;Elements of Distributed Algorithms: Modeling
and Analysis with Petri Nets&lt;/cite&gt;
	&lt;li&gt;L. Ridgway Scott, Terry Clark, and Babak Bagheri, &lt;cite&gt;Scientific
Parallel Computing&lt;/cite&gt; [&lt;a
href=&quot;http://pup.princeton.edu/titles/8007.html&quot;&gt;Blurb&lt;/a&gt;]
	&lt;li&gt;Sterling et al., &lt;cite&gt;How to Build a Beowulf&lt;/cite&gt;
	&lt;li&gt;R. E. Tarjan, &lt;cite&gt;Data Structures and Network Algorithms&lt;/cite&gt;
	&lt;li&gt;Gerard Tel, &lt;cite&gt;Introduction to Distributed Algorithms&lt;/cite&gt;
	&lt;/ul&gt;
</description>
  </item>
  </channel>
</rss>