Collaborated with:
A.Iliasov F.Xia R.Gensh A.Romanovsky A.Yakovlev
Talks about:
prototyp (1) languag (1) system (1) specif (1) formal (1) multi (1) manag (1) core (1)
Person: Ashur Rafiev
DBLP: Rafiev:Ashur
Contributed to:
Wrote 1 papers:
- PDP-2015-IliasovRXGRY #manycore #prototype #specification
- A Formal Specification and Prototyping Language for Multi-core System Management (AI, AR, FX, RG, AR, AY), pp. 696–700.