HASE
1997
IEEE
14 years 3 months ago
1997
IEEE
: The distributed recovery block (DRB) scheme is a widely applicable approach for realizing both hardware and software fault tolerance in real-time distributed and parallel compute...
HASE
1997
IEEE
14 years 3 months ago
1997
IEEE
Fault-tolerant behavior is an important non-functional requirement for systems that involve high criticality. We present a framework which allows the analysis of faulttolerant beh...
HASE
1997
IEEE
14 years 3 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
HASE
1997
IEEE
14 years 3 months ago
1997
IEEE
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...
HASE
1997
IEEE
14 years 3 months ago
1997
IEEE
Abstract: We present a time-bounded state-based communication mechanism for dynamically reconfigurable embedded systems. The mechanism is a single-processor, low-overhead version o...
HASE
1997
IEEE
14 years 3 months ago
1997
IEEE
HYBRID
1998
Springer
14 years 3 months ago
1998
Springer
We present a framework for designing stable control schemes for systems whose dynamic equations change as they evolve on the state space. It is usually difficult or even impossible...
HYBRID
1998
Springer
14 years 3 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
HYBRID
1998
Springer
14 years 3 months ago
1998
Springer
We discuss properties of high order neurons in competitive learning. In such neurons, geometric shapes replace the role of classic `point' neurons in neural networks. Complex ...
HYBRID
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. This paper proposes an account of the acquisition of grammatical relations using the basic concepts of connectionism and a construction-based theory of grammar. Many prev...