Travelled to:1 × Ireland
1 × USA
Collaborated with:J.M.Purtilo J.Clark J.Penix W.Visser E.Engstrom N.Weininger
Talks about:methodolog (1) prototyp (1) schedul (1) partit (1) kernel (1) verif (1) time (1) larg (1) deo (1)
Person: Aaron Larson
DBLP: Larson:Aaron
Contributed to:
20001991Wrote 2 papers:
- ICSE-2000-PenixVELW #clustering #kernel #verification
- Verification of time partitioning in the DEOS scheduler kernel (JP, WV, EE, AL, NW), pp. 488–497.
- ICSE-1991-PurtiloLC #in the large #prototype
- A Methodology for Prototyping-in-the-Large (JMP, AL, JC), pp. 2–12.