BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Germany
2 × USA
Collaborated with:
H.Zeng M.D.Natale A.L.Sangiovanni-Vincentelli Y.Ben-Haim W.Zheng P.Giusto K.Chatterjee T.A.Henzinger D.T.Iercan C.M.Kirsch C.Pinello R.Limaye K.Ravindran S.Tripakis A.Prasad G.Wang T.N.Tran H.A.Andrade
Talks about:
schedul (2) flex (2) ray (2) uncertainti (1) techniqu (1) interact (1) dataflow (1) reliabl (1) pattern (1) paramet (1)

Person: Arkadeb Ghosal

DBLP DBLP: Ghosal:Arkadeb

Contributed to:

DAC 20122012
DATE 20102010
DAC 20092009
DATE 20082008

Wrote 4 papers:

DAC-2012-GhosalLRTPWTA #analysis #data access #data flow #semantics
Static dataflow with access patterns: semantics and analysis (AG, RL, KR, ST, AP, GW, TNT, HAA), pp. 656–663.
DATE-2010-GhosalZNB #design #nondeterminism #parametricity #robust
Computing robustness of FlexRay schedules to uncertainties in design parameters (AG, HZ, MDN, YBH), pp. 550–555.
DAC-2009-ZengZNGGS #optimisation #scheduling #using
Scheduling the FlexRay bus using optimization techniques (HZ, WZ, MDN, AG, PG, ALSV), pp. 874–877.
DATE-2008-ChatterjeeGHIKPS #logic #realtime #reliability
Logical Reliability of Interacting Real-Time Tasks (KC, AG, TAH, DTI, CMK, CP, ALSV), pp. 909–914.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.