A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit <a rel="external noopener" href="http://csdl.computer.org:80/comp/proceedings/hicss/2004/2056/09/205690269b.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
WebFrame: a multi-phase reconfigurable middleware platform
<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>
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
<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>
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
<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>
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
<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's (ReConFig 2006)</a>
</i>
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
<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>
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
<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>
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
<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>
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
<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 & Simulation</a>
</i>
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
<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>
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]
<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>
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
<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 '12
</i>
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]
<span title="">1999</span>
<i title="Springer US">
Operating Systems and Services
</i>
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]
<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>
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
<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>
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
<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>
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>
« Previous
Showing results 1 — 15 out of 296 results