Filters








762 Hits in 8.8 sec

Software Development under Stringent Hardware Constraints: Do Agile Methods Have a Chance? [chapter]

Jussi Ronkainen, Pekka Abrahamsson
<span title="">2003</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;
Agile software development methods have been suggested as useful in many situations and contexts.  ...  However, only few (if any) experiences are available regarding the use of agile methods in embedded domain where the hardware sets tight requirements for the software.  ...  Drawing from this experience we analyze the prospects of using state-of-the-art agile methods in developing embedded software under tight hardware constraints.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44870-5_10">doi:10.1007/3-540-44870-5_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cqzgoqdokve6zhw5oktrlqfhie">fatcat:cqzgoqdokve6zhw5oktrlqfhie</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110302145447/http://agile.vtt.fi:80/docs/publications/2003/2003_xp03_software_development_under_stringent_hardware_constraints.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/8f/da/8fdaab8023117a6ccbbec2813746c199c15c5206.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44870-5_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An agile development methodology applied to embedded control software under stringent hardware constraints

Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo Barreto, Vicente Lucena
<span title="2008-01-01">2008</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpdbg2rpfjembkahly4z4ea5hq" style="color: black;">Software engineering notes</a> </i> &nbsp;
This kind of system maybe classified as an embedded real-time system and requires rigorous methodologies to develop the software that is under stringent hardware constraints.  ...  Therefore, the proposed development methodology adapts agile principles and patterns in order to build embedded control systems focusing on the issues related to the system's constraints and safety.  ...  practices to develop embedded software (ESW) that is under stringent hardware constraints, (iii) support a software driven hardware development approach through a comprehensive flow from specification  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1344452.1344459">doi:10.1145/1344452.1344459</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rt4ysvhomnae5lh7lfmavul5vi">fatcat:rt4ysvhomnae5lh7lfmavul5vi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830015744/https://eprints.soton.ac.uk/270847/1/sigsoft08-cordeiro.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/04/e1/04e13cf4a30fa2a19452e0ad17b2a311c9d1d243.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1344452.1344459"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Investigating the Capability of Agile Processes to Support Life-Science Regulations: The Case of XP and FDA Regulations with a Focus on Human Factor Requirements [chapter]

Hossein Mehrfard, Heidar Pirzadeh, Abdelwahab Hamou-Lhadj
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oqt3yqhkxvcubnonwg57er4tdq" style="color: black;">Studies in Computational Intelligence</a> </i> &nbsp;
The Food and Drug Administration (FDA) regulations, for example, impose stringent requirements on the process by which software systems used in medical devices are developed.  ...  One particular focus of the FDA regulations is on having a user-centered approach for building software for medical devices through the use of well-known concepts in the area of human factor engineering  ...  We intend to work on a larger version of this paper where we discuss every FDA requirement and if and how XP supports it or does not support it.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-13273-5_16">doi:10.1007/978-3-642-13273-5_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rumqmrrmgnezfnatfa7tcvhcb4">fatcat:rumqmrrmgnezfnatfa7tcvhcb4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812093837/http://users.encs.concordia.ca/~abdelw/sba/papers/SERA10-FDAToXP.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/0c/7e/0c7ed5c3cab9bbc68978a79042abd1cb8cf4913a.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-642-13273-5_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Software & Systems Engineering Process and Tools for the Development of Autonomous Driving Intelligence

Christian Basarke, Christian Berger, Bernhard Rumpe
<span title="">2007</span> <i title="American Institute of Aeronautics and Astronautics (AIAA)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/y77yarqo5jcs7c3l2uyosprriy" style="color: black;">Journal of Aerospace Computing Information and Communication</a> </i> &nbsp;
The process includes agile concepts, like test first approach, continuous integration of every software module and a reliable release and configuration management assisted by software tools in integrated  ...  However, the most important ingredients for an efficient and stringent development are the ability to efficiently test the behavior of the developed system in a flexible and modular simulator for urban  ...  Acknowledgments The authors thank their colleagues, which total 32 research assistants, students and professors from five institutes of the Braunschweig University of Technology, who have developed Caroline  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2514/1.33453">doi:10.2514/1.33453</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/etm72kyfb5eahjmjxkt4ikw3aa">fatcat:etm72kyfb5eahjmjxkt4ikw3aa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190303075159/http://pdfs.semanticscholar.org/c564/b62cd7df2ed47bb9a6266cc19c83024bc390.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/64/c564b62cd7df2ed47bb9a6266cc19c83024bc390.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2514/1.33453"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Constraints on the Emission Geometries of Gamma-ray Millisecond Pulsars Observed with the Fermi Large Area Telescope [article]

T. J. Johnson
<span title="2012-09-18">2012</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
A Markov chain Monte Carlo maximum likelihood technique has been developed to find the best-fit model parameters for nineteen MSPs using data from the LAT and various radio observatories.  ...  Millisecond pulsars (MSPs) have been established as a class of high-energy (≥0.1 GeV) emitters with the Large Area Telescope (LAT) aboard the Fermi Gamma-ray Space Telescope.  ...  Such methods can be developed and optimized with appropriate training samples.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1209.4000v1">arXiv:1209.4000v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/473uvpa2tfgwnapkzz4hhcdxty">fatcat:473uvpa2tfgwnapkzz4hhcdxty</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1209.4000/1209.4000.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/1209.4000v1" 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 Effective Method FOR QOS -Constrained Work Flow Scheduling of Cloud Services

Sabarinathan. N
<span title="2011-07-17">2011</span> <i title="Integrated Intelligent Research (IIR)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zm2yvq6jlvbwjfwfvzeyydhuci" style="color: black;">International Journal of MC Square Scientific Research</a> </i> &nbsp;
Cloud computing is the most recent promising trending that provides hardware infrastructures and software applications as a service.  ...  Finally, quantifying the performance of scheduling and allocation policy on a Cloud infrastructure (hardware, software, services) for different application and service models below unreliable load energy  ...  In most bi-criteria scheduling algorithms [17] , the user specifies a limitation for one criterion (deadline or budget constraints), and the algorithm tries to increase the computing speed under this  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.20894/ijmsr.117.003.001.002">doi:10.20894/ijmsr.117.003.001.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/povro6qrcfhivnwgi56qqqldhu">fatcat:povro6qrcfhivnwgi56qqqldhu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180601200949/http://ijmsr.org/admin/selected/IJMSR-2011-02IJMSR-2011-02.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/fd/45/fd4576fce0e9496cbb36136fb7212513e50f6788.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.20894/ijmsr.117.003.001.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Software engineering issues for mobile application development

Anthony I. Wasserman
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER &#39;10</a> </i> &nbsp;
This paper provides an overview of important software engineering research issues related to the development of applications that run on mobile devices.  ...  Again, these questions are just a small subset of a broad range of research questions that need further study.  ...  At the same time, all but the largest and most complicated software and system development projects have moved away from a process-intensive approach toward a more agile approach, with the Scrum approach  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1882362.1882443">doi:10.1145/1882362.1882443</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/Wasserman10.html">dblp:conf/sigsoft/Wasserman10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zqzn646yfzfl3oxktd2r24xzwi">fatcat:zqzn646yfzfl3oxktd2r24xzwi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120611212356/http://www.mobileseworkshop.org:80/papers/MSEWorkshopProceedings.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/fa/bbfaeed26dd506743c7d8d00e0ee6899f0ce0608.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1882362.1882443"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The journeys [chapter]

Brian Fitzgerald, Klaas-Jan Stol, Sten Minör, Henrik Cosmo
<span title="">2017</span> <i title="Springer International Publishing"> Scaling a Software Business </i> &nbsp;
All Agile development methods have this built-in to the method.  ...  About Agile During the 1990s, a number of lightweight software development methods evolved in reaction to the prevailing waterfall software development methods.  ...  From mobile to platform enables new products and offerings to be created quickly, without having to redo a lot. One more thing When scaling through a development method has to be chosen.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-53116-8_2">doi:10.1007/978-3-319-53116-8_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yxl74v3tgzcjvkrclqlhudfkve">fatcat:yxl74v3tgzcjvkrclqlhudfkve</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725150836/https://link.springer.com/content/pdf/10.1007%2F978-3-319-53116-8_2.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/7d/4e/7d4ee2bfb02daa78aac012e8c9decf561f0d0563.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-53116-8_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Energy Efficient and Fault Tolerant Multicore Wireless Sensor Network: E²MWSN

Hong-Ling Shi, Kun Mean Hou, Hai-Ying Zhou, Xing Liu
<span title="">2011</span> <i title="IEEE"> 2011 7th International Conference on Wireless Communications, Networking and Mobile Computing </i> &nbsp;
Agile Model Agile development model is also a type of Incremental model. Software is developed in incremental and rapid cycles.  ...  The RAD Model and Agile development model are mainly focus on the software development.  ...  , etc.  Hardware Driver provides basic hardware dependent platform dependent functionality, like hardware timer, sleep control, GPIO access for the radio interface.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wicom.2011.6040317">doi:10.1109/wicom.2011.6040317</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b6qehpnmxjd35go7ycy5v5ru5y">fatcat:b6qehpnmxjd35go7ycy5v5ru5y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705185432/https://tel.archives-ouvertes.fr/tel-00968069/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/18/a6/18a605bb9d31236b116d1f6cc3e41bc4fb00c015.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wicom.2011.6040317"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Open-DO: Open Framework for Critical Systems

Jose F Ruiz, Cyrille Comar
<span title="2009-11-26">2009</span> <i title="European Association of Software Science and Technology"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ds6dyxrqzrddpmxtwf2p5ljfn4" style="color: black;">Electronic Communications of the EASST</a> </i> &nbsp;
Critical systems development pushes software quality to the extreme.  ...  The Open-DO initiative aims at providing a framework federating open-source tools for safety-critical systems.  ...  fund investment, since the results of grants and funded projects have a better chance to be reused and applied.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/tuj.eceasst.20.257">doi:10.14279/tuj.eceasst.20.257</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/eceasst/RuizC09.html">dblp:journals/eceasst/RuizC09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ybzhqrrvnva5liwujfcdksjv3i">fatcat:ybzhqrrvnva5liwujfcdksjv3i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706032320/https://journal.ub.tu-berlin.de/eceasst/article/download/257/273/" 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/03/84/0384d0049bcd3dd46aac72463679eaf2164038ee.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/tuj.eceasst.20.257"> <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>

Modelling the critical success factors of agile software development projects in South Africa

Tawanda B. Chiyangwa, Ernest Mnkandla
<span title="2017-10-30">2017</span> <i title="AOSIS"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rsyxamys5zcujce3cqw36dt6pu" style="color: black;">South African Journal of Information Management</a> </i> &nbsp;
identify and provide insights into the critical success factors that influence the success of software development projects using agile methodologies in South Africa.Method: Quantitative method of collecting  ...  The continued in failure of agile and traditional software development projects have led to the consideration, attention and dispute to critical success factors that are the aspects which are most vital  ...  chances of getting promotion through using agile methods, are more likely to deliver a good product or good software results, meet all requirements and objectives, deliver software projects on time and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4102/sajim.v19i1.838">doi:10.4102/sajim.v19i1.838</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eoqrtmowtvcqvmsd2fzqhdkbqy">fatcat:eoqrtmowtvcqvmsd2fzqhdkbqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200309134912/http://uir.unisa.ac.za/bitstream/handle/10500/24857/thesis_chiyangwa_tb.pdf;jsessionid=24096440B7E6E5728D20F2A7B3B9D781?sequence=1" 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/99/d49934f284380cce9a659706d849531bfe613382.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4102/sajim.v19i1.838"> <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>

Software-Defined Network Function Virtualization: A Survey

Yong Li, Min Chen
<span title="">2015</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;
In this survey, we present a thorough investigation of the development of NFV under the software-defined NFV architecture, with an emphasis on service chaining as its application.  ...  Network function virtualization (NFV) is proposed to address these issues by implementing network functions as pure software on commodity and general hardware.  ...  A middlebox service or function is a method or operation performed by a network device that needs specific intelligence about the applications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2015.2499271">doi:10.1109/access.2015.2499271</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q5twmnj5srdfta2sjnejuzbt4a">fatcat:q5twmnj5srdfta2sjnejuzbt4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809065809/http://epic.hust.edu.cn/minchen/min_paper/SDN-NFV2015.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/95/93/95934bf3f87947299020c6de38b50aff492a06ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2015.2499271"> <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>

How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the "Correctness by Construction" Principle

Robert Hilbrich
<span title="">2012</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qealiiqfznhzppsutrnxz7eogq" style="color: black;">Advances in Software Engineering</a> </i> &nbsp;
Software-intensive embedded systems, especially cyber-physical systems, benefit from the additional performance and the small power envelope offered by many-core processors.  ...  The integration of multiple and potentially parallel functions on a chip—instead of just a single function—makes best use of the resources offered.  ...  This challenge was addressed with a new approach: software development based on formal methods.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2012/354274">doi:10.1155/2012/354274</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tycdbj3uf5dtbliimvrkuf3cwm">fatcat:tycdbj3uf5dtbliimvrkuf3cwm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200212162236/http://downloads.hindawi.com/archive/2012/354274.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/26/f1/26f1aeb6e3be024291a0bfa1616f747115f8bac8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2012/354274"> <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>

Evidence-Based Elections

Philip B. Stark, David Wagner
<span title="">2012</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kt7pnevei5bd5ed4soqmccmdte" style="color: black;">IEEE Security and Privacy</a> </i> &nbsp;
This can be accomplished with a combination of software-independent voting systems, compliance audits, and risk-limiting audits.  ...  Together, these yield a resilient canvass framework: a fault-tolerant approach to conducting elections that gives strong evidence that the reported outcome is correct or reports that the evidence is not  ...  A canvass framework (including humans, hardware, software, and procedures) is resilient if it has a known minimum chance of giving the correct election outcome-when it gives an outcome.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/msp.2012.62">doi:10.1109/msp.2012.62</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/twshci7urrb6nlqzetea7zbfce">fatcat:twshci7urrb6nlqzetea7zbfce</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922005223/https://people.eecs.berkeley.edu/~daw/papers/evidence-spm12.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/32/97/329732bdbaa2ea135dff82f75c7aaa7d7dd78caa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/msp.2012.62"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)

Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons, Michael Wagner
<span title="2018-07-23">2018</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;
This introduces a separation between functionality on the one Except where otherwise noted, content of this report is licensed under a Creative Commons BY 3.0  ...  The objective of this Dagstuhl Seminar was to investigate new opportunities and challenges raised by the use of LET as a basis for implementing parallel execution of control software.  ...  Location of buffers in a memory hierarchy Under stringent memory space constraints, or to improve the tasks' worst-case responsetime, the placement of variables into memory should be considered as part  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.8.2.122">doi:10.4230/dagrep.8.2.122</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/ErnstKQS18.html">dblp:journals/dagstuhl-reports/ErnstKQS18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6k7z4uyijrhuxceulih3jeiqoa">fatcat:6k7z4uyijrhuxceulih3jeiqoa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321225658/https://hal.inria.fr/hal-01956964/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/2b/ea/2bead58df0289fa2ac292f8c4bc4f640326a5e4c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.8.2.122"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 762 results