BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Computer Science Departmental Series
SUMMARY:Cycle-based Programming of Distributed Systems: Th
e Synchrony Hypothesis and Constructive Circuits.
- Prof. Michael Mendler\, University of Bamberg\,
Germany
DTSTART:20150528T150000Z
DTEND:20150528T160000Z
UID:TALK1745AT
URL:/talk/index/1745
DESCRIPTION:The synchronous model of programming\, which emerg
ed in the 1980ies and has led to the development o
f well-known languages such as Esterel\, Signal\,
Lustre\, has made the programming of concurrent sy
stems with deterministic and bounded reaction a ro
utine exercise. The synchronous approach draws its
success from the fact that it is founded on a sim
ple and well-understood mathematical model of comp
utation\, the Mealy automaton. However\, validity
of this model is not for free. It depends on the S
ynchrony Hypothesis according to which a system is
invariably faster than its environment. Under thi
s hypothesis the system's reactions to input stimu
li can be abstracted into atomic and instantaneous
input-output actions\, the so-called synchronous
steps. Since in a distributed system each node is
in the environment of the every other node\, it fo
llows that each node must be faster than every oth
er and hence faster than itself. Solving this par
adox requires global assumptions on timing and sch
eduling which refine the classical Mealy model by
constructive notions of input-output causality.\n>
> This talk reviews some of the more prominent con
structive interpretations of the Synchrony Hypothe
sis which amount to different ways of organizing a
synchronous computations inside clocked synchronou
s cycles. In particular\, the talk introduces the
class of "constructive circuits"\, for which signa
ls settle to a unique value in bounded time\, for
any input\, under up-bounded non-inertial (UN) del
ays. This class is important\, because\, as recent
ly discovered\, constructive circuits can be analy
zed correctly and efficiently by the well-known te
chnique of timed ternary simulation.
LOCATION:Learning Centre Room UG06
CONTACT:Mohammad Tayarani
END:VEVENT
END:VCALENDAR