Filters








296 Hits in 2.1 sec

WebFrame: a multi-phase reconfigurable middleware platform

F. Guochuang, Chen An, Zhang Wenbo, Huang Tao
<span title="">2004</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zlnwsi4sefbkvlcgv2zcupjqum" style="color: black;">37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the</a> </i> &nbsp;
In this paper, a middleware architecture (WebFrame) that supports multi-phase adaptation using computational reflection, microkernel, and component techniques is proposed for web application servers.  ...  Unfortunately, most of the mainstream web application servers adopt a monolithic architecture and "black box" philosophy to their design, and fail to properly address such requirements.  ...  The hardware consists of a dedicated application server with 1 Intel CPU 1.70 GHz and 780 MB of RAM and one client with 1 Intel CPU 1.70 GHz and 512 MB of RAM, interconnected in a 100Mbit LAN.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.2004.1265640">doi:10.1109/hicss.2004.1265640</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hicss/GuochuangAWT04.html">dblp:conf/hicss/GuochuangAWT04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iipssyglbzgy5cy657c2ecq7wm">fatcat:iipssyglbzgy5cy657c2ecq7wm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040625210036/http://csdl.computer.org:80/comp/proceedings/hicss/2004/2056/09/205690269b.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/d6/26/d6262e012d7d240cce59ea8a9749b225bdac1746.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.2004.1265640"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Operating System Structures for Multiprocessor Systems on Programmable Chip

Miaoqing Huang, David Andrews, Jason Agron
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ek7djgoan5ehpihkol2k4a7rm4" style="color: black;">2010 International Conference on Reconfigurable Computing and FPGAs</a> </i> &nbsp;
We also show through these results the potential scalability of a hardware kernel based microkernel with new lightweight invocation mechanisms.  ...  We present experimental results as well as a new queuing model to show how both monolithic and microkernels that rely historical interrupt mechanisms cannot support scalability beyond small numbers of  ...  Figure 5 (a) shows experimentally measured latencies due to the invocation mechanisms for the monolithic kernel-RPC and the hthreads microkernel.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/reconfig.2010.15">doi:10.1109/reconfig.2010.15</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/reconfig/HuangAA10.html">dblp:conf/reconfig/HuangAA10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5temq7fdfvg5zm254mg7bctweq">fatcat:5temq7fdfvg5zm254mg7bctweq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20111005100100/http://www.csce.uark.edu/~mqhuang/papers/2010_ReConFig.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/80/77/80775e33392fc0690dc26f1d57cf088ee42d88db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/reconfig.2010.15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Mini-NOVA: A Lightweight ARM-based Virtualization Microkernel Supporting Dynamic Partial Reconfiguration

Tian Xia, Jean-Christophe Prevotet, Fabienne Nouvel
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t3x4vqewrncrfgn2wu7cafsbsq" style="color: black;">2015 IEEE International Parallel and Distributed Processing Symposium Workshop</a> </i> &nbsp;
In this paper, we propose a low-complexity design of system virtualization running on the Zynq platform. Virtualization of software and hardware resources are managed by a custom microkernel.  ...  In this context, adding a run-time reconfigurable FPGA device to the ARM processor into a single chip makes it possible to combine high performance and flexibility.  ...  VERIFICATION & EVALUATION In this section, we present the methodology and the experimental results of the Mini-NOVA microkernel.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdpsw.2015.72">doi:10.1109/ipdpsw.2015.72</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ipps/XiaPN15.html">dblp:conf/ipps/XiaPN15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e2fxsb6urbeqfavov4yv52efae">fatcat:e2fxsb6urbeqfavov4yv52efae</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170926233528/https://hal.archives-ouvertes.fr/hal-01191910/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/6b/0b/6b0b201d6d9b259c14c712ac4bc8ca0621171e89.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdpsw.2015.72"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Reconfigurable Microkernel-based RTOS: Mechanisms and Methods for Run-Time Reconfiguration

Marcelo Gotz, Florian Dittmann
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ek7djgoan5ehpihkol2k4a7rm4" style="color: black;">2006 IEEE International Conference on Reconfigurable Computing and FPGA&#39;s (ReConFig 2006)</a> </i> &nbsp;
In this paper, we present our approach towards a reconfigurable RTOS that is able to distribute itself over a hybrid architecture (comprising FPGA and CPU).  ...  Moreover, a single architecture must be able to support different applications with dynamical requirements (changing environments).  ...  Figure 3 . 3 Proposed microkernel based architecture.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/reconf.2006.307748">doi:10.1109/reconf.2006.307748</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/reconfig/GotzD06.html">dblp:conf/reconfig/GotzD06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e4v4wv7g2ngn7oji5r2p5gap4a">fatcat:e4v4wv7g2ngn7oji5r2p5gap4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829122812/http://home.iitj.ac.in/~saurabh.heda/Papers/Research%20Papers/2006/Reconfigurable%20RTOS%20at%20Run%20time%202006.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/0f/da/0fda8a17d4d4716b31a659afda812cbfa65d376e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/reconf.2006.307748"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Configuring a Context-Aware Middleware for Wireless Sensor Networks

Nadia Gámez, Javier Cubo, Lidia Fuentes, Ernesto Pimentel
<span title="2012-06-25">2012</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/taedaf6aozg7vitz5dpgkojane" style="color: black;">Sensors</a> </i> &nbsp;
In the Future Internet, applications based on Wireless Sensor Networks will have to support reconfiguration with minimum human intervention, depending on dynamic context changes in their environment.  ...  The contexts for these applications will be specified using ContextUML, and by means of the defined mapping between ContextUML and FamiWare a new augmented version of the FamiWare family with the incorporation  ...  The set of actions corresponds with the tasks of a reconfiguration plan used by FamiWare to reconfigure the system [29] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s120708544">doi:10.3390/s120708544</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/23012505">pmid:23012505</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3444063/">pmcid:PMC3444063</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vx5xhgibobgznfhzlqsi2rtj74">fatcat:vx5xhgibobgznfhzlqsi2rtj74</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/pubmed-PMC3444063/PMC3444063-s120708544.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] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/83/5e833aeda203175dcb927aaacb34500d21759edb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s120708544"> <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> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3444063" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

The Study and Evaluation of ARM-Based Mobile Virtualization

Lei Xu, Zonghui Wang, Wenzhi Chen
<span title="">2015</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/snvb3djywzbhvjtue42hxtjery" style="color: black;">International Journal of Distributed Sensor Networks</a> </i> &nbsp;
full virtualization, and microkernel.  ...  At last, we carry out a series of performance comparisons among these solutions and make some suggestions for further research.  ...  It shares no code with the early commercially deployed version of the L4 microkernel (but shares code modules with the presently shipping OKL4 microkernel).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2015/310308">doi:10.1155/2015/310308</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zejy6vjqazg4ncqpn7cdjd4elu">fatcat:zejy6vjqazg4ncqpn7cdjd4elu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170817120905/http://downloads.hindawi.com/journals/ijdsn/2015/310308.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/93/65/936521c13b2af65121baf63d78c60bf68a50ba78.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2015/310308"> <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>

Efficient Embedded Software Migration towards Clusterized Distributed-Memory Architectures

Rafael Garibotti, Anastasiia Butko, Luciano Ost, Abdoulaye Gamatie, Gilles Sassatelli, Chris Adeniyi-Jones
<span title="2016-08-01">2016</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5jlmyrayyrdazh5awdlsoec77q" style="color: black;">IEEE transactions on computers</a> </i> &nbsp;
However with the growing number of cores in modern manycore embedded architectures, they present a bottleneck related to their centralized memory accesses.  ...  This paper proposes a solution tailored for an efficient execution of applications defined with shared-memory programming models onto on-chip distributed-memory multicore architectures.  ...  EXPERIMENTAL RESULTS We evaluate the performance and energy consumption gains of the DSM architecture design proposed in previous sections in comparison with a CSM design.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tc.2015.2485202">doi:10.1109/tc.2015.2485202</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v2lbaqig5zd6zdr3h5afrhit3u">fatcat:v2lbaqig5zd6zdr3h5afrhit3u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171203182011/https://core.ac.uk/download/pdf/42022622.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/18/ce185fb5f4d58ab31a66ec2b7670b1f460fc454a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tc.2015.2485202"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Creating HW/SW co-designed MPSoPC's from high level programming models

Eugene Cartwright, Sen Ma, David Andrews, Miaoqing Huang
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hfatt7tua5aatozu2id5rdeuti" style="color: black;">2011 International Conference on High Performance Computing &amp; Simulation</a> </i> &nbsp;
We show how OpenCL API's are easily translated to hthreads, a hardware-based microkernel operating system to provide pthreads compliant run time services within the MPSoPC architecture.  ...  In this paper we outline a new approach that allows users to drive the generation of a complete hardware/software co-designed multiprocessor system on programmable chip from an unaltered standard high  ...  Hthreads: A Hardware Microkernel This work builds on our prior hthreads hardware microkernel infrastructure.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hpcsim.2011.5999874">doi:10.1109/hpcsim.2011.5999874</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ieeehpcs/CartwrightMAH11.html">dblp:conf/ieeehpcs/CartwrightMAH11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5z3445b6xvbmjlz7tc5lziwiv4">fatcat:5z3445b6xvbmjlz7tc5lziwiv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320232144/http://www.csce.uark.edu/~mqhuang/papers/2011_mpsopc_HPCS.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/45/99/4599b821cc751f2fa8d6893d7b6fa05beb8924fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hpcsim.2011.5999874"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Composable and Predictable Dynamic Loading for Time-Critical Partitioned Systems

Shubhendu Sinha, Martijn Koedam, Rob van Wijk, Andrew Nelson, Ashkan Beyranvand Nejad, Marc Geilen, Kees Goossens
<span title="">2014</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6nxn3oxzcveorfagbcbilem2ay" style="color: black;">2014 17th Euromicro Conference on Digital System Design</a> </i> &nbsp;
However dynamic loading can be useful or even necessary for scenarios such as on-board software updates, dynamic reconfiguration or re-loading applications in case of a fault.  ...  In this paper we propose a software architecture to dynamically create and manage partitions and a method for composable dynamic loading which ensures that loading applications do not affect the running  ...  A. Experimental Setup The hardware platform instance used in our experimental setup is shown in Figure 1 . We implemented the hardware platform instance on a Xilinx ML605 FPGA board.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsd.2014.40">doi:10.1109/dsd.2014.40</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dsd/SinhaKWNNGG14.html">dblp:conf/dsd/SinhaKWNNGG14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jvpmrc6epfgb5av344vsjcv6nq">fatcat:jvpmrc6epfgb5av344vsjcv6nq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180718221958/https://pure.tue.nl/ws/files/3757636/706991235301736.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/c0/93/c093c245ed875ffaf6caaa732d8ad382194dd1c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsd.2014.40"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP [chapter]

Fabienne Boyer, Olivier Gruber, Gwen Salaün
<span title="">2011</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;
As an illustration of this trend, this paper reports on our experience with the co-design and specification of the reconfiguration protocol of a component-based platform, intended as the foundation for  ...  Dynamic software systems that provide the ability to reconfigure themselves seem to be reaching a complexity that suggests the use of formal methods in the design process, helping system designers master  ...  The author would like to thank Frédéric Lang and the anonymous reviewers for their comments on a former version of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-21437-0_10">doi:10.1007/978-3-642-21437-0_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vq362yajprh7lb2vlhbsq6puae">fatcat:vq362yajprh7lb2vlhbsq6puae</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923195510/https://hal.inria.fr/hal-00648909/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/fc/97/fc97c0c50b2d1f334cef34a8584eb5cdf92c5c4e.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-21437-0_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Constraint-based self-adaptation of wireless sensor networks

Nadia Gamez, Daniel Romero, Lidia Fuentes, Romain Rouvoy, Laurence Duchien
<span title="">2012</span> <i title="ACM Press"> Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups on - WAS4FI-Mashups &#39;12 </i> &nbsp;
In particular, the reconfiguration of the WSN requires a trade-off between critical dimensions for this kind of networks and devices, such as resource consumption or reconfiguration cost.  ...  Therefore, self-adaptations for WSNs have special requirements comparing with traditional information systems.  ...  The internal architecture of FamiWare is composed by a microkernel and several provided services. The microkernel is responsible for the composition of the application and the services.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2377836.2377842">doi:10.1145/2377836.2377842</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r6b6k6k5arho3nk7lcpjg5s4re">fatcat:r6b6k6k5arho3nk7lcpjg5s4re</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724185351/https://hal.inria.fr/file/index/docid/739236/filename/article.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/8d/f6/8df69d9dbc8e76dd660f1d69bec4cd78b18c5be6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2377836.2377842"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Armada Middleware and Communication Services [chapter]

T. Abdelzaher, S. Dawson, W.-C. Feng, E. F. Jahanian, S. Johnson, A. Mehra, T. Mitton, A. Shaikh, K. Shin, Z. Wang, H. Zou, M. Bjorkland (+1 others)
<span title="">1999</span> <i title="Springer US"> Operating Systems and Services </i> &nbsp;
This philosophy advocates the use of a real-time microkernel equipped with basic real-time support such as priority-based scheduling and real-time communication, in addition to a reconfigurable set of  ...  API APPLICATIONS MIDDLEWARE SERVICES TOOLS EVALUATION CHANNELS REAL-TIME Microkernel Figure 1. Overview of ARMADA Environment. computing, and radar data processing.  ...  Section 2 describes the general approach for integrating ARMADA services into a microkernel framework. It also presents the experimental testbed and implementation environment of this project.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4615-5041-9_1">doi:10.1007/978-1-4615-5041-9_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/agmlkj7jpvgtliystu543tyrfu">fatcat:agmlkj7jpvgtliystu543tyrfu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070416201049/http://www.research.ibm.com/people/a/aashaikh/papers/rtsj98.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/97/f1/97f13f4e92079c17ee37dd3989a377179dac5c75.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4615-5041-9_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing [chapter]

Carsten Weinhold, Adam Lackorzynski, Jan Bierbaum, Martin Küttler, Maksym Planeta, Hannes Weisbach, Matthias Hille, Hermann Härtig, Alexander Margolin, Dror Sharf, Ely Levy, Pavel Gak (+7 others)
<span title="">2020</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4rhte7roibctnbr7jz7mi4vyw4" style="color: black;">Lecture Notes in Computational Science and Engineering</a> </i> &nbsp;
The FFMK OS platform is built upon a multi-kernel architecture, which combines the L4Re microkernel and a virtualized Linux kernel into a noise-free, yet feature-rich execution environment.  ...  We further achieved promising results with regard to oversubscribing of cores, which can improve throughput for some applications [62] .  ...  Our UCXbased library can be used with any MPI implementation, and provides a foundation for further experimental results and optimizations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-47956-5_16">doi:10.1007/978-3-030-47956-5_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/accs6fosezfuzme75yc63nrkum">fatcat:accs6fosezfuzme75yc63nrkum</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201108165731/https://link.springer.com/content/pdf/10.1007%2F978-3-030-47956-5_16.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/68/00/68004080ee08e67a3d912a5e5bdf8a756efd7f5d.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-47956-5_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

The HACMS program: using formal methods to eliminate exploitable bugs

Kathleen Fisher, John Launchbury, Raymond Richards
<span title="2017-09-04">2017</span> <i title="The Royal Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ercgg4vn2fenngurcnadfzdfri" style="color: black;">Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences</a> </i> &nbsp;
One contribution of 8 to a discussion meeting issue 'Verified trustworthy software systems' .  ...  or reconfigured hardware.  ...  This structure created a workflow in which researchers developed tools and techniques and demonstrated them on the experimental platforms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1098/rsta.2015.0401">doi:10.1098/rsta.2015.0401</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/28871050">pmid:28871050</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5597724/">pmcid:PMC5597724</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/42rpqfhgnvhc7h36gb4pzvh4ge">fatcat:42rpqfhgnvhc7h36gb4pzvh4ge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190303181722/http://pdfs.semanticscholar.org/b162/79ae0dfb7424432c385c95a48ca6f189b7da.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/b1/62/b16279ae0dfb7424432c385c95a48ca6f189b7da.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1098/rsta.2015.0401"> <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> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5597724" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

A Study of Security Isolation Techniques

Rui Shu, Peipei Wang, Sigmund A Gorski III, Benjamin Andow, Adwait Nadkarni, Luke Deshotels, Jason Gionta, William Enck, Xiaohui Gu
<span title="2016-10-12">2016</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a> </i> &nbsp;
We apply our classification to a set of representative papers that cover a breadth of security isolation techniques and discuss trade-offs among different design choices and limitations of existing approaches  ...  Security isolation is a foundation of computing systems that enables resilience to different forms of attacks.  ...  However, a configuration file is not a prerequisite for reconfigurability. It is useful to describe reconfigurability with respect to how the configuration change occurs: automatic or manual.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2988545">doi:10.1145/2988545</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5llqb3ghnjgghh2yye4vqslz4y">fatcat:5llqb3ghnjgghh2yye4vqslz4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170517164313/http://dance.csc.ncsu.edu:80/papers/CSUR16.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/ef/d2/efd28a242f8363272771b60d460e04905d153023.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2988545"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 296 results