Travelled to:1 × Ireland
Collaborated with:J.Penix W.Visser A.Larson N.Weininger
Talks about:schedul (1) partit (1) kernel (1) verif (1) time (1) deo (1)
Person: Eric Engstrom
DBLP: Engstrom:Eric
Contributed to:
2000Wrote 1 papers:
- ICSE-2000-PenixVELW #clustering #kernel #verification
- Verification of time partitioning in the DEOS scheduler kernel (JP, WV, EE, AL, NW), pp. 488–497.