Travelled to:1 × USA
Collaborated with:S.Datta A.Goscinski J.Silcock
Talks about:transpar (1) parallel (1) interact (1) perform (1) within (1) system (1) servic (1) messag (1) genesi (1) formal (1)
Person: Michael Hobbs
DBLP: Hobbs:Michael
Contributed to:
2011
2000Wrote 2 papers:
- HCI-DDA-2011-DattaH #design #formal method #interactive
- A Formal Model of Mixed-Initiative Interaction in Design Exploration (SD, MH), pp. 185–193.
- PDP-2000-GoscinskiHS #message passing #operating system #parallel #performance
- Performance and transparency of message passing and DSM services within the GENESIS operating system for managing parallelism on COWs (AG, MH, JS), pp. 110–117.