Renaming /doc to /docs for use with GitHub Pages
[jpf-core.git] / docs / graphics / interleavings.svg
diff --git a/docs/graphics/interleavings.svg b/docs/graphics/interleavings.svg
new file mode 100644 (file)
index 0000000..4dfa19e
--- /dev/null
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="utf-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="7 283 477 166" width="477pt" height="166pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2014-11-19 20:18:08 +0000</dc:date></metadata><defs><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="11" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="14" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="9" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Hoefler Text" font-size="14" panose-1="2 3 6 2 5 5 6 2 2 3" units-per-em="1000" underline-position="0" underline-thickness="67.471858" slope="0" x-height="425" cap-height="689.5" ascent="720.99304" descent="-279.00696" font-weight="500"><font-face-src><font-face-name name="HoeflerText-Regular"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="8" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="768.0188" height="588.0188"/><g><title>Layer 1</title><rect x="116" y="335.875" width="9" height="17" fill="#ceccff"/><rect x="116" y="335.875" width="9" height="17" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="116" y="355.875" width="9" height="21.5" fill="#ceccff"/><rect x="116" y="355.875" width="9" height="21.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="116" y="388.375" width="9" height="33" fill="#ceccff"/><rect x="116" y="388.375" width="9" height="33" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="148.5" y="335.875" width="9" height="21.5" fill="#ffd1d7"/><rect x="148.5" y="335.875" width="9" height="21.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="148.5" y="360.375" width="9" height="21.5" fill="#ffd1d7"/><rect x="148.5" y="360.375" width="9" height="21.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="148.5" y="393.875" width="9" height="21.5" fill="#ffd1d7"/><rect x="148.5" y="393.875" width="9" height="21.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="184" y="336.375" width="9" height="26.5" fill="#d6ffc8"/><rect x="184" y="336.375" width="9" height="26.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="184" y="365.875" width="9" height="14" fill="#d6ffc8"/><rect x="184" y="365.875" width="9" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="184" y="394.375" width="9" height="21.5" fill="#d6ffc8"/><rect x="184" y="394.375" width="9" height="21.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(183.5 376)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><text transform="translate(148 376.5)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><text transform="translate(115.5 372.5)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><text transform="translate(101 337)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x=".9411621" y="10" textLength="6.1176758">1</tspan></text><text transform="translate(100.5 361)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x=".9411621" y="10" textLength="6.1176758">2</tspan></text><text transform="translate(115.5 309.5)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x=".33105469" y="14" textLength="9.3378906">P</tspan></text><text transform="translate(119.5 318)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="1.49731445" y="9" textLength="5.005371">1</tspan></text><text transform="translate(148.5 309.875)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x=".33105469" y="14" textLength="9.3378906">P</tspan></text><text transform="translate(152.5 318.375)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="1.49731445" y="9" textLength="5.005371">2</tspan></text><text transform="translate(183.5 309.875)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x=".33105469" y="14" textLength="9.3378906">P</tspan></text><text transform="translate(187.5 318.375)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x=".75024414" y="9" textLength="6.4995117">N</tspan></text><text transform="translate(101.5 394.375)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x=".4411621" y="10" textLength="6.1176758">n</tspan></text><text transform="translate(106.5 400.375)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="1.49731445" y="9" textLength="5.005371">1</tspan></text><text transform="translate(135.5 397.375)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x=".4411621" y="10" textLength="6.1176758">n</tspan></text><text transform="translate(140.5 403.375)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="1.49731445" y="9" textLength="5.005371">2</tspan></text><rect x="254" y="355.875" width="9" height="21.5" fill="#ffd1d7"/><rect x="254" y="355.875" width="9" height="21.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="254" y="380.375" width="9" height="26.5" fill="#d6ffc8"/><rect x="254" y="380.375" width="9" height="26.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(253.5 402)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><text transform="translate(21.5 367.375)" fill="black"><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="14.499" y="13" textLength="10.276">A</tspan><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="24.075" y="13" textLength="5.166">t</tspan><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="29.031" y="13" textLength="29.47">omic</tspan><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x=".121" y="30" textLength="6.188">I</tspan><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="5.735" y="30" textLength="23.394">nstr</tspan><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="29.479" y="30" textLength="43.4">uctions</tspan></text><text transform="translate(128 292.5)" fill="black"><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x=".175" y="13" textLength="48.65">Threads</tspan></text><rect x="254.5" y="416.375" width="9" height="21.5" fill="#d6ffc8"/><rect x="254.5" y="416.375" width="9" height="21.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(240 339.5)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x=".9411621" y="10" textLength="6.1176758">1</tspan></text><text transform="translate(239.5 359)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x=".9411621" y="10" textLength="6.1176758">2</tspan></text><text transform="translate(257 309.875)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x=".05517578" y="14" textLength="3.8896484">I</tspan></text><text transform="translate(260 317.5)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="1.49731445" y="9" textLength="5.005371">1</tspan></text><text transform="translate(230.5 418.5)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".38574219" y="11" textLength="15.228516">∑n</tspan></text><text transform="translate(244.5 426.375)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="3.0002441" y="9" textLength="1.9995117">i</tspan></text><text transform="translate(296.5 309.875)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x=".05517578" y="14" textLength="3.8896484">I</tspan></text><text transform="translate(299.5 317.5)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x=".25146484" y="9" textLength="7.4970703">M</tspan></text><text transform="translate(276.5 310.5)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><text transform="translate(166.5 310.5)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><text transform="translate(170.5 397.375)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x=".4411621" y="10" textLength="6.1176758">n</tspan></text><text transform="translate(175.5 403.375)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x=".75024414" y="9" textLength="6.4995117">N</tspan></text><rect x="297.5" y="336.375" width="9" height="26.5" fill="#d6ffc8"/><rect x="297.5" y="336.375" width="9" height="26.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="297.5" y="365.375" width="9" height="17" fill="#ceccff"/><rect x="297.5" y="365.375" width="9" height="17" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="254" y="335.875" width="9" height="17" fill="#ceccff"/><rect x="254" y="335.875" width="9" height="17" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="297.5" y="384.875" width="9" height="21.5" fill="#ffd1d7"/><rect x="297.5" y="384.875" width="9" height="21.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(297 402)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><rect x="298" y="416.375" width="9" height="21.5" fill="#ffd1d7"/><rect x="298" y="416.375" width="9" height="21.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(276.5 364.5)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><text transform="translate(166.5 355.5)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><text transform="translate(239.5 292.5)" fill="black"><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x=".224" y="13" textLength="6.188">I</tspan><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="5.838" y="13" textLength="12.838">nt</tspan><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="18.466" y="13" textLength="28.182">erlea</tspan><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="46.858" y="13" textLength="29.918">vings</tspan></text><path d="M 210.5 369.125 L 224 369.125 L 224 366.375 L 228.5 371.875 L 224 377.375 L 224 374.625 L 210.5 374.625 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(394 355.375)" fill="black"><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="0" y="13" textLength="46.102">(∑    n )!</tspan></text><text transform="translate(397 382.375)" fill="black"><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="0" y="13" textLength="44.674">∏   (n !)</tspan></text><text transform="translate(408 351.375)" fill="black"><tspan font-family="Helvetica" font-size="8" font-weight="500" x="1.1113281" y="8" textLength="5.7773438">N</tspan></text><text transform="translate(406 365.375)" fill="black"><tspan font-family="Helvetica" font-size="8" font-weight="500" x="3.0507812" y="8" textLength="10.8984375">i=1</tspan></text><text transform="translate(426 365.375)" fill="black"><tspan font-family="Helvetica" font-size="8" font-weight="500" x="3.1113281" y="8" textLength="1.7773438">i</tspan></text><text transform="translate(408 379.375)" fill="black"><tspan font-family="Helvetica" font-size="8" font-weight="500" x="1.1113281" y="8" textLength="5.7773438">N</tspan></text><text transform="translate(406 392.375)" fill="black"><tspan font-family="Helvetica" font-size="8" font-weight="500" x="3.0507812" y="8" textLength="10.8984375">i=1</tspan></text><text transform="translate(428 392.375)" fill="black"><tspan font-family="Helvetica" font-size="8" font-weight="500" x="3.1113281" y="8" textLength="1.7773438">i</tspan></text><line x1="380.5" y1="378.375" x2="457" y2="378.375" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(345 368.5)" fill="black"><tspan font-family="Hoefler Text" font-size="14" font-weight="500" x="8.394" y="13" textLength="26.712">M = </tspan></text><rect x="342.5" y="346.375" width="130" height="61.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g></g></svg>