Sciweavers

2674 search results - page 205 / 535
» On architecture transparency in operating systems
Sort
View
CODES
2005
IEEE
16 years 14 days ago
A core flight software system
No two flight missions are alike, hence, development and on-orbit software costs are high. Software portability and adaptability across hardware platforms and operating systems ha...
Jonathan Wilmot
3DIM
1999
IEEE
15 years 11 months ago
An Automation System for Industrial 3-D Laser Digitizing
An architecture and prototype implementation of an automation system for industrial 3-D digitization is described. Facilities for automated view planning, collision avoidance and ...
D. G. Lamb, D. L. Baird, Michael A. Greenspan
AVI
1998
15 years 8 months ago
SIAMOA: a system for visual programming, program visualisation and debugging
ABSTRACT. The paper presents SIAMOA, a system dedicated for design, debugging and visualisation of algorithms. It combines elements of an algorithm visualisation system and an envi...
Frederic Van de Veire, Przemyslaw Szmal, Jaroslaw ...
TACAS
1998
Springer
115views Algorithms» more  TACAS 1998»
15 years 11 months ago
MESA: Support for Scenario-Based Design of Concurrent Systems
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
Hanêne Ben-Abdallah, Stefan Leue
DLOG
1997
15 years 8 months ago
Experiments with the DFL Hybrid System
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
Mira Balaban, Adi Eyal