Sciweavers

20 search results - page 1 / 4
» Towards a High-Level Machine Configuration System
Sort
View
LISA
1994
13 years 6 months ago
Towards a High-Level Machine Configuration System
This paper presents a machine configuration system which stores all configuration parameters in a central ``database''. The system is dynamic in the sense that machines ...
Paul Anderson
LISA
2007
13 years 7 months ago
PoDIM: A Language for High-Level Configuration Management
The high rate of requirement changes make system administration a complex task. This complexity is further influenced by the increasing scale, unpredictable behaviour of software ...
Thomas Delaet, Wouter Joosen
TAPSOFT
1997
Springer
13 years 9 months ago
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
Danièle Beauquier, Anatol Slissenko
MVA
1992
188views Computer Vision» more  MVA 1992»
13 years 6 months ago
The Programmable and Configurable Low Level Vision Unit of the HERMIA Machine
In this work the Low Level Vision Unit (LLVU) of the Heterogeneous and Reconfigurable Machine for Image Analysis (HERMIA) is described. The LLVU consists of the innovative integra...
Gaetano Gerardi, Giancarlo Parodi
NOMS
2000
IEEE
13 years 9 months ago
POWER prototype: towards integrated policy-based management
ot only high level description of abstract policy, but also enables such policy to be refined and eventually mapped into an appropriate configuration for controlling devices in the...
Marco Casassa Mont, Adrian Baldwin, Cheh Goh