Filters








5,229 Hits in 9.6 sec

Automated Testbench for Hybrid Machine Learning-Based Worst-Case Energy Consumption Analysis on Batteryless IoT Devices

Thomas Huybrechts, Philippe Reiter, Siegfried Mercelis, Jeroen Famaey, Steven Latré, Peter Hellinckx
<span title="2021-06-30">2021</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/a2yvk5xhdnhpxjnk6yd33uudqq" style="color: black;">Energies</a> </i> &nbsp;
We propose a hybrid methodology that combines machine learning-based prediction on small code sections, called hybrid blocks, with static analysis to combine the predictions to a final upper bound estimation  ...  To achieve this, we need insight in the Worst-Case Energy Consumption (WCEC) of each schedulable task on the device. Different methodologies exist to determine or approximate the energy consumption.  ...  The second step is to statically combine the results to gain insight in the worst-case consumption.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/en14133914">doi:10.3390/en14133914</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nuvi2csjjnhwfp2y24emz6sudq">fatcat:nuvi2csjjnhwfp2y24emz6sudq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210703002015/https://res.mdpi.com/d_attachment/energies/energies-14-03914/article_deploy/energies-14-03914.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/ce/c1/cec1feefdfd8a390065572276c0a0a080d285585.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/en14133914"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Challenges and Recommendations for Preparing HPC Applications for Exascale [article]

Erika Abraham, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
<span title="2015-06-09">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We identify challenges that need to be addressed and recommend solutions in key areas of interest, including formal modeling, static analysis and optimization, runtime analysis and optimization, and autonomic  ...  Furthermore, we outline a conceptual framework for porting HPC applications to future Exascale computing systems and propose steps for its implementation.  ...  inference of average cost in addition to the traditional worst-case cost; (3) take into account the underlying platform through a set of probabilistic parameters; (4) deal with massive and heterogeneous  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1503.06974v2">arXiv:1503.06974v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ehins3rgmred5itigap3xohooy">fatcat:ehins3rgmred5itigap3xohooy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191013145024/https://arxiv.org/pdf/1503.06974v2.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/c9/b1/c9b175ec1392f6b41900394ce3b67d0018b1e91c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1503.06974v2" 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>

Preparing HPC Applications for Exascale: Challenges and Recommendations

Erika Abraham, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gkr2efz2avhgdhgf2cap2dytwu" style="color: black;">2015 18th International Conference on Network-Based Information Systems</a> </i> &nbsp;
We identify challenges that need to be addressed and recommend solutions in key areas of interest, including formal modeling, static analysis and optimization, runtime analysis and optimization, and autonomic  ...  Furthermore, we outline a conceptual framework for porting HPC applications to future Exascale computing systems and propose steps for its implementation.  ...  inference of average cost in addition to the traditional worst-case cost; (3) take into account the underlying platform through a set of probabilistic parameters; (4) deal with massive and heterogeneous  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/nbis.2015.61">doi:10.1109/nbis.2015.61</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/nbis/AbrahamBBGJKPS15.html">dblp:conf/nbis/AbrahamBBGJKPS15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vrptx6acgzgblogcmezc5aqrsi">fatcat:vrptx6acgzgblogcmezc5aqrsi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921235452/http://lnu.diva-portal.org/smash/get/diva2:881972/FULLTEXT01" 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/c7/24/c724e98199769055311ca35013cf9c080841edbb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/nbis.2015.61"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

2019 Index IEEE Embedded Systems Letters Vol. 11

<span title="">2019</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fcpafl32h5cn5cfpmldtiodhge" style="color: black;">IEEE Embedded Systems Letters</a> </i> &nbsp;
Measurement-Based Cost Modeling With Static Worst-Case Execution-Time and Energy-Consumption Analyses; LES June 2019 38-41 Song, Y., and Lin, B., Uniform Minimal First: Latency Reduction in Throughput-Optimal  ...  , see Rubattu, C., LES Sept. 2019 69-72 Shih, C., see Reijers, N., LES March 2019 13-16 Sieh, V., Burlacu, R., Honig, T., Janker, H., Raffeck, P., Wagemann, P., and Schroder-Preikschat, W., Combining Automated  ...  S Safety management Rapid Integration of CPS Security and Safety.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/les.2019.2961726">doi:10.1109/les.2019.2961726</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xaybsbk3bzecpc6ankmbkv55ee">fatcat:xaybsbk3bzecpc6ankmbkv55ee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201107221426/https://ieeexplore.ieee.org/ielx7/4563995/8910470/08951041.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/d3/48/d3481f2ddf235a7afcb44906e25fcd1d3a87f2d3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/les.2019.2961726"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Demystifying Energy Consumption Dynamics in Transiently-powered Computers

Saad Ahmed, Muhammad Nawaz, Abu Bakar, Naveed Anwar Bhatti, Muhammad Hamad Alizai, Junaid Haroon Siddiqi, Luca Mottola
<span title="2020-05-07">2020</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3yu4mbaainhw5gol4yayc35pfe" style="color: black;">ACM Transactions on Embedded Computing Systems</a> </i> &nbsp;
We use it to substitute for the constant power assumption in existing analysis techniques, giving programmers accurate information on worst-case energy consumption of programs.  ...  We derive an energy model as a function of supply voltage and prove its use in two settings. First, we develop EPIC, a compile-time energy analysis tool.  ...  Similar to other compile-time tools, the best-and worst-case energy consumption estimates are the best output EPIC can provide.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3391893">doi:10.1145/3391893</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ilpp57hsvnag5js6mkawxoz7ma">fatcat:ilpp57hsvnag5js6mkawxoz7ma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428134840/https://re.public.polimi.it/retrieve/handle/11311/1158338/577006/ahmed20epic.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/b7/1f/b71f81a3cfcf791b8c60aaa38f42f8287a1a254d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3391893"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Type-Driven Verification of Non-functional Properties

Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
<span title="">2019</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 - PPDP &#39;19</a> </i> &nbsp;
Energy, Time and Security (ETS) properties of programs are becoming increasingly prioritised by developers, especially where applications are running on ETS sensitive systems, such as embedded devices  ...  Finally, we show our contract framework over a number of representable examples, demonstrating provable worst-case ETS properties.  ...  ACKNOWLEDGEMENTS We thank Annelie Heuser and Tania Richmond for their help regarding side-channel analysis and the Montgomery ladder.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3354166.3354171">doi:10.1145/3354166.3354171</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/0002BMMZ19.html">dblp:conf/ppdp/0002BMMZ19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xofb5l7cffhwpikzvrq2pkm6my">fatcat:xofb5l7cffhwpikzvrq2pkm6my</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200305132223/https://hal.inria.fr/hal-02314723/document" 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/8b/85/8b85b608e33b0c0077e6710ca6c5cc47c8762f4a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3354166.3354171"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A framework to experiment optimizations for real-time and embedded software [article]

Hugues Cassé , Jonathan Ponroy, Olivier Zendra
<span title="2010-11-28">2010</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Typical constraints on embedded systems include code size limits, upper bounds on energy consumption and hard or soft deadlines.  ...  However, a transformation that aims at improving the software with respect to a given criterion might engender side effects on other criteria and these effects must be carefully analyzed.  ...  on code size, energy consumption and worst-case execution time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1011.6031v1">arXiv:1011.6031v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qtlhyegrj5gazkpzpy2w6exzpi">fatcat:qtlhyegrj5gazkpzpy2w6exzpi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200823175314/https://arxiv.org/ftp/arxiv/papers/1011/1011.6031.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/0d/a5/0da5c63abfe6bc6fe24c864af90a8ef62d5e8834.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1011.6031v1" 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>

Automatic Energy Efficient HPC Programming: A Case Study

Issam Rais, Helene Coullon, Laurent Lefevre, Christian Perez
<span title="">2018</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lyt4hnjm5rap3iydqea2ldwegu" style="color: black;">2018 IEEE Intl Conf on Parallel &amp; Distributed Processing with Applications, Ubiquitous Computing &amp; Communications, Big Data &amp; Cloud Computing, Social Computing &amp; Networking, Sustainable Computing &amp; Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom)</a> </i> &nbsp;
Both BuildKlg and Ideal aims at first respecting power capping constraints and second minimizing execution time and energy consumption. 4) Simulation results: This section analyses the results of simulation  ...  As a result, and as expected, a correlation exists between the execution time and the energy consumption (CJoules).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/bdcloud.2018.00145">doi:10.1109/bdcloud.2018.00145</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ispa/RaisCLP18.html">dblp:conf/ispa/RaisCLP18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dt2gpu7d5zh7dd4xd6ni3xeecy">fatcat:dt2gpu7d5zh7dd4xd6ni3xeecy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190426160747/https://hal.inria.fr/hal-01922301/document" 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/f0/36/f036f652f1e51c8b1ddd0ddd0edf4e361c0b05df.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/bdcloud.2018.00145"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Design procedure to minimize power consumption and delays in WSAN

D Martinez, P Balbastre, F Blanes, J Simo, A Crespo
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lkotbxqctbforjskrx3xoitmyq" style="color: black;">2010 IEEE 15th Conference on Emerging Technologies &amp; Factory Automation (ETFA 2010)</a> </i> &nbsp;
Therefore this paper presents a method to achieve an optimal system configuration in order to fulfil the desired performance in control applications with a significant energy saving and minimum delay.  ...  This is due to the imprecise models for system analysis and design used and the non appropriated validation methods and platforms to support these models.  ...  Future work will focus on to include the routing protocols in the design procedure, and to automate the optimization process and integrate heuristics to facilitate the process and reducing the number of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/etfa.2010.5641283">doi:10.1109/etfa.2010.5641283</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/etfa/MartinezBBSC10.html">dblp:conf/etfa/MartinezBBSC10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ezbltnvehrckxpx23nlk2qnbzu">fatcat:ezbltnvehrckxpx23nlk2qnbzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130624044659/http://wks.gii.upv.es/sidireli/files/Martinez-ETFA.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/d4/85/d485706199015185454815159fe4923a10082887.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/etfa.2010.5641283"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

On Exploiting Energy-Aware Scheduling Algorithms for MDE-Based Design Space Exploration of MP2SoC

Manel Ammar, Mouna Baklouti, Maxime Pelcat, Karol Desnos, Mohamed Abid
<span title="">2016</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/f3hr4iv3tvhrldoukhnurnloh4" style="color: black;">2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)</a> </i> &nbsp;
This paper presents a Model Driven Engineering (MDE)-based energy-aware Design Space Exploration (DSE) approach allowing the designer to take the power consumption criterion into account early in the design  ...  of energy consumption in MP2SoC: the massive number of processing elements (PE) and the high-speed Network-on-Chip (NoC).  ...  This application is taken from the SDF 3 Benchmark [33] with worst-case execution times for an ARM7TDMI core.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/pdp.2016.110">doi:10.1109/pdp.2016.110</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pdp/AmmarBPDA16.html">dblp:conf/pdp/AmmarBPDA16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2kjcsbunfnhsnjf3anke6pl7fm">fatcat:2kjcsbunfnhsnjf3anke6pl7fm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190413020242/https://core.ac.uk/download/pdf/52993040.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/aa/c4/aac4e888b26f09a5ead367f8fab927a78e81eeaf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/pdp.2016.110"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A component infrastructure for performance and power modeling of parallel scientific applications

Van Bui, Boyana Norris, Kevin Huck, Lois Curfman McInnes, Li Li, Oscar Hernandez, Barbara Chapman
<span title="">2008</span> <i title="ACM Press"> Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance - CBHPC &#39;08 </i> &nbsp;
The power model leverages on-chip performance hardware counters and is designed to model power consumption for modern multiprocessor/multicore systems.  ...  We present a component-based infrastructure for performance and power modeling of parallel scientific applications.  ...  Furthermore, we describe how the performance analysis infrastructure based on PerfExplorer can be extended with power models that can be used to estimate power and energy consumption based on hardware  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1456190.1456199">doi:10.1145/1456190.1456199</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/do5ohmsyvndfpkofmzt32vz6li">fatcat:do5ohmsyvndfpkofmzt32vz6li</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080917205703/http://www.mcs.anl.gov/uploads/cels/papers/P1538.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/e2/71/e271360c548aaef59de939c5be3b38785470a2f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1456190.1456199"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Timing Analysis of a Protected Operating System Kernel

Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v45oxowmzff5lbub4ixtl2tazu" style="color: black;">2011 IEEE 32nd Real-Time Systems Symposium</a> </i> &nbsp;
Operating systems offering virtual memory and protected address spaces have been an elusive target of static worst-case execution time (WCET) analysis.  ...  This is due to a combination of size, unstructured code and tight coupling with hardware.  ...  NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre of Excellence  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtss.2011.38">doi:10.1109/rtss.2011.38</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/rtss/BlackhamSCRH11.html">dblp:conf/rtss/BlackhamSCRH11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mvejlztgrvbcljy25xewg756pe">fatcat:mvejlztgrvbcljy25xewg756pe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922002220/http://www.cse.unsw.edu.au/%7Ecs9242/current/papers/Blackham_SCRH_11.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/bf/92/bf92f7da20c6eadc974a890e78b7523e636f384e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtss.2011.38"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Reconfigurable design with clock gating

W.G. Osborne, W. Luk, J.G.F. Coutinho, O. Mencer
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ge4h54rcl5fvfdkjgqpac4rfxq" style="color: black;">2008 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation</a> </i> &nbsp;
The approach is applied to two techniques: multiplexer-based reconfiguration, and reconfigurable wordlength optimization.  ...  Various case studies, such as ray tracing, guitar string simulation and matrix-vector multiplication, are used to illustrate this approach.  ...  Acknowledgments The support of the UK Engineering and Physical Sciences Research Council, European FP6 hArtes (Holistic Approach to Reconfigurable Real Time Embedded Systems) project, Agility, Celoxica  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsamos.2008.4664863">doi:10.1109/icsamos.2008.4664863</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/samos/OsborneLCM08.html">dblp:conf/samos/OsborneLCM08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kqdpj23w4vbc7c7svzhfrqyxny">fatcat:kqdpj23w4vbc7c7svzhfrqyxny</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808034408/http://comparch.doc.ic.ac.uk/publications/files/will08samos.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/98/e5/98e531f57e36f11d2ae5b44b634cba245d2d2bd0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsamos.2008.4664863"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report

Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck
<span title="2020-11-15">2020</span> <i title="ACM"> Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences </i> &nbsp;
We empirically evaluate the impact of each integration step and demonstrate the effectiveness of our methodology in meeting real-time application requirements in terms of deadline misses and energy consumption  ...  We report on our experience in applying PReGO to a use-case: a Search & Rescue application running on a fixed-wing drone with COTS components, including an NVIDIA Jetson board and a stock Ubuntu/Linux.  ...  Worst-Case Execution Time The WCET behaviour of each task can either be estimated through static code analysis or via profiling [43] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3425898.3426954">doi:10.1145/3425898.3426954</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i5ey76xmhnhwlonmsatzdnzjxi">fatcat:i5ey76xmhnhwlonmsatzdnzjxi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210427085832/https://pure.uva.nl/ws/files/54844035/rouxel20_gpce.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/e2/01/e2014722b7df7656c5a03b351326917df35514fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3425898.3426954"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The Embedded Systems Design Challenge [chapter]

Thomas A. Henzinger, Joseph Sifakis
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap between safetycritical  ...  We believe that the development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating computer science.  ...  We thank Paul Caspi and Oded Maler for valuable comments on a preliminary draft of this manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11813040_1">doi:10.1007/11813040_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3hvzxh3snjbhhc6lcm4gydnye4">fatcat:3hvzxh3snjbhhc6lcm4gydnye4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830005826/http://www-verimag.imag.fr/~sifakis/RecentPublications/main.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/d8/ec/d8ec9f455597ed82f3a564f96e5ff247c758a9c1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11813040_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 5,229 results