|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 63 occurrences of 51 keywords
|
|
|
Results
Found 82 publication records. Showing 82 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
63 | Sang-Yeob Lee, Youjip Won, Whoi-Yul Kim |
Zikimi: A Case Study in Micro Kernel Design for Multimedia Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 27(3), pp. 351-366, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
multimedia, operating system, Linux, micro-kernel |
45 | Mark Baker, Hong Ong |
A Java embedded micro-kernel infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 224, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
communication API, Java, modules, JNI, micro-kernel |
39 | Daniel A. Orozco, Liping Xue, Murat Bolat, Xiaoming Li, Guang R. Gao |
Experience of Optimizing FFT on Intel Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Gilles Muller, Mireille Hue, Nadine Peyrouze |
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings, pp. 491-508, 1994, Springer, 3-540-58426-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
consistent checkpointing, modular operating systems, stable transactional memory, performance evaluation, Fault-tolerance, micro-kernel |
36 | Hong Quang Nguyen, Christian Bac, Guy Bernard |
Integrating QoS management in a micro-kernel based UNIX operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 371-378, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
micro-kernel based UNIX operating system, modular UNIX, Chorus/MiX, video, Unix, distributed applications, file system, Quality of Service guarantees, CPU, QoS management, continuous media, distributed operating system, Quality of Service requirements, digital audio, system resources |
32 | Kalyan S. Perumalla |
µsik - A Micro-Kernel for Parallel/Distributed Simulation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 19th Workshop on Parallel and Distributed Simulation, PADS 20055, Monterey, CA, USA, June 1-3, 2005, pp. 59-68, 2005, IEEE Computer Society, 0-7695-2383-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Rodger Lea, Christian Jacquemot |
The COOL architecture and abstractions for object-oriented distributed operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Nelson Silva, Arnaldo S. R. Oliveira, Rui Santos, Luís Almeida 0001 |
The OReK real-time micro kernel for FPGA-based systems-on-chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESTIMedia ![In: Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24 October 2008, pp. 75-80, 2008, IEEE Computer Society, 978-1-4244-2612-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Carlos Pérez, Germán Fabregat, Rafael J. Martínez, Gregorio Martín |
Incremental Messages: Micro-Kernel Services for Flexible and Efficient Management of Replicated Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 56-63, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
virtual memory management, message passing, micro-kernels, replicated data management, Checkpointing and recovery |
24 | Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus |
Deconstructing process isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 1-10, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hardware isolated process (HIP), hardware protection domain, software isolated process (SIP), singularity |
24 | Liuba Shrira |
Session 5: Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS ![In: Persistent Object Systems, 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers, pp. 187-188, 2000, Springer, 3-540-42735-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Chi Wu, Kun-Yuan Hsieh, Yung-Chia Lin, Chung-Ju Wu, Wen-Li Shih, Shih-Chang Chen, Chung-Kai Chen, Chien-Ching Huang, Yi-Ping You, Jenq Kuen Lee |
Integrating Compiler and System Toolkit Flow for Embedded VLIW DSP Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia, pp. 215-222, 2006, IEEE Computer Society, 0-7695-2676-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Antonio Mancina, Dario Faggioli, Giuseppe Lipari, Jorrit N. Herder, Ben Gras, Andrew S. Tanenbaum |
Enhancing a dependable multiserver operating system with temporal protection via resource reservations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 43(2), pp. 177-210, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Real-time systems, Operating systems, Dependability, Resource reservations, Micro-kernel |
23 | Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat |
Using dynamic atomic actions to build fault tolerant systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
dynamic atomic actions, stable transactional memory, distributed systems, micro-kernel, Fault tolerant multiprocessor |
22 | Walter Binder |
Design and Implementation of the J-SEAL2 Mobile Agent Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 2001 Symposium on Applications and the Internet (SAINT 2001), 8-12 January 2001, San Diego, CA, USA, Proceedings, pp. 35-42, 2001, IEEE Computer Society, 0-7695-0942-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park |
Flexible Access Control using IPC Redirection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Hot Topics in Operating Systems ![In: Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, HotOS-VII, Rio Rico, Arizona, USA, March 28-30, 1999, pp. 191-196, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
interprocess communication (IPC) mechanisms, security, access control, Micro-kernels |
18 | Ingo Müller 0001, Jun Han 0004, Jean-Guy Schneider, Steven Versteeg |
A Conceptual Framework for Unified and Comprehensive SOA Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2008 Workshops, ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers, pp. 28-40, 2008, Springer, 978-3-642-01246-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Boo-Geum Jung, Young-Jun Cha, Hyung-Hwan Kim, Sung-Ik Jun, Ju-Hyun Cho |
Dynamic code binding for scalable operating system in distributed real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 96-, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
dynamic code binding, scalable operating system, microkernel structure, remote system call, system primitives, real-time systems, operating system, distributed processing, client-server systems, servers, operating systems (computers), distributed real-time systems, scalable architecture |
17 | Darrell D. E. Long |
A Note on Bit-Mapped Free Sector Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 27(2), pp. 7-9, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Aspesi, Vittorio Zaccaria |
ConceptOS: A Micro-Kernel Approach to Firmware Updates of Always-On Resource-Constrained Hubris-Based IoT Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 11(8), pp. 14472-14482, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Adrián Castelló 0001, Julian Bellavita, Grace Dinh, Yuka Ikarashi, Héctor Martínez |
Tackling the Matrix Multiplication Micro-Kernel Generation with Exo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2024, Edinburgh, United Kingdom, March 2-6, 2024, pp. 182-193, 2024, IEEE, 979-8-3503-9509-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Feng Yu 0019, Guangli Li, Jiacheng Zhao, Huimin Cui, Xiaobing Feng 0002, Jingling Xue |
Optimizing Dynamic-Shape Neural Networks on Accelerators via On-the-Fly Micro-Kernel Polymerization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS (2) ![In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, pp. 797-812, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Zhenjiang Qian, Rui Xia, Gaofei Sun, Xiaoshuang Xing, Kaijian Xia |
A measurable refinement method of design and verification for micro-kernel operating systems in communication network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Commun. Networks ![In: Digit. Commun. Networks 9(5), pp. 1070-1079, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Adrián Castelló 0001, Julian Bellavita, Grace Dinh, Yuka Ikarashi, Héctor Martínez |
Tackling the Matrix Multiplication Micro-kernel Generation with Exo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.17408, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ahmad El-Rouby, Andrew Khalaf, Arig Mostafa, Fady Mohamed, Nour Ghaly, Amr El-Kadi, Karim Sobh |
NileOS: A Distributed Asymmetric Core-Based Micro-Kernel for Big Data Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 3696-3711, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Yuanzhi Liang, Lei Wang 0126, Siran Li, Bo Jiang 0001 |
Rustpi: A Rust-powered Reliable Micro-kernel Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021, pp. 272-273, 2021, IEEE, 978-1-6654-2603-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Nageswara S. V. Rao, Anees Al-Najjar, Neena Imam, Zhengchun Liu, Rajkumar Kettimuthu, Ian T. Foster |
Cross Inference of Throughput Profiles Using Micro Kernel Network Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLN ![In: Machine Learning for Networking - 4th International Conference, MLN 2021, Virtual Event, December 1-3, 2021, Proceedings, pp. 48-68, 2021, Springer, 978-3-030-98977-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Nico Struckmann, Yosandra Sandoval, Nadav Har'El, Fang Chen, Shiqing Fan, Justin Cinkelj, Gregor Berginc, Peter Chronz, Niv Gilboa, Gabriel Scalosub, Kalman Z. Meth, John Kennedy |
MIKELANGELO: MIcro KErneL virtualizAtioN for hiGh pErfOrmance cLOud and HPC Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOCC Workshops ![In: Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers, pp. 175-180, 2017, Springer, 978-3-319-79089-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Stéphane Lescuyer |
ProvenCore: Towards a Verified Isolation Micro-Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Paul Dubrulle, Emmanuel Ohayon |
A Dedicated Micro-Kernel to Combine Real-Time and Stream Applications on Embedded Manycores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures for STEM Research and Education, 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings, pp. 1634-1643, 2013, Springer, 978-3-642-35785-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Shuai Wang, Yindong Ji, Shiyuan Yang |
A Micro-Kernel Test Engine for Automatic Test System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 6(1), pp. 3-10, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Stefan Nürnberger, Thomas Feller 0002, Sorin A. Huss |
Ray - a secure micro kernel architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Eighth Annual Conference on Privacy, Security and Trust, PST 2010, August 17-19, 2010, Ottawa, Ontario, Canada, pp. 3-6, 2010, IEEE, 978-1-4244-7551-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Walter Binder, Balázs Lichtl |
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 125-135, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Roger J. Hubbold, Jonathan Cook, Martin J. Keates, Simon Gibson, Toby Howard, Alan Murta, Adrian J. West, Steve Pettifer |
GNU/MAVERIK: A micro-kernel for large-scale virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Presence Teleoperators Virtual Environ. ![In: Presence Teleoperators Virtual Environ. 10(1), pp. 22-34, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Erwan Becquet, Eric Gressier-Soudan, E. Le Grand, G. Hellack |
Experimenting a real-time industrial messaging service for a power utility: TASE.2 over the real-time micro-kernel pSOS+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA (1) ![In: Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 1, pp. 359-366, 2001, IEEE, 0-7803-7241-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Koichi Mouri, Eiji Okubo |
The design and implementation of the Lavender micro kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 31(7), pp. 47-55, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Giuliano Armano, Antonio Corradi, Valeria Filippi |
A communication micro-kernel for implementing object-oriented programming on closely coupled distributed architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 11(1), pp. 43-68, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Roger J. Hubbold, Jonathan Cook, Martin J. Keates, Simon Gibson, Toby Howard, Alan Murta, Adrian J. West, Steve Pettifer |
GNU/MAVERIK: a micro-kernel for large-scale virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 1999, London, UK, December 20-22, 1999., pp. 66-73, 1999, ACM, 1-58113-141-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Y. H. Park, K. M. Hou |
Embedded Performance Analysis Tool for a Distributed Hard Real Time Micro-Kernel: Hierarchical LINDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, Hanoi, Vietnam, October 20-22, 1999, pp. 67-84, 1999, Suger, Saint-Denis, rue Catulienne, France, 2-912590-10-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
14 | Carsten Ditze |
A customizable library to support software synthesis for embedded applications and micro-kernel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, Sintra, Portugal, 7-10 September 1998, pp. 88-95, 1998, ACM. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Masaaki Iwasaki, Tadashi Takeuchi, Masahiko Nakahara, Shouji Nakamura, Takahiro Nakano, Kazuyoshi Serizawa, Shihoko Taguchi |
A Micro-kernel for Isochronous Video-Data Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWCA ![In: Worldwide Computing and Its Applications, International Conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997, Proceedings, pp. 334-349, 1997, Springer, 3-540-63343-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Olivier Potonniée, Jean-Bernard Stefani |
Synchronous Thread Management in a Distributed Operating System's Micro Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 1254-1261, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
thread management, deterministic systems, distributed systems, real-time systems, Synchronous programming |
14 | Do Park, Jaehong Shim, Kyunghee Choi, K. Chung, Dongyoon Kim, Seungkyu Park, Manpyo Hong |
A Real-Time Micro Kernel Implemented on Transputer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1996, August 9-11, 1996, Sunnyvale, California, USA, pp. 1106-1117, 1996, CSREA Press, 0-9648666-4-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
14 | Jochen Liedtke |
On micro-Kernel Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Fifteenth ACM Symposium on Operating System Principles, SOSP 1995, Copper Mountain Resort, Colorado, USA, December 3-6, 1995, pp. 237-250, 1995, ACM, 0-89791-715-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Frank Mueller 0001, Viresh Rustagi, Ted Baker |
MiThOS - A Real-Time Micro-Kernel Threads Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 16th IEEE Real-Time Systems Symposium, Palazzo dei Congressi, Via Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings, pp. 49-53, 1995, IEEE Computer Society, 0-8186-7337-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Martin J. O'Connor, Brendan Tangney, Vinny Cahill, Neville Harris |
Micro-kernel support for migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Syst. Eng. ![In: Distributed Syst. Eng. 1(4), pp. 212-223, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Geoff Coulson, Gordon S. Blair, Philippe Robin |
Micro-Kernel Support for Continuous Media in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 26(10), pp. 1323-1341, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Geoff Coulson, Gordon S. Blair, Philippe Robin, Doug Shepherd |
Supporting continuous media applications in a micro-kernel environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecture and Protocols for High-Speed Networks ![In: Architecture and Protocols for High-Speed Networks [1st Int. Workshop, Dagstuhl, Germany, August 30 - September 3, 1993], pp. 215-234, 1993, Kluwer, 0-7923-9512-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Gilles Muller |
A Reliable Client-Server Model on Top of a Micro-Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 191-198, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Miguel Castro, Nuno Neves 0001, Pedro Trancuso, Pedro Manuel Antunes Sousa |
MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX MACH Symposium ![In: USENIX MACH III Symposium, Santa Fe, New Mexico, USA, April 19-21, 1993, pp. 253-272, 1993, USENIX, 1-880446-49-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Raphael Bernhard, Laurent Hazard, François Horn, Jean-Bernard Stefani |
Implementation of a synchronous execution machine on Chorus micro-kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, pp. 189-193, 1993, IEEE Computer Society, 0-8186-4480-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Geoff Coulson, Gordon S. Blair, Philippe Robin, Doug Shepherd |
Extending the Chorus Micro-Kernel to Support Continuous Media Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOSSDAV ![In: Network and Operating System Support for Digital Audio and Video, 4th International Workshop, NOSSDAV '93, Lancaster, UK, November 3-5, 1993, Proceedings, pp. 54-65, 1993, Springer, 3-540-58404-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Christian Koza, C. Reiser |
Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona, USA, December 1992, pp. 231-234, 1992, IEEE Computer Society, 0-8186-3195-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Peter Druschel, Larry L. Peterson, Norman C. Hutchinson |
Beyond Micro-Kernel Design: Decoupling Modularlty and Protection in Lipto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 12th International Conference on Distributed Computing Systems, Yokohama, Japan, June 9-12, 1992, pp. 512-520, 1992, IEEE Computer Society, 0-8186-2865-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Walpole, Jon Inouye, Ravindranath Konuru |
Modularity and Interfaces in Micro-kernel Design and Implementation: A Case Study of Chorus on the HP PA-Risc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 71-82, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Toshio Okamoto, Hiaeo Segawa, Sung Ho Shin, Hiroshi Nozue, Ken-ichi Maeda, Mitsuo Saito |
A Micro-Kernel Architecture for Next Generation Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 83-94, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Brian N. Bershad |
The increasing irrelevance of IPC Performance for Micro-kernel-Based Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 205-212, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Michel Banâtre, Gilles Muller, Pack Heng, Bruno Rochat |
How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX MACH Symposium ![In: USENIX MACH Symposium, Monterey, CA, USA, November 20-22, 1991, pp. 223-232, 1991, USENIX. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
14 | Marc Guillemont, Jim Lipkis, Doug Orr, Marc Rozier |
A Second-Generation Micro-Kernel Based UNIX: Lessons in Performance and Compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Winter ![In: Proceedings of the Usenix Winter 1991 Conference, Dallas, TX, USA, January 1991, pp. 13-22, 1991, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
14 | Gordon V. Cormack |
A Micro-Kernel for Concurrency in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 18(5), pp. 485-491, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Rajive L. Bagrodia, K. Mani Chandy |
A Micro-Kernel for Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 5th International Conference on Distributed Computing Systems, Denver, Colorado, USA, May 13-17, 1985, pp. 140-149, 1985, IEEE Computer Society, 0-8186-0617-7. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
13 | Olaf Spinczyk, Daniel Lohmann |
Using AOP to develop architectural-neutral operating system components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 11st ACM SIGOPS European Workshop, Leuven, Belgium, September 19-22, 2004, pp. 34, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda |
Design and implementation of the Lambda mu-kernel based operating system for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, pp. 178-181, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Martin Schoeberl, Thomas B. Preußer, Sascha Uhrig |
The embedded Java benchmark suite JemBench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 120-127, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
9 | Dirk Leinenbach, Thomas Santen |
Verifying the Microsoft Hyper-V Hypervisor with VCC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 806-809, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl |
Scheduling Light-Weight Parallelism in ArTCoP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 214-229, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scheduling, Parallel computation, functional programming |
9 | Matthew Fluet, Mike Rainey, John H. Reppy |
A scheduling framework for general-purpose parallel languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 241-252, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
heterogeneous parallel languages, scheduling, compilers, run-time systems |
9 | Gal A. Kaminka, Inna Frenkel |
Integration of Coordination Mechanisms in the BITE Multi-Robot Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 2859-2866, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Chen Lei, Liu Bin |
A Workflow Model Supporting Dynamic BPR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing, Sixth International Conference on Grid and Cooperative Computing, GCC 2007, August 16-18, 2007, Urumchi, Xinjiang, China, Proceedings, pp. 721-724, 2007, IEEE Computer Society, 0-7695-2871-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Xiao Liang, En Li, Zi-ze Liang, Zeng-Guang Hou, Min Tan 0001 |
Intelligent Monitoring System Based on the Embedded Technology: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2007, London, UK, 15-17 April 2007, pp. 889-894, 2007, IEEE, 1-4244-1076-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Nikolaos Drosinos, Nectarios Koziris |
The Effect of Process Topology and Load Balancing on Parallel Programming Models for SMP Clusters and Iterative Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 35(1), pp. 65-91, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hybrid programming, parallel programming, MPI, high performance computing, OpenMP, tiling, iterative algorithms, SMP clusters |
9 | Hai Jin 0001, Minghu Zhang, Pengliu Tan |
Clock Synchronization Integrated with Traffic Smoothing Technique for Distributed Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 176, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Nikolaos Drosinos, Nectarios Koziris |
Load Balancing Hybrid Programming Models for SMP Clusters and Fully Permutable Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 14-17 June 2005, Oslo, Norway, pp. 113-120, 2005, IEEE Computer Society, 0-7695-2381-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Nikolaos Drosinos, Nectarios Koziris |
Performance Comparison of Pure MPI vs Hybrid MPI-OpenMP Parallelization Models on SMP Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Matteo Gazzotti, Marco Mamei, Franco Zambonelli |
A Programmable Event-based Middleware for Pervasive Mobile Agent Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 11th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2003), 5-7 February 2003, Genova, Italy, pp. 517-524, 2003, IEEE Computer Society, 0-7695-1875-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Katsumi Maruyama, Kazuya Kodama, Soichiro Hidaka, Hiromichi Hashizume |
Extensible distributed operating system for reliable control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, pp. 194-197, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Gregor Gößler, Alberto L. Sangiovanni-Vincentelli |
Compositional Modeling in Metropolis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings, pp. 93-107, 2002, Springer, 3-540-44307-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Christophe Lizzi, Eric Gressier-Soudan |
A Real-Time IPC Service over ATM Networks for the Chorus Distributed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 21013-21020, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
9 | Richard J. Eickemeyer, Ross E. Johnson, Steven R. Kunkel, Mark S. Squillante, Shiafun Liu |
Evaluation of Multithreaded Uniprocessors for Commercial Application Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 23rd Annual International Symposium on Computer Architecture, Philadelphia, PA, USA, May 22-24, 1996, pp. 203-212, 1996, ACM, 0-89791-786-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
9 | Gordon S. Blair, Andrew T. Campbell, Geoff Coulson, Nigel Davies 0001, Francisco Garcia 0001, Doug Shepherd |
Summary of the 4th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV '93). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 28(2), pp. 22-33, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
9 | Daniel Hagimont |
Protection in the Guide Object-Oriented Distributed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, pp. 280-298, 1994, Springer, 3-540-58202-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
9 | Robert J. Stroud |
Transparency and reflection in distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #82 of 82 (100 per page; Change: )
|
|