Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Tanhong Chen, Huiyong Li, Jianwei Niu 0002, Tao Ren 0001, Guizhou Xu |
Embedded Partitioning Real-Time Operating System Based on Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE/EUC ![In: 2019 IEEE International Conference on Computational Science and Engineering, CSE 2019, and IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2019, New York, NY, USA, August 1-3, 2019, pp. 205-210, 2019, IEEE, 978-1-7281-1664-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi 0002, Yong Guan |
MicroTEE: Designing TEE OS Based on the Microkernel Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom/BigDataSE ![In: 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications / 13th IEEE International Conference On Big Data Science And Engineering, TrustCom/BigDataSE 2019, Rotorua, New Zealand, August 5-8, 2019, pp. 26-33, 2019, IEEE, 978-1-7281-2777-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Yuya Kobayashi, Masaya Sato, Hideo Taniguchi |
Evaluation of Processing Distribution for Application Program and OS in Microkernel OS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDAR Workshops ![In: Seventh International Symposium on Computing and Networking Workshops, CANDAR 2019 Workshops, Nagasaki, Japan, November 26-29, 2019, pp. 440-444, 2019, IEEE, 978-1-7281-5268-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Yanyan Shen |
Microkernel mechanisms for improving the trustworthiness of commodity hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
21 | Rongfei Xu, Li Zhang 0029, Ning Ge 0002, Jing Jiang 0005 |
Timing Analysis for Microkernel-based Real-Time Embedded System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018., pp. 512-511, 2018, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-44-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Simon Biggs, Damon Lee, Gernot Heiser |
The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSys ![In: Proceedings of the 9th Asia-Pacific Workshop on Systems, APSys 2018, Jeju Island, Republic of Korea, August 27-28, 2018, pp. 16:1-16:7, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Guangqiang Luan, Yuebin Bai, Libin Xu, Chao Yu 0001, Chunyang Wang, Junfang Zeng, Qingbin Chen, Weitao Wang |
Towards Fault-Tolerant Task Backup and Recovery in the seL4 Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, pp. 721-726, 2018, IEEE Computer Society, 978-1-5386-2667-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Yun Deng, Yan Zhu, Xiaohui Cheng |
The Design of Microkernel Memory Management Mechanism Based on Heterogeneous Multi-core Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIIP ![In: Proceedings of the 3rd International Conference on Intelligent Information Processing, ICIIP 2018, Guilin, China, May 19-20, 2018, pp. 120-126, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Xiaohui Cheng, Yanping Pan, Qiong Gui |
A Design to Adapt Microkernel Inter-process Communication Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIIP ![In: Proceedings of the 3rd International Conference on Intelligent Information Processing, ICIIP 2018, Guilin, China, May 19-20, 2018, pp. 190-193, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Jayaraj Poroor |
Verticalthings - a language-based microkernel for constrained IoT devices: work-in-progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018, pp. 15, 2018, IEEE, 978-1-5386-5560-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Steffen Wagner |
Implicit Remote Attestation for Microkernel-based Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
21 | Petre Eftime, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Laura Gheorghe, Valentin-Gabriel Voiculescu |
Optimizing Memory Usage in L4-Based Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Informatics ![In: Comput. Informatics 36(4), pp. 925-949, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Wei Hu 0001, Hong Guo 0005, Kai Zhang 0002, Jun Liu 0011, Xiaoming Liu 0004, Qingsong Shi |
An energy-efficient design of microkernel-based on-chip OS for NOC-based manycore system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 73(8), pp. 3344-3365, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Qingguo Zhou, Rui Zhou 0005, Binbin Yong, Xiaoqiang Wang, Gaofeng Zhang, Hai Jiang 0003, Kuan-Ching Li |
L4eRTL: a robust and secure real-time architecture with L4 microkernel and para-virtualised PSE51 partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Syst. ![In: Int. J. Embed. Syst. 9(6), pp. 583-594, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik |
HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.02688, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Laurent D. Michel, Pascal Van Hentenryck |
A microkernel architecture for constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 22(2), pp. 107-151, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik |
FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN Workshops ![In: 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2017, Denver, CO, USA, June 26-29, 2017, pp. 141-144, 2017, IEEE Computer Society, 978-1-5386-2272-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Mohammad Hamad, Vassilis Prevelakis |
Secure APIs for Applications in Microkernel-based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISSP ![In: Proceedings of the 3rd International Conference on Information Systems Security and Privacy, ICISSP 2017, Porto, Portugal, February 19-21, 2017., pp. 553-558, 2017, SciTePress, 978-989-758-209-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Mahnoor Khan, Munam Ali Shah |
Inter-process communication, MPI and MPICH in microkernel environment: A comparative analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAC ![In: 23rd International Conference on Automation and Computing, ICAC 2017, Huddersfield, United Kingdom, September 7-8, 2017, pp. 1-7, 2017, IEEE, 978-0-7017-0260-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Xiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan |
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 37th IEEE International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2017, Atlanta, GA, USA, June 5-8, 2017, pp. 37-44, 2017, IEEE Computer Society, 978-1-5386-3292-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik |
HYDRA: hybrid design for remote attestation (using a formally verified microkernel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISEC ![In: Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2017, Boston, MA, USA, July 18-20, 2017, pp. 99-110, 2017, ACM, 978-1-4503-5084-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Carsten Weinhold, Adam Lackorzynski, Jan Bierbaum, Martin Küttler, Maksym Planeta, Hermann Härtig, Amnon Shiloh, Ely Levy, Tal Ben-Nun, Amnon Barak, Thomas Steinke 0001, Thorsten Schütt, Jan Fajerski, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel |
FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software for Exascale Computing ![In: Software for Exascale Computing - SPPEXA 2013-2015, pp. 405-426, 2016, Springer, 978-3-319-40526-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Libin Xu, Yuebin Bai, Kun Cheng, Lingyu Ge, Danning Nie, Lijun Zhang, Wenjia Liu |
Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/SmartCity/DSS ![In: 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2016, Sydney, Australia, December 12-14, 2016, pp. 711-718, 2016, IEEE Computer Society, 978-1-5090-4297-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Steffen Wagner, Claudia Eckert 0001 |
Policy-Based Implicit Attestation for Microkernel-Based Virtualized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security - 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016, Proceedings, pp. 305-322, 2016, Springer, 978-3-319-45870-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Adam Lackorzynski, Alexander Warg |
Demo Abstract: Timing Aware Hardware Virtualization on the L4Re Microkernel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016, pp. 68, 2016, IEEE Computer Society, 978-1-4673-8639-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Xabier Iturbe, Khaled Benkrid, Chuan Hong, Ali Ebrahim, Raul Torrego, Tughrul Arslan |
Microkernel Architecture and Hardware Abstraction Layer of a Reliable Reconfigurable Real-Time Operating System (R3TOS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Reconfigurable Technol. Syst. ![In: ACM Trans. Reconfigurable Technol. Syst. 8(1), pp. 5:1-5:35, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Y. I. Klimiankou |
A method for supporting runtime environments simultaneously served by multiple memory managers for operating systems based on second-generation microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 41(1), pp. 31-40, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Borchert, Olaf Spinczyk |
Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 49(2), pp. 37-43, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser |
For a Microkernel, a Big Lock Is Fine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSys ![In: Proceedings of the 6th Asia-Pacific Workshop on Systems, APSys 2015, Tokyo, Japan, July 27-28, 2015, pp. 3:1-3:7, 2015, ACM, 978-1-4503-3554-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Tian Xia 0007, Jean-Christophe Prévotet, Fabienne Nouvel |
Mini-NOVA: A Lightweight ARM-based Virtualization Microkernel Supporting Dynamic Partial Reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, IPDPS 2015, Hyderabad, India, May 25-29, 2015, pp. 71-80, 2015, IEEE Computer Society, 978-1-4673-7684-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Michael Peter, Matthias Petschick, Julian Vetter, Jan Nordholz, Janis Danisevskis, Jean-Pierre Seifert |
Undermining Isolation Through Covert Channels in the Fiasco.OC Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Information Sciences and Systems 2015 - 30th International Symposium on Computer and Information Sciences, ISCIS 2015, London, UK, 21-24 September 2015, pp. 147-156, 2015, Springer, 978-3-319-22634-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Borchert, Olaf Spinczyk |
Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015, pp. 1-7, 2015, ACM, 978-1-4503-3942-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Yanyan Shen, Kevin Elphinstone |
Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: 11th European Dependable Computing Conference, EDCC 2015, Paris, France, September 7-11, 2015, pp. 155-166, 2015, IEEE Computer Society, 978-1-4673-9289-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus |
Towards the Property-Based Testing of an L4 Microkernel API. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015., pp. 39-50, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser |
Comprehensive formal verification of an OS microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 32(1), pp. 2:1-2:70, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Tian Xia 0007, Jean-Christophe Prévotet, Fabienne Nouvel |
Microkernel dedicated for dynamic partial reconfiguration on ARM-FPGA platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 11(4), pp. 31-36, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Laurent Michel, Pascal Van Hentenryck |
A Microkernel Architecture for Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.5334, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Kexing Xing, Decheng Zuo, Haiying Zhou, Kun Mean Hou |
Task & Resource Self-adaptive Embedded Real-time Operating System Microkernel for Wireless Sensor Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1403.5010, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Michael Peter, Jan Nordholz, Matthias Petschick, Janis Danisevskis, Julian Vetter, Jean-Pierre Seifert |
Undermining Isolation through Covert Channels in the Fiasco.OC Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2014, pp. 984, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Fabio Stefanini, Emre Neftci, Sadique Sheik, Giacomo Indiveri |
PyNCS: a microkernel for high-level definition and configuration of neuromorphic electronic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Neuroinformatics ![In: Frontiers Neuroinformatics 8, pp. 73, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Nelson 0001, Ashkan Beyranvand Nejad, Anca Mariana Molnos, Martijn Koedam, Kees Goossens |
CoMik: A predictable and cycle-accurately composable real-time microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, pp. 1-4, 2014, European Design and Automation Association, 978-3-9815370-2-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Tian Xia 0007, Jean-Christophe Prévotet, Fabienne Nouvel |
Microkernel Dedicated for Dynamic Partial Reconfiguration on ARM-FPGA Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWiLi ![In: Proceedings of the Embed With Linux 2014 Workshop, Lisboa, Portugal, November 13-14, 2014., 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Michael Weiß, Steffen Wagner, Roland Hellman, Sascha Wessel |
Integrity Verification and Secure Loading of Remote Binaries for Microkernel-Based Runtime Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2014, Beijing, China, September 24-26, 2014, pp. 544-551, 2014, IEEE Computer Society, 978-1-4799-6513-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Jordan Shropshire |
Analysis of Monolithic and Microkernel Architectures: Towards Secure Hypervisor Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 47th Hawaii International Conference on System Sciences, HICSS 2014, Waikoloa, HI, USA, January 6-9, 2014, pp. 5008-5017, 2014, IEEE Computer Society, 978-1-4799-2504-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Boyton |
Secure architectures on a verified microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
21 | Mikael Åsberg, Thomas Nolte |
Towards a user-mode approach to partitioned scheduling in the seL4 microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 10(3), pp. 15-22, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Chi-Sheng Shih 0001, Hsin-Yu Lai |
nuKernel: MicroKernel for multi-core DSP SoCs with load sharing and priority interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, pp. 1525-1532, 2013, ACM, 978-1-4503-1656-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Jilong Kuang, Daniel G. Waddington, Chen Tian 0005 |
Towards a Scalable Microkernel Personality for Multicore Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, pp. 620-632, 2013, Springer, 978-3-642-40046-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Steffen Wagner, Christoph Krauß, Claudia Eckert 0001 |
Lightweight Attestation and Secure Code Update for Multiple Separated Microkernel Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 16th International Conference, ISC 2013, Dallas, Texas, USA, November 13-15, 2013, Proceedings, pp. 20-36, 2013, Springer, 978-3-319-27658-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Khoa Dang Pham, Abhishek Kumar Jain, Jin Cui, Suhaib A. Fahmy, Douglas L. Maskell |
Microkernel hypervisor for a hybrid ARM-FPGA platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 24th International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2013, Washington, DC, USA, June 5-7, 2013, pp. 219-226, 2013, IEEE Computer Society, 978-1-4799-0494-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Zhenjiang Qian, Hao Huang, Fangmin Song |
VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security - 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings, pp. 17-32, 2013, Springer, 978-3-319-02725-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer |
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 18-32, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Augusto Born de Oliveira, Ahmad Saif Ur Rehman, Sebastian Fischmeister |
mTags: augmenting microkernel messages with lightweight metadata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 46(2), pp. 67-79, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Cheng-Zhong Xu 0001 |
Naplet: Microkernel and Pluggable Design of Mobile Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Agents in Networking and Distributed Computing ![In: Mobile Agents in Networking and Distributed Computing, pp. 263-298, 2012, Wiley, 978-0-471-75160-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Chen Tian 0005, Daniel G. Waddington, Jilong Kuang |
A Scalable Physical Memory Allocation Scheme for L4 Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012, pp. 488-493, 2012, IEEE Computer Society, 978-1-4673-1990-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Jia Zou 0002, Slobodan Matic, Edward A. Lee |
PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012, pp. 209-218, 2012, IEEE Computer Society, 978-1-4673-0883-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Hosein Marzi, Yuntao Yang |
Microkernel based real-time embedded operating systems efficiency improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: 25th IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2012, Montreal, QC, Canada, April 29 - May 2, 2012, pp. 1-4, 2012, IEEE, 978-1-4673-1431-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Bernard Blackham, Yao Shi, Gernot Heiser |
Improving interrupt response time in a verifiable protected microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: European Conference on Computer Systems, Proceedings of the Seventh EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13, 2012, pp. 323-336, 2012, ACM, 978-1-4503-1223-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev |
Proving Memory Separation in a Microkernel by Code Level Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC Workshops ![In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2011, Newport Beach, CA, USA, March 28-31, 2011, pp. 25-32, 2011, IEEE Computer Society, 978-0-7695-4377-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | David Haworth |
An AUTOSAR-compatible microkernel for systems with safety-relevant components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Echtzeit ![In: Herausforderungen durch Echtzeitbetrieb - Echtzeit 2011, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG), Boppard, 3. und 4. November 2011, pp. 11-20, 2011, Springer, 978-3-642-24657-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Adam Lackorzynski, Alexander Warg |
Less is More - A Secure Microkernel-Based Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysSec@DIMVA ![In: First SysSec Workshop 2011, SysSec@DIMVA 2011, Amsterdam, The Netherlands, July 6, 2011, pp. 103-106, 2011, IEEE, 978-1-4577-1528-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood |
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 38th International Symposium on Computer Architecture (ISCA 2011), June 4-8, 2011, San Jose, CA, USA, pp. 189-200, 2011, ACM, 978-1-4503-0472-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Durga Vemuri, Wasim A. Al-Hamdani |
Measures to improve security in a microkernel operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
InfoSecCD ![In: Proceedings of the 2011 Information Security Curriculum Development Conference, InfoSecCD 2011, Kennesaw, GA, USA, September 30 - October 1, 2011, pp. 25-33, 2011, ACM, 978-1-4503-0812-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Ronald Aigner |
Communication in Microkernel-Based Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
21 | Gerwin Klein, Thomas Sewell, Simon Winwood |
Refinement in the Formal Verification of the seL4 Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Verification of Microprocessor Systems for High-Assurance Applications ![In: Design and Verification of Microprocessor Systems for High-Assurance Applications., pp. 323-339, 2010, Springer, 978-1-4419-1538-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban |
Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings, pp. 71-85, 2010, Springer, 978-3-642-15056-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Domenico Cotroneo, Domenico Di Leo, Roberto Natella |
Adaptive monitoring in microkernel OSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN Workshops ![In: IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28 - July 1, 2010., pp. 66-72, 2010, IEEE Computer Society, 978-1-4244-7729-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Felix Bruns, Shadi Traboulsi, David Szczesny, Maria Elizabeth Gonzalez, Yang Xu, Attila Bilgic |
An Evaluation of Microkernel-Based Virtualization for Embedded Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 22nd Euromicro Conference on Real-Time Systems, ECRTS 2010, Brussels, Belgium, July 6-9, 2010, pp. 57-65, 2010, IEEE Computer Society, 978-0-7695-4111-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | June Andronick |
From a Proven Correct Microkernel to Trustworthy Large Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoVeOOS ![In: Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers, pp. 1-9, 2010, Springer, 978-3-642-18069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Jan Dörrenbächer |
Formal specification and verification of a microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
21 | Marcus Rolf Völp |
Provable protection of confidential data in microkernel based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
21 | Sebastian Reichelt, Jan Stoess, Frank Bellosa |
A microkernel API for fine-grained decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009, pp. 2:1-2:5, 2009, ACM, 978-1-60558-844-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Thomas In der Rieden, Alexandra Tsyban |
CVM - A Verified Framework for Microkernel Programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 151-168, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Artem Starostin, Alexandra Tsyban |
Correct Microkernel Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 169-185, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Sven Schulz, Wolfgang Blochinger, Markus Held, Clemens Dangelmayr |
COHESION - A microkernel based Desktop Grid platform for irregular task-parallel applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 24(5), pp. 354-370, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone |
Verified Protection Model of the seL4 Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 99-114, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Dong-Guen Kim, Sang-Min Lee, Dong Ryeol Shin |
Design of the Operating System Virtualization on L4 Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM (1) ![In: NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008 - Volume 1, pp. 307-310, 2008, IEEE Computer Society, 978-0-7695-3322-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Matthias Daum 0001, Jan Dörrenbächer, Sebastian Bogan |
Model Stack for the Pervasive Verification of a Microkernel-based Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
21 | Ihor Kuz, Yan Liu 0001, Ian Gorton, Gernot Heiser |
CAmkES: A component model for secure microkernel-based embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 80(5), pp. 687-699, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jan Stoess |
Towards effective user-controlled scheduling for microkernel-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 41(4), pp. 59-68, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Haiying Zhou, Kun Mean Hou, Christophe de Vaulx |
SDREAM: A Super-Small Distributed REAL-Time Microkernel Dedicated to Wireless Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Pervasive Comput. Commun. ![In: Int. J. Pervasive Comput. Commun. 2(4), pp. 398-410, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Marcelo Götz, Florian Dittmann 0001 |
Reconfigurable Microkernel-based RTOS: Mechanisms and Methods for Run-Time Reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReConFig ![In: 2006 IEEE International Conference on Reconfigurable Computing and FPGA's, ReConFig 2006, San Luis Potosi, Mexico, September 20-22, 2006, pp. 12-19, 2006, IEEE Computer Society, 1-4244-0690-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Rafal Kolanski, Gerwin Klein |
Formalising the L4 microkernel API. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings, pp. 53-68, 2006, Australian Computer Society, 1-920682-33-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Volkmar Uhlig |
Scalability of microkernel-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
21 | Thomas Bopp, Thorsten Hampel |
A Microkernel Architecture for Distributed Mobile Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (4) ![In: ICEIS 2005, Proceedings of the Seventh International Conference on Enterprise Information Systems, Miami, USA, May 25-28, 2005, pp. 151-156, 2005, 972-8865-19-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Vasanth Asokan, S. Mohan, Raj K. Nagarajan |
Hardware Software Codesign of the Xilinx Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ERSA ![In: Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, ERSA'04, June 21-24, 2004, Las Vegas, Nevada, USA, pp. 308, 2004, CSREA Press, 1-932415-42-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Win Bausch |
OPERA-G: A microkernel for computational grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
21 | Uwe Brinkschulte, Aurelie Bechina, Florentin Picioroaga, Etienne Schneider, Theo Ungerer, Jochen Kreuzinger, Matthias Pfeffer |
A Microkernel Middleware Architecture for Distributed Embedded Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 20th Symposium on Reliable Distributed Systems (SRDS 2001), 28-31 October 2001, New Orleans, LA, USA, pp. 218-226, 2001, IEEE Computer Society, 0-7695-1366-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Robert Baumgartl |
On the integration of digital signal processors into microkernel based operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
21 | Francisco J. Ballesteros, Christopher K. Hess, Fabio Kon, Sergio Arévalo, Roy H. Campbell |
Object-Oriented in Off++ - A Distributed Adaptable Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 27-28, 1999, Springer, 3-540-66954-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
21 | K. Shin |
EMERALDS: A Small-Memory Real-Time Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 338-, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Christian Friberg |
Role based access control and microkernel operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
21 | Amir Averbuch, Albert Cohen |
Efficient multicast design in a microkernel environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 10(7), pp. 497-548, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Tatsuo Nakajima, Hideyuki Tokuda |
User-level Real-Time Network System on Microkernel-based Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 14(1), pp. 45-60, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Brett D. Fleisch, Mark Allan A. Co |
Workplace Microkernel and OS: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 28(6), pp. 569-591, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Ashish Mehra, Anees Shaikh, Tarek F. Abdelzaher, Zhiqun Wang, Kang G. Shin |
Realizing Services for Guaranteed-QoS Communication on a Microkernel Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, pp. 460-469, 1998, IEEE Computer Society, 0-8186-9212-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán |
The NanOS Microkernel: A Basis for a Multicomputer Cluster Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1997, June 30 - July 3, 1997, Las Vegas, Nevada, USA, pp. 127-135, 1997, CSREA Press, 0-9648666-8-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
21 | Young Jin Nam, Joo Man Kirn, Hae-Jin Kim |
A Global Synchronization Solution for Racing Servers in the Microkernel-based OS, MISIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1997, June 30 - July 3, 1997, Las Vegas, Nevada, USA, pp. 156-161, 1997, CSREA Press, 0-9648666-8-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
21 | Freeman L. Rawson III |
Experience with the Development of a Microkernel-Based, Multi-Server Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Hot Topics in Operating Systems ![In: Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, HotOS-VI, Cape Cod, Massachusetts, USA, May 5-6, 1997, pp. 2-7, 1997, IEEE Computer Society, 0-8186-7834-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson |
Towards Applying the Composition Principle to Verify a Microkernel Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings, pp. 235-250, 1996, Springer, 3-540-61587-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|