<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01527642</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-22T17:01:49+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study</title>
            <author role="aut">
              <persName>
                <forename type="first">Fredrik</forename>
                <surname>Degerlund</surname>
              </persName>
              <email type="md5">35c79047b42bf7993f83d279deb4bfb7</email>
              <email type="domain">abo.fi</email>
              <idno type="idhal" notation="numeric">1008908</idno>
              <idno type="halauthorid" notation="string">1173200-1008908</idno>
              <affiliation ref="#struct-93061"/>
              <affiliation ref="#struct-112126"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-05-24 17:22:59</date>
              <date type="whenModified">2025-11-06 08:50:02</date>
              <date type="whenReleased">2017-05-24 17:24:55</date>
              <date type="whenProduced">2012-06-13</date>
              <date type="whenEndEmbargoed">2015-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01527642v1/document">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01527642v1/file/978-3-642-30823-9_15_Chapter.pdf" id="file-1527642-1589187">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-30823-9_15.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01527642</idno>
            <idno type="halUri">https://inria.hal.science/hal-01527642</idno>
            <idno type="halBibtex">degerlund:hal-01527642</idno>
            <idno type="halRefHtml">&lt;i&gt;12th International Conference on Distributed Applications and Interoperable Systems (DAIS)&lt;/i&gt;, Jun 2012, Stockholm, Sweden. pp.177-184, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-30823-9_15"&gt;&amp;#x27E8;10.1007/978-3-642-30823-9_15&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.177-184, &amp;#x27E8;10.1007/978-3-642-30823-9_15&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1527642-1589187"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-TC6" corresp="IFIP-TC">TC 6: Communication Systems</idno>
            <idno type="stamp" n="IFIP-WG6-1" corresp="IFIP-WG">Architectures and Protocols for Distributed Systems</idno>
            <idno type="stamp" n="IFIP-DAIS" corresp="IFIP">DAIS: Distributed Applications and Interoperable Systems</idno>
            <idno type="stamp" n="IFIP-LNCS-7272" corresp="IFIP-LNCS">Distributed Applications and Interoperable Systems</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Fredrik</forename>
                    <surname>Degerlund</surname>
                  </persName>
                  <email type="md5">35c79047b42bf7993f83d279deb4bfb7</email>
                  <email type="domain">abo.fi</email>
                  <idno type="idhal" notation="numeric">1008908</idno>
                  <idno type="halauthorid" notation="string">1173200-1008908</idno>
                  <affiliation ref="#struct-93061"/>
                  <affiliation ref="#struct-112126"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>12th International Conference on Distributed Applications and Interoperable Systems (DAIS)</title>
                  <date type="start">2012-06-13</date>
                  <date type="end">2012-06-16</date>
                  <settlement>Stockholm</settlement>
                  <country key="SE">Sweden</country>
                </meeting>
                <editor>Karl Michael Göschka</editor>
                <editor>Seif Haridi</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Distributed Applications and Interoperable Systems</biblScope>
                  <biblScope unit="volume">LNCS-7272</biblScope>
                  <biblScope unit="pp">177-184</biblScope>
                  <date type="datePub">2012</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-30823-9_15</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Event-B is a tool-supported specification language that can be used e.g. for modelling of concurrent programs. This calls for code generation and a means of executing the resulting code. One approach is to preserve the original event-based nature of the model and use a run-time scheduler and message passing to execute the translated events on different computational nodes. In this paper, we consider the efficiency of such a solution when applied to a compute-intensive model. In order to mitigate overhead, we also use a method allowing computational nodes to repeat event execution without the involvement of the scheduler. To find out under what circumstances the approach performs most efficiently, we perform an empirical study with different parameters.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 6</org>
              <org type="consortium">WG 6.1</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-93061" status="VALID">
          <orgName>Turku Centre for Computer Science</orgName>
          <desc>
            <address>
              <addrLine>FIN-20014, Turku</addrLine>
              <country key="FI"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-112126" type="direct"/>
            <relation active="#struct-300810" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-112126" status="VALID">
          <idno type="ROR">https://ror.org/029pk6x14</idno>
          <orgName>Åbo Akademi University [Turku]</orgName>
          <desc>
            <address>
              <addrLine>Tuomiokirkontori 3FI-20500 Turku</addrLine>
              <country key="FI"/>
            </address>
            <ref type="url">http://www.abo.fi/public/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300810" status="VALID">
          <orgName>University of Turku</orgName>
          <desc>
            <address>
              <addrLine>20014 Turun yliopisto, Finland</addrLine>
              <country key="FI"/>
            </address>
            <ref type="url">http://www.utu.fi/en/Pages/home.aspx</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>