[Acpc-l] Talk announcement

[Georg Gottlob]

TALK ANNOUNCEMENT   ---  VORTRAGSANKUENDIGUNG
=============================================

TITLE:  Signaturing Techniques and the Watchdog Coprocessor

SPEAKER: Octavian D, Mocanu, Univ. Autonoma de Barcelona

DATE:   Monday, Jan 10, 2000,  14h c.t.

PLACE: Seminarraum 184/2,  Favoritenstr. 9-11, 3. Stock, blauer Bereich


ABSTRACT: Signaturing is a graph-based method for describing the 
control flow of a program with the aim of checking desirable 
properties and correctness issues. Fundamentals of signaturing
and some particular aspects of signaturing will be discussed.
New ideas and methods of signaturing will be presented.
A Watchdog is a small co-processor that checks correctness
aspects of continuous data streams on main processors. Watchdogs 
can be developed by exploiting specific signarturing techniques. 
The second part of this talk will describe how watchdogs can be built 
and will give a number of examples and simulation results.