Filters








54,964 Hits in 8.0 sec

The ComFoRT Reasoning Framework [chapter]

Sagar Chaki, James Ivers, Natasha Sharygina, Kurt Wallnau
<span title="">2005</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;
Another is the use of a simpler language for expressing verification properties, such as a pattern language [11] .  ...  A third is a technique for confirming that design-level (i.e., CCL designs) verification results are satisfied by eventual component implementations by proving a conformance relation between the model  ...  It provides a model checker, Copper, that implements a suite of complementary complexity management techniques to address state space explosion. But ComFoRT is more than a model checker.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11513988_18">doi:10.1007/11513988_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kwetb2qaevfg5andttihyi44xi">fatcat:kwetb2qaevfg5andttihyi44xi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151206115541/http://www.contrib.andrew.cmu.edu/~schaki/publications/CAV-2005-TOOL.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/fe/d3/fed344c480887312803373d47843328a6545a212.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11513988_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Application of Machine Learning in Self-Adaptive Systems: A Systematic Literature Review

Theresia Ratih Dewi Saputri, Seok-Won Lee
<span title="">2020</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
machine learning technique can be used in a software system to make them adaptive and self-configuring.  ...  Machine learning is typically used to discover software patterns and to detect software defects. Furthermore, the increasing complexity of software systems also contributes to the trend.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2020.3036037">doi:10.1109/access.2020.3036037</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vs6z3jb7gjacdi33u4gu7oi4gi">fatcat:vs6z3jb7gjacdi33u4gu7oi4gi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201109045212/https://ieeexplore.ieee.org/ielx7/6287639/6514899/09249012.pdf?tp=&amp;arnumber=9249012&amp;isnumber=6514899&amp;ref=" 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/a0/d9/a0d9246ff5e419b2be19dabb1588b4f00796dfc1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2020.3036037"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

Software reliability models based on machine learning techniques: A review

Bejjam Vasundhara Devi, R. Kanniga Devi
<span title="">2022</span> <i title="AIP Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3jzz7zp4afbbpdcvegp6zk7rp4" style="color: black;">AIP Conference Proceedings</a> </i> &nbsp;
This paper examines emerging literature focused on machine learning approaches of software reliability models.  ...  using machine learning methods.  ...  learning is an approach designed and designed to enable computers to model system behavior using information systems statistical data.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1063/5.0080442">doi:10.1063/5.0080442</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x36ir3y2hjh2pl6nmpfaf3nddu">fatcat:x36ir3y2hjh2pl6nmpfaf3nddu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220504021446/https://aip.scitation.org/doi/pdf/10.1063/5.0080442" 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/25/d5/25d56ef960d4709063f6139652b8cefb5b916acb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1063/5.0080442"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Automata-Based Software Reliability Model: The Key to Reliable Software

Ritika Wason, P. Ahmed, M. Qasim Rafiq
<span title="2013-11-30">2013</span> <i title="Science and Engineering Research Support Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kx4szfp7xvfn7laozkx3mc4iqe" style="color: black;">International Journal of Software Engineering and Its Applications</a> </i> &nbsp;
Section 3 introduces the formal finite state machine model and discusses its applications in software systems.  ...  Section 5 traces the different extensions and applications of finite state machine (FSM) models in designing and testing reliable software systems.  ...  The state-space approach is better said a generative approach that can allow modeling of dynamic, complex systems [23] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijseia.2013.7.6.10">doi:10.14257/ijseia.2013.7.6.10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n7wb6wadmrh3vnosuctyvsassi">fatcat:n7wb6wadmrh3vnosuctyvsassi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180602030335/http://www.sersc.org/journals/IJSEIA/vol7_no6_2013/10.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/a9/51/a95116efd10e52eb80bb52bcad0e8b9e26652a5d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijseia.2013.7.6.10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning [article]

Danny Weyns, Bradley Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei
<span title="2021-03-19">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Recently, we also observe a rapidly growing interest in applying machine learning (ML) to support different adaptation mechanisms.  ...  Two established approaches to engineer adaptive systems are architecture-based adaptation that uses a Monitor-Analysis-Planning-Executing (MAPE) loop that reasons over architectural models (aka Knowledge  ...  Monitoring is used to update these models with data about the current state of the software, the environment in which it is running, and the goals of the software.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2103.10847v1">arXiv:2103.10847v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4k3ufhjtsngj3brawwjpr3rkyy">fatcat:4k3ufhjtsngj3brawwjpr3rkyy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210324022049/https://arxiv.org/pdf/2103.10847v1.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/4f/b1/4fb127665319aece36181a408ac61db873c84883.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2103.10847v1" 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>

Conventional Usage of Finite State Machine over Petri Net inWeb Service Change Management Framework

M. Thirumaran, P. Dhavachelvan, D. Aishwarya, K. Rajakumari
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zy6wu5tesbbynfuiadfw6zh6fu" style="color: black;">Information Engineering Research Institute procedia</a> </i> &nbsp;
Finite state in analyzin modeling a existing ch change eva when a cha managemen exacting the the represen managemen © 2013 Pu Selection  ...  From the evaluation of the objective factors, it is inferred that finite state machine suits well than petri nets for the change management model, as emergency changes need to handled in an efficient way  ...  process control and Simulation, finite state machine plays an efficient role in representing the evaluation of change implemented.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ieri.2013.11.016">doi:10.1016/j.ieri.2013.11.016</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/clbgoy6m65a2tewmb5kkhguwzq">fatcat:clbgoy6m65a2tewmb5kkhguwzq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171001080008/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/9f4/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMjIxMjY2NzgxMzAwMDE5MQ%3D%3D.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/78/99/78999095f204a1d9d8cd44e66c19a2958d061861.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ieri.2013.11.016"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

FAULT TOLERATING MECHANISM IN DISTRIBUTED COMPUTING ENVIRONMENT

Lokendra Gour, Dr. Akhilesh A. Waoo
<span title="2020-08-01">2020</span> <i title="IJEAST"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/namhphsg6rdvtofp27o3scimoy" style="color: black;">International Journal of Engineering Applied Sciences and Technology</a> </i> &nbsp;
Under machine learning, an artificial neural network (ANN) captures, manipulates, and updates the states and behaviors of the sub-systems in the servers and worker's machines.  ...  To speed up computation in such a situation a fault tolerating infrastructure is implemented by adopting a machine learning approach.  ...  The machine learning model can manage such kind of problem easily and appropriately.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.33564/ijeast.2020.v05i04.096">doi:10.33564/ijeast.2020.v05i04.096</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yflf277oovadfncrfze47ko6zi">fatcat:yflf277oovadfncrfze47ko6zi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210204060036/https://www.ijeast.com/papers/610-615,Tesma504,IJEAST.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/49/12/4912a35641a516bbca3e714224baa22f2f52806a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.33564/ijeast.2020.v05i04.096"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Toward Energy-Aware Scheduling Using Machine Learning [chapter]

Josep Ll. Berral, Iñigo Goiri, Ramon Nou, Ferran Julià, Josep O. Fitó, Jordi Guitart, Ricard Gavaldá, Jordi Torres
<span title="2012-07-30">2012</span> <i title="John Wiley &amp; Sons, Inc."> Energy-Efficient Distributed Computing Systems </i> &nbsp;
Machine learning techniques supply a new vision of the modeling process, letting us to find these system models without the explicit requirement of experts and the ability of being able to update the model  ...  To solve these problems, one very relevant solution is machine learning, which allows the creation of decision and classification models of very complex systems from the examples of the same system, in  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/9781118342015.ch8">doi:10.1002/9781118342015.ch8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mtzomhmp5rcyxol4q6zwipvt7a">fatcat:mtzomhmp5rcyxol4q6zwipvt7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171013192607/http://personals.ac.upc.edu:80/jguitart/HomepageFiles/EEDCS12.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/fb/d5/fbd58988a622fc115321367de7a57221212a9a01.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/9781118342015.ch8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)

Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz, Marc Herbstritt
<span title="2016-04-06">2016</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
The aim of this seminar was to bring together academic and industrial researchers from the areas of probabilistic model checking, quantitative software analysis, probabilistic programming, and approximate  ...  These complex systems require sophisticated algorithms to deliver accurate answers quickly, at scale, and with energy efficiency, and approximation is often the only way to meet these competing goals.  ...  Smoothed Model Checking: A Machine Learning Approach to Probabilistic Model Checking under Uncertainty Dimitrios Milios (University of Edinburgh, GB) License Creative Commons BY 3.0 Unported license  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.5.11.151">doi:10.4230/dagrep.5.11.151</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/FilieriKMM15.html">dblp:journals/dagstuhl-reports/FilieriKMM15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dao63covdjhflma6fflt3meus4">fatcat:dao63covdjhflma6fflt3meus4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034348/https://drops.dagstuhl.de/opus/volltexte/2016/5800/pdf/dagrep_v005_i011_p151_s15491.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/87/f9/87f941d83250554878e538fb42fd17f922649c0a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.5.11.151"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Lessons Learned from Model Checking a NASA Robot Controller

Natasha Sharygina, James Browne, Fei Xie, Robert Kurshan, Vladimir Levin
<span title="">2004</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fyhr5xuigbfmdabfoqp2f7lbum" style="color: black;">Formal methods in system design</a> </i> &nbsp;
This paper reports as a case study an attempt to model check the control subsystem of an operational NASA robotics system.  ...  Several significant flaws in the original software system were identified and corrected during the model checking process. The case study presents the entire process in a semi-historical mode.  ...  But application of model checking to software systems is still in an early stage of development.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/b:form.0000040029.73127.85">doi:10.1023/b:form.0000040029.73127.85</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tldbgaqcrjfkdopkmirpl2zcwi">fatcat:tldbgaqcrjfkdopkmirpl2zcwi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922013454/http://web.cecs.pdx.edu/~xie/pubs/MC-Robot-FMSD.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/5a/cc/5acc2fbf724441d92c2271f22ae1cd251f80667a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/b:form.0000040029.73127.85"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Use of Genetic Algorithm in Network Security

L. M.R.J.Lobo, Suhas B. Chavan
<span title="2012-09-25">2012</span> <i title="Foundation of Computer Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/b637noqf3vhmhjevdfk3h5pdsu" style="color: black;">International Journal of Computer Applications</a> </i> &nbsp;
A client server environment is made use of. General Terms Genetic algorithm, Network security, Crossover technique.  ...  A motivation was experienced for the need of a strong network security policy framework. In this paper a strong network model for security function is presented.  ...  Total no of networking parameter checked in previous system Efficiency of System = * 100 Total no of networking parameter checked in our system 8 Efficiency of System = * 100 11 Efficiency  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/8438-2221">doi:10.5120/8438-2221</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vyybdtnimbc3hck5girviqtxrm">fatcat:vyybdtnimbc3hck5girviqtxrm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815025623/http://research.ijcaonline.org/volume53/number8/pxc3882221.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/b2/07/b207e31c450001e9ad5357f246caf1c4cc692986.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/8438-2221"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Quality-aware Approach for Engineering Self-adaptive Software Systems [article]

Mohammed Abufouda
<span title="2014-02-11">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, an approach for building an external adaptation engine for self-adaptive software systems is proposed.  ...  In order to improve the quality of self-adaptive software systems, this research addresses two challenges in self-adaptive software systems.  ...  Developing a self-adaptive software system is subjected to many challenges like handling the complexity of the adaptation space of the managed system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1402.2611v1">arXiv:1402.2611v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ayhuofng5nhyjnqb657k6ogvqi">fatcat:ayhuofng5nhyjnqb657k6ogvqi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200930094715/https://arxiv.org/ftp/arxiv/papers/1402/1402.2611.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/bb/88/bb88760af81125548467edde33135cc9527d9bb2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1402.2611v1" 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>

Learning-Based Run-Time Power and Energy Management of Multi/Many-Core Systems: Current and Future Trends

Amit Kumar Singh, Charles Leech, Basireddy Karunakar Reddy, Bashir M. Al-Hashimi, Geoff V. Merrett
<span title="2017-09-01">2017</span> <i title="American Scientific Publishers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vz36d3qaezfb7enlkagvfzo7me" style="color: black;">Journal of Low Power Electronics</a> </i> &nbsp;
This article provides an extensive survey of learning-based run-time power/energy management approaches. The survey includes a taxonomy of the learning-based approaches.  ...  However, effective power/energy management is required during system operations due to several reasons such as to increase the operational time of battery operated systems, reduce the energy cost of datacenters  ...  Experimental data used in this paper can be found at DOI: http://doi.org/10.5258/SOTON/D0109.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1166/jolpe.2017.1492">doi:10.1166/jolpe.2017.1492</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wrqqr345ujhglkpqt5hllonnxa">fatcat:wrqqr345ujhglkpqt5hllonnxa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428023157/http://repository.essex.ac.uk/23094/1/jolpe_final.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/c3/f5/c3f5cf5594e66dbbeb1af72ddfe7d5e24a4f56c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1166/jolpe.2017.1492"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Using Data Mining Technique For Scholarship Disbursement

J. K. Alhassan, S. A. Lawal
<span title="2015-08-05">2015</span> <i title="Zenodo"> Zenodo </i> &nbsp;
Tree-based data mining classification technique is used in other to determine the generic rule to be used to disburse the scholarship.  ...  The tree-based classification is adopted because of its efficiency, effectiveness, and easy to comprehend features.  ...  Machine Learning domain ANN approaches is measured to be a baseline technique for data-driven modeling. The higher Machine Learning techniques comprise of Support Vector Machines.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1108479">doi:10.5281/zenodo.1108479</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p3d4q2r72vb55h2oqpqoijeyku">fatcat:p3d4q2r72vb55h2oqpqoijeyku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201228135711/https://zenodo.org/record/1108480/files/10002271.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/24/61/24615eaa9c8eed45a9e05902c3a54ed7266048f6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1108479"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Formal Verification of Evolutionary Changes [chapter]

Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl
<span title="">2019</span> <i title="Springer International Publishing"> Managed Software Evolution </i> &nbsp;
In this chapter, we elaborate how formal verification techniques can be used to ensure safety properties of automated production systems during their evolution.  ...  , generalised test tables, and model checking of holistic (multidomain) models.  ...  Furthermore, old revisions allow obtaining precise models of the system efficiently using observations and model learning techniques.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-13499-0_11">doi:10.1007/978-3-030-13499-0_11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5rcrtm2aenaajcpzah4jw6ubge">fatcat:5rcrtm2aenaajcpzah4jw6ubge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200305063628/https://link.springer.com/content/pdf/10.1007%2F978-3-030-13499-0_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/0e/0a/0e0a66ea7afdb637519effe1090b267430a3f49e.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-13499-0_11"> <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 54,964 results