Collaborated with:
A.Iliasov A.Rafiev F.Xia A.Romanovsky A.Yakovlev
Talks about:
prototyp (1) languag (1) system (1) specif (1) formal (1) multi (1) manag (1) core (1)
Person: Rem Gensh
DBLP: Gensh:Rem
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.