Sciweavers

1481 search results - page 46 / 297
» Operating Systems for Component Software Environments
Sort
View
ICRA
1999
IEEE
187views Robotics» more  ICRA 1999»
14 years 8 days ago
VISP: A Software Environment for Eye-in-Hand Visual Servoing
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&...
Éric Marchand
ECAI
1992
Springer
14 years 2 days ago
Deductive Planning and Plan Reuse in a Command Language Environment
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...
Susanne Biundo, Dietmar Dengler, Jana Koehler
PERCOM
2007
ACM
14 years 7 months ago
The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario
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...
Paolo Costa, Geoff Coulson, Richard Gold, Manish L...
LCPC
2005
Springer
14 years 1 months ago
Software Thread Level Speculation for the Java Language and Virtual Machine Environment
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...
Christopher J. F. Pickett, Clark Verbrugge
ICTAC
2010
Springer
13 years 6 months ago
Formal Modelling of Separation Kernel Components
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...
Andrius Velykis, Leo Freitas