BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/27
DTSTAMP:20230914T125907Z
SUMMARY:Automata-theoretic Modeling of Streaming Applications
DESCRIPTION:Speaker: Samarjit Chakraborty\nLehrstuhl fur Realzeit-Computers
 ysteme\nTechnische Universitat\nGermany\nhttp://www.rcs.ei.t\n\nAbstract: 
 \nLately\, there has been a considerable amount of interest in design meth
 odologies for embedded systems that are specifically targeted towards stre
 am processing\, e.g.\, audio/video applications and control applications p
 rocessing sensor data. Streams processed by such applications tend to be h
 ighly bursty and exhibit a high data-dependent variability in their proces
 sing requirements. As a result\, classical event and service models such a
 s periodic\, sporadic\, etc. can be overly pessimistic when dealing with s
 uch applications. In this talk I will discuss some of our recent work on u
 sing automata-theoretic models for this domain. In particular\, I will pre
 sent a new model called Event Count Automata for capturing the timing prop
 erties and execution requirements of irregular/bursty streams. This model 
 can be used to cleanly formulate properties relevant to stream processing 
 on heterogeneous multiprocessor architectures\, such as buffer overflow/un
 derflow constraints. Apart from discussing the basic model\, I will also t
 alk about some techniques to tradeoff between its expressiveness and analy
 sis complexity.\n\nThis talk is based on joint work with P.S. Thiagarajan 
 from the National University of Singapore\, and Linh T.X. Phan and Insup L
 ee from the University of Pennsylvania.\n\nBio:\n\nSamarjit Chakraborty is
  a Professor of Electrical Engineering at the Technical University of Muni
 ch\, where he heads the Institute for Real-Time Computer Systems. He obtai
 ned his Ph.D. in Electrical and Computer Engineering from ETH Zurich in 20
 03. Prior to joining TU Munich\, from 2003 -- 2008 he was an Assistant Pro
 fessor of Computer Science at the National University of Singapore. His re
 search interests are primarily in system-level power/performance analysis 
 of real-time and embedded systems.\n
URL:https://www.tcs.tifr.res.in/web/events/27
DTSTART;VALUE=DATE:20090828
LOCATION:A-212 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR