Travelled to:1 × Switzerland
1 × USA
Collaborated with:V.Vychodil
Talks about:parallel (2) implement (1) transact (1) implicit (1) function (1) softwar (1) perform (1) languag (1) dialect (1) scheme (1)
Person: Petr Krajca
DBLP: Krajca:Petr
Contributed to:
20102009Wrote 2 papers:
- SAC-2010-KrajcaV #functional #memory management #parallel #transaction
- Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.
- SAC-2009-KrajcaV #formal method #implementation #parallel #performance
- Data parallel dialect of scheme: outline of the formal model, implementation, performance (PK, VV), pp. 1938–1939.