Filters








5,095 Hits in 4.8 sec

On Implementable Timed Automata [chapter]

Sergio Feo-Arenis, Milan Vujinović, Bernd Westphal
<span title="">2020</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
does not depend on a global scheduler.  ...  Generating code from networks of timed automata is a wellresearched topic with many proposed approaches, which have in common that they not only generate code for the processes in the network, but necessarily  ...  Figure 3 shows an artificial network of implementable timed automata whose independency from a global scheduler depends on the parameters s 1,0 + w 1 and s 2,0 + w 2 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-50086-3_5">doi:10.1007/978-3-030-50086-3_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ctr33lseundhfjxlzn6t73rboa">fatcat:ctr33lseundhfjxlzn6t73rboa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200626140320/https://link.springer.com/content/pdf/10.1007%2F978-3-030-50086-3_5.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1e/09/1e09696c2eeb0c0d89bb97e0c40d1ceff972b09d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-50086-3_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Visual Design of Landscape Architecture Based on High-Density Three-Dimensional Internet of Things

Jue Chen, Wei Wang
<span title="2021-05-22">2021</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/y3fh56bfunh5fgneywwba6d4ke" style="color: black;">Complexity</a> </i> &nbsp;
Based on the hierarchical automata high-density three-dimensional Internet of Things landscape, this paper studies the global task scheduling and control automata model and the local scheduling automata  ...  model in the task, as well as the landscape perception layer rapid scheduling mechanism of independent scheduling strategy.  ...  and researches the global task scheduling and control automata model and the local scheduling automata model in the mechanism. e use of independent scheduling strategies for different levels of systems  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2021/5534338">doi:10.1155/2021/5534338</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t7kmtyntwjfuletn3injrvj7dy">fatcat:t7kmtyntwjfuletn3injrvj7dy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210604085523/https://downloads.hindawi.com/journals/complexity/2021/5534338.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/88/9c/889cbe0fd2f2850a0b9dbfbd1c076e477d618b2f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2021/5534338"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

About non-monotony in Boolean automata networks

Mathilde Noual, Damien Regnault, Sylvain Sené
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Focusing on discrete models of these networks, namely, Boolean automata networks, we propose to analyse the contribution of non-monotony to the diversity and complexity in their dynamical behaviours.  ...  Then, to build some understanding in this direction, we show some preliminary results on the dynamical behaviours of some specific non-monotone Boolean automata networks called xor circulant networks.  ...  It is called the global transition function associated to the updating schedule u, that updates simultaneously all automata in W 0 , then updates simultaneously all automata in W 1 . . .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2012.05.034">doi:10.1016/j.tcs.2012.05.034</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/de7xcxs4zrcxjclogtyyrukhyq">fatcat:de7xcxs4zrcxjclogtyyrukhyq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705081112/http://pageperso.lif.univ-mrs.fr/%7Esylvain.sene/files/publi_pres/nrs13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/0b/a80be51b1e900ed8750ad958a42b402435d26c5d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2012.05.034"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Non-monotony and Boolean automata networks [article]

Mathilde Noual, Damien Regnault, Sylvain Sené
<span title="2011-11-30">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Focusing on discrete models of these networks, namely, Boolean automata networks, we propose to analyse the contribution of non-monotony to the diversity and complexity in their dynamical behaviours.  ...  Then, to build some understanding in this direction, we propose some preliminary results on the dynamical behaviour of some specific non-monotone Boolean automata networks called XOR circulant networks  ...  It is called the global transition function associated to the updating schedule u, that updates simultaneously all automata in W 0 , then updates simultaneously all automata in W 1 . . .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1111.4552v2">arXiv:1111.4552v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qevcvtl3ozf53bbx36ri5w6kye">fatcat:qevcvtl3ozf53bbx36ri5w6kye</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1111.4552/1111.4552.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1111.4552v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Modeling distributed real-time systems with MAST 2

Michael González Harbour, J. Javier Gutiérrez, José M. Drake, Patricia López Martínez, J. Carlos Palencia
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/abrqcwwp5bajjj4an3guihtf7u" style="color: black;">Journal of systems architecture</a> </i> &nbsp;
Clock synchronization is also an important service in some real-time distributed systems because it allows a global notion of time for event timing and timing requirements.  ...  The Avionics Full-Duplex Switched Ethernet (AFDX) standard defines a hard real-time network based on switched Ethernet.  ...  With the additions described in this paper, MAST 2 will also support switched networks and scheduling policies requiring a global notion of time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.sysarc.2012.02.001">doi:10.1016/j.sysarc.2012.02.001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oy4npoacorht3jv3tez62njryi">fatcat:oy4npoacorht3jv3tez62njryi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150105235332/http://isiarticles.com:80/bundles/Article/pre/pdf/7275.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/89/4b/894be62b59871cb5b0865ecd0e339cf005737c14.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.sysarc.2012.02.001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Causality and Networks [article]

Mathilde Noual
<span title="2016-10-26">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In Automata Networks, it suffices to say that automata "influence" one another to introduce a notion of causality.  ...  One might argue that this merely is an incidental side effect of preferring statements expressed in natural languages to mathematical formulae.  ...  And in the case of Automata Networks, this means that the only hope to actually build a global understanding of networks lies in the platonic wager that it will necessarily "emerge" from the accumulation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1610.08766v1">arXiv:1610.08766v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/smeurgfiavfw3kersmolpvph3y">fatcat:smeurgfiavfw3kersmolpvph3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200825110236/https://arxiv.org/pdf/1610.08766v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/ac/77ace3811c73ec125958e47d7e1ac6793500c01c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1610.08766v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks

Beyazit Yalcinkaya, Mitra Nasri, Bjorn B. Brandenburg
<span title="">2019</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qjrrvry5ubgdlarkymvlxuip6m" style="color: black;">2019 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE)</a> </i> &nbsp;
By mapping the schedulability problem to the reachability problem in timed automata (TA), this paper provides the first exact schedulability test for this challenging model.  ...  exact schedulability test for the special case of global non-preemptive fixed-priority scheduling (for either periodic or sporadic tasks).  ...  In UPPAAL, the state of a system, i.e., a network of timed automata, is defined by the present locations of all timed automata, the values of all clocks, and the values of any discrete variables.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.23919/date.2019.8715111">doi:10.23919/date.2019.8715111</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/date/YalcinkayaNB19.html">dblp:conf/date/YalcinkayaNB19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lvv5drr4svbwpon7w5przr3ity">fatcat:lvv5drr4svbwpon7w5przr3ity</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200307073051/https://repository.tudelft.nl/islandora/object/uuid%3A41c5ee08-1cde-497f-8de5-64a87ec8825f/datastream/OBJ/download" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b1/be/b1be9d66b846239321713a44ef678cc1f1009e31.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.23919/date.2019.8715111"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Towards a theory of modelling with Boolean automata networks - I. Theorisation and observations [article]

Mathilde Noual, Sylvain Sené
<span title="2011-11-10">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Taking Boolean automata networks as instances of models of systems observed in reality, we analyse in this setting the remaining stages of the modelling process and we show how the meaning of theoretical  ...  Indeed, many of them rather follow from chains of theoretical inferences that are only based on the precise model definitions and rely strongly, in addition, on some consequential working hypotheses.  ...  In this case, as the definition of φ shows, there is no time-independent (global transition) function φ 1 that associates a unique successor φ 1 (x) = φ(x, 1) to every configuration x.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1111.2077v2">arXiv:1111.2077v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hklip7twgjf47n7eaexv5xenfm">fatcat:hklip7twgjf47n7eaexv5xenfm</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1111.2077/1111.2077.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1111.2077v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Timed Automata Semantics for Analyzing Creol

Mohammad Mahdi Jaghoori, Tom Chothia
<span title="2010-07-28">2010</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
We give a real-time semantics for the concurrent, object-oriented modeling language Creol, by mapping Creol processes to a network of timed automata.  ...  We can use our semantics to verify real time properties of Creol objects, in particular to see whether processes can be scheduled correctly and meet their end-to-end deadlines.  ...  In a network of timed automata, variables can be defined locally for one automaton, globally (shared between all automata), or as parameters to the automata.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.30.8">doi:10.4204/eptcs.30.8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6jjybncq5fb75hbou4angpasi4">fatcat:6jjybncq5fb75hbou4angpasi4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809022151/http://homepages.cwi.nl/~jaghouri/papers/foclasa10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/63/a5/63a5501655b089c956c5a9f0c1850c2bb8f3ed36.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.30.8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Using PO Methods for Verifying Behavioural Equivalences [chapter]

Monica Lara de Souza, Robert de Simone
<span title="">1996</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
The modelling of concurrent systems by synchronized distributed automata generates naturally an independence notion between the events of the global system.  ...  We want to use reductions of the interleaved global system by this independence relation for verification means.  ...  Global System derived from the network There is an obvious definition for the global automaton obtained from a given synchronised vector of automata, based on cartesian product: Definition 2 Global expansion  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-34945-9_6">doi:10.1007/978-0-387-34945-9_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wdtsj7asu5hhzobjn3snepfm4i">fatcat:wdtsj7asu5hhzobjn3snepfm4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200326194826/https://link.springer.com/content/pdf/10.1007%2F978-0-387-34945-9_6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/d3/a8d333cb17c1de41828cffcf522be3efad360323.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-34945-9_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Maximal throughput scheduling based on the physical interference model using learning automata

Ziaeddin Beheshtifard, Mohammad Reza Meybodi
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/l3w5c2fk6bh2fiux4zxdhtupaa" style="color: black;">Ad hoc networks</a> </i> &nbsp;
Wireless link scheduling is one of the major challenging issues in multi-hop wireless networks when they need to be designed in distributed fashion.  ...  This model uses a combination of a distributed learning automata based on the pick algorithm and an algorithm that compares successive scheduling solutions.  ...  Every node in this network uses a controller equipped by two independent learning automata.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.adhoc.2016.02.020">doi:10.1016/j.adhoc.2016.02.020</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6qrjotgnmneh3cfnlslupxlkva">fatcat:6qrjotgnmneh3cfnlslupxlkva</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170223205734/http://ceit.aut.ac.ir/~meybodi/paper/Beheshti-Meybodi-Ad%20hoc%20Netrorks-2016.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/85/d7/85d7204afa7d87c4418e269b235bc20d27c09261.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.adhoc.2016.02.020"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Timed Automata Model for Component-Based Real-Time Systems

Georgiana Macariu, Vladimir Cretu
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/okxd7mlvqvf7nhme7j7uxozfqm" style="color: black;">2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems</a> </i> &nbsp;
One of the key challenges in modern real-time embedded systems is safe composition of different software components.  ...  This paper introduces an approach based on timed automata for analysis of such component-based real-time embedded systems.  ...  Networks of timed automata.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ecbs.2010.20">doi:10.1109/ecbs.2010.20</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecbs/MacariuC10.html">dblp:conf/ecbs/MacariuC10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eioxtfflr5edlngvpw4j7ihxvy">fatcat:eioxtfflr5edlngvpw4j7ihxvy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922222825/http://www.ruhr-uni-bochum.de/integriertesysteme/emuco/files/gmacariu_ecbs2010.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a5/2f/a52f6ceae5ac19bf3baac3c2ba8318f598c60893.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ecbs.2010.20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Component-based analysis of hierarchical scheduling using linear hybrid automata

Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey
<span title="">2014</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ztltqydgcveb3kbdopynjpsdwu" style="color: black;">2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications</a> </i> &nbsp;
Timed Automata or Linear Hybrid Automata) can be used to analyse a real-time system by performing a reachability analysis on the model.  ...  In this paper we use the formalism of Linear Hybrid Automata to encode a hierarchical scheduling system.  ...  The model is based on the very expressive formalism of Linear Hybrid Automata.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtcsa.2014.6910502">doi:10.1109/rtcsa.2014.6910502</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/rtcsa/SunLSFM14.html">dblp:conf/rtcsa/SunLSFM14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zxn737i63rcpjfdatgwy2x7czi">fatcat:zxn737i63rcpjfdatgwy2x7czi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706111555/http://www.lsv.fr/Publis/PAPERS/PDF/SLSFM-rtcsa14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d9/8f/d98f1a2daf5d061620c61f9989aa159600fa4c44.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtcsa.2014.6910502"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Framework for Evaluating Schedulability Analysis Tools [chapter]

Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
on this network node.  ...  A RT system formalized as an automata network simulates the timing-related behavior of the system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-63121-9_27">doi:10.1007/978-3-319-63121-9_27</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xsnuy7du5bdppo27jp4l6nqzyi">fatcat:xsnuy7du5bdppo27jp4l6nqzyi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719141925/https://hal.inria.fr/hal-01674731/file/KimFest17.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/71/9c71e50a93a3ef0bd06e04450d905de30fc3f4c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-63121-9_27"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

System-level performance/power analysis for platform-based design of multimedia applications

Nicholas H. Zamora, Xiaoping Hu, Radu Marculescu
<span title="2007-01-01">2007</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ditvnky3lrdclbnymbnpcslo5m" style="color: black;">ACM Transactions on Design Automation of Electronic Systems</a> </i> &nbsp;
The objective of this article is to introduce the use of Stochastic Automata Networks (SANs) as an effective formalism for application-architecture modeling in system-level average-case analysis for platform-based  ...  We illustrate the benefits of our methodology by using the "Picture-in-Picture" video decoder as a driver application. ACM Reference Format: Zamora, N. H., Hu, X., and Marculescu, R. 2007.  ...  ACKNOWLEDGMENTS The authors would like to thank Amit Nandi for his contributions in the preliminary stages of this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1217088.1217090">doi:10.1145/1217088.1217090</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uqa3sz5wk5b25jl3l5ozi2csia">fatcat:uqa3sz5wk5b25jl3l5ozi2csia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20071031055828/http://www.gigascale.org/pubs/1001/nzamora_todaes07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c5/be/c5be19c84441c0af99212b984821ada11c345002.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1217088.1217090"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 5,095 results