Travelled to:
1 × France
Collaborated with:
K.Mohanram S.Iyer
Talks about:
magnitud (1) mempack (1) reduct (1) memori (1) compil (1) certif (1) order (1) time (1) risk (1) cost (1)
Person: Matthew Wartell
DBLP: Wartell:Matthew
Contributed to:
Wrote 1 papers:
- DATE-2013-MohanramWI #certification #compilation #memory management #named #order #reduction
- Mempack: an order of magnitude reduction in the cost, risk, and time for memory compiler certification (KM, MW, SI), pp. 1490–1493.