Вход
Электронный каталог
Abts D. language-theoretic approach to specifying and verifyng multiprocessor cache coherence protocols / D.Abts,D.J.Lilja,S.Scott, 2000. - 12 p. - Текст : непосредственный.
Kim J. network status predictor to support dynamic scheduling in network-based computing systems / J.Kim,D.J.Lilja, 1998. - 24 p. - Текст : непосредственный.
Yi J.J. statistically rigorous approach for improving simulation methodology / J.J.Yi,D.J.Lilja,D.M.Hawkins, 2002. - 16 p. - Текст : непосредственный.