People interested by this post may also look for papers on (hybrid) synchronous programming languages and their "clock typing" / scheduling. I'm on my phone right now so I won't list links but keywords are (in the random order in which they pop in my mind): Lustre, Esterel, Zelus, SCADE, Modelica, scheduling, clock typing, ReactiveML, synchronous programming, embedded real time systems.
I was Dr.Demirbas's student. So pleased to see his article on HN front page. Such a great memory in his class and seminar. Back in days, he held a course called distributed system seminar. In one semester, we read and discussed 28 distributed system related papers. This gave me a whole new level sense of this interesting field. Thanks Murat.
Comments
People interested by this post may also look for papers on (hybrid) synchronous programming languages and their "clock typing" / scheduling. I'm on my phone right now so I won't list links but keywords are (in the random order in which they pop in my mind): Lustre, Esterel, Zelus, SCADE, Modelica, scheduling, clock typing, ReactiveML, synchronous programming, embedded real time systems.
Lustre -> http://en.wikipedia.org/wiki/Lustre_(programming_language) Esterel -> http://en.wikipedia.org/wiki/Esterel Zelus -> http://www.di.ens.fr/~pouzet/bib/hscc13.pdf SCADE -> http://www.esterel-technologies.com/products/scade-suite/ Modelica -> http://en.wikipedia.org/wiki/Modelica ReactiveML -> http://rml.lri.fr/
I was Dr.Demirbas's student. So pleased to see his article on HN front page. Such a great memory in his class and seminar. Back in days, he held a course called distributed system seminar. In one semester, we read and discussed 28 distributed system related papers. This gave me a whole new level sense of this interesting field. Thanks Murat.