Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,175,312 papers from all fields of science
Search
Sign In
Create Free Account
Microkernel
Known as:
Mkernel
, Picokernel
, Nanokernel
Expand
In computer science, a microkernel (also known as μ-kernel) is the near-minimum amount of software that can provide the mechanisms needed to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Address space
Adeos
Apache Geronimo
BeRTOS
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Formal specification of a simple operating system
Sebastian Bogan
2008
Corpus ID: 15218085
Within the Verisoft project, we aim at the pervasive modeling, implementation, and verification of a complete computer system…
Expand
2007
2007
mKernel: a manageable kernel for EJB-based systems
Jens Bruhn
,
G. Wirtz
Autonomic Computing and Communication Systems
2007
Corpus ID: 27415331
Due to the ever increasing complexity of todays Enterprise Applications (EA), component technology has become the major means to…
Expand
2005
2005
TMO-eCos: an eCos-based real-time micro operating system supporting execution of a TMO structured program
Jung-Guk Kim
,
Moon-hae Kim
,
Kwang Kim
,
S. Heu
IEEE International Symposium on Real-Time…
2005
Corpus ID: 17079351
The TMO (time-triggered message-triggered object) model is a well-known real-time object model for distributed and timeliness…
Expand
2005
2005
AIMEE: A Four-Legged Robot for RoboCup Rescue
Martin R. Albrecht
,
T. Backhaus
,
Steffen Planthaber
,
Henning Stöpler
,
D. Spenneberg
,
F. Kirchner
International Conference on Climbing and Walking…
2005
Corpus ID: 14779134
This paper presents a servo-based four-legged robot — named AIMEE — for the RoboCup Rescue competition.
2002
2002
Programming with behavior-processes
Andreas Birk
,
H. Kenn
,
L. Steels
Robotics Auton. Syst.
2002
Corpus ID: 32530909
2001
2001
RTLinux with Address Spaces
F. Mehnert
,
M. Hohmuth
,
S. Schönberg
,
Hermann Härtig
2001
Corpus ID: 2526623
The combination of a real-time executive and an off-the-shelf time-sharing operating system has the potential of providing both…
Expand
2000
2000
A hierarchical approach to stochastic discrete and continuous performance simulation using composable software components
Tianhao Zhang
,
A. Dewey
,
R. Fair
2000
Corpus ID: 60792138
1998
1998
Management of SPMD based parallel processing on clusters of workstations
M. Hobbs
1998
Corpus ID: 56588986
Clusters of workstations have the potential to compete with supercomputers or massively parallel processors. Poor management…
Expand
1993
1993
Experiments with Real-Time Servers in Real-Time Mach
T. Nakajima
,
Takuro Kitayama
,
H. Tokuda
USENIX MACH Symposium
1993
Corpus ID: 5062921
The Mach micro kernel allows many operating system functions such as le systems, network protocols, TTY managers and process…
Expand
1993
1993
Remote access to interactive media
R. Dannenberg
Other Conferences
1993
Corpus ID: 16685243
Digital interactive media augments interactive computing with video, audio, computer graphics and text, allowing multimedia…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE