1481 search results - page 46 / 297 » Operating Systems for Component Software Environments |
ICRA
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...
ECAI
1992
Springer
15 years 3 months ago
1992
Springer
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...
PERCOM
2007
ACM
15 years 11 months ago
2007
ACM
Due to the inherent nature of their heterogeneity, resource scarcity and dynamism, the provision of middleware for future networked embedded environments is a challenging task. In...
125
click to vote
LCPC
2005
Springer
15 years 5 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
104
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...