65 search results - page 4 / 13 » A programmable microkernel for real-time systems |
108
click to vote
DATE
1999
IEEE
15 years 1 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
MPC
1998
Springer
15 years 1 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
VEE
2010
ACM
15 years 4 months ago
2010
ACM
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...
104
click to vote
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
DAC
1999
ACM
15 years 1 months ago
1999
ACM
Power efficient design of real-time systems based on programmable processors becomes more important as system functionality is increasingly realized through software. This paper ...