-
3
-
-
33847789626
-
CAmkES: A component model for secure microkernel-based embedded systems
-
I. Kuz, Y. Liu, I. Gorton, and G. Heiser, "CAmkES: A component model for secure microkernel-based embedded systems," Journal of System and Software, vol.80, no.5, 2007.
-
(2007)
Journal of System and Software
, vol.80
, Issue.5
-
-
Kuz, I.1
Liu, Y.2
Gorton, I.3
Heiser, G.4
-
4
-
-
0033901302
-
The koala component model for consumer electronics software
-
R. van Ommering, F. van der Linden, J. Kramer, and J. Magee, "The Koala Component Model for Consumer Electronics Software," Computer, vol.33, no.3, 2000.
-
(2000)
Computer
, vol.33
, Issue.3
-
-
Van Ommering, R.1
Linden Der F.Van2
Kramer, J.3
Magee, J.4
-
5
-
-
84895207016
-
TinyOS: An Operating System for Sensor Networks
-
P. Levis, S. Madden, J. Polastre, R. Szewczyk, K. Whitehouse, A. Woo, D. Gay, J. Hill, M. Welsh, E. Brewer, and D. Culler, "TinyOS: An Operating System for Sensor Networks," Ambient Intelligence, 2005.
-
(2005)
Ambient Intelligence
-
-
Levis, P.1
Madden, S.2
Polastre, J.3
Szewczyk, R.4
Whitehouse, K.5
Woo, A.6
Gay, D.7
Hill, J.8
Welsh, M.9
Brewer, E.10
Culler, D.11
-
6
-
-
85084161456
-
Think: A software framework for component-based operating system kernels
-
J.-P. Fassino, J.-B. Stefani, J. Lawall, and G. Muller, "Think: A Software Framework for Component-Based Operating System Kernels," in USENIX Annual Technical Conference, 2002.
-
(2002)
USENIX Annual Technical Conference
-
-
Fassino, J.-P.1
Stefani, J.-B.2
Lawall, J.3
Muller, G.4
-
7
-
-
70349669394
-
Think: View-based support of non-functional properties in embedded systems
-
to be published
-
M. Anne, R. He, T. Jarboui, M. Lacoste, O. Lobry, G. Lorant, M. Louvel, J. Navas, V. Olive, J. Polajovic, J. Pulou, M. Poulhies, S. Seyvoz, J. Tous, and T. Watteyne, "Think: View-based support of non-functional properties in embedded systems," in Proceedings of the 6th International Conference on Embedded Software and Systems (ICESS-09) (to be published), 2009.
-
(2009)
Proceedings of the 6th International Conference on Embedded Software and Systems (ICESS-09)
-
-
Anne, M.1
He, R.2
Jarboui, T.3
Lacoste, M.4
Lobry, O.5
Lorant, G.6
Louvel, M.7
Navas, J.8
Olive, V.9
Polajovic, J.10
Pulou, J.11
Poulhies, M.12
Seyvoz, S.13
Tous, J.14
Watteyne, T.15
-
8
-
-
70449672327
-
Controlling the performance overhead of component-based systems
-
O. Lobry and J. Polakovic, "Controlling the Performance Overhead of Component-Based Systems," in Software Composition, 2008.
-
(2008)
Software Composition
-
-
Lobry, O.1
Polakovic, J.2
-
13
-
-
84869681308
-
-
"NxOS Homepage," http://nxt.natulte.net/nxos/trac.
-
NxOS Homepage
-
-
-
14
-
-
70249150944
-
Experience with implementing safe reconfigurations in component-based embedded systems
-
J. Polakovic, S. Mazare, J.-B. Stefani, and P.-C. David, "Experience with Implementing Safe Reconfigurations in Component-Based Embedded Systems," in International ACM Symposium on Component-Based Software Engineering (CBSE), 2007.
-
(2007)
International ACM Symposium on Component-Based Software Engineering (CBSE)
-
-
Polakovic, J.1
Mazare, S.2
Stefani, J.-B.3
David, P.-C.4
-
16
-
-
33847778695
-
Secure embedded systems need microkernels
-
G. Heiser, "Secure embedded systems need microkernels," USENIX, vol.30, no.6, pp. 9-13, 2005.
-
(2005)
USENIX
, vol.30
, Issue.6
, pp. 9-13
-
-
Heiser, G.1
-
18
-
-
0031542969
-
The flux OSKit a substrate for kernel and language research
-
B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers, "The Flux OSKit A Substrate for Kernel and Language Research," Proceedings of the 6th ACM Symposium on Operating Systems Principles, 1997.
-
(1997)
Proceedings of the 6th ACM Symposium on Operating Systems Principles
-
-
Ford, B.1
Back, G.2
Benson, G.3
Lepreau, J.4
Lin, A.5
Shivers, O.6
|