Travelled to:
1 × Germany
Collaborated with:
R.K.Brayton A.Mishchenko N.Eén S.Jang C.Chen
Talks about:
structur (1) progress (1) scalabl (1) control (1) system (1) credit (1) verif (1) flow (1) base (1) map (1)
Person: Sayak Ray
DBLP: Ray:Sayak
Contributed to:
Wrote 2 papers:
- DATE-2012-RayB #scalability #verification
- Scalable progress verification in credit-based flow-control systems (SR, RKB), pp. 905–910.
- DATE-2012-RayMEBJC
- Mapping into LUT structures (SR, AM, NE, RKB, SJ, CC), pp. 1579–1584.