A new approach to data fetchforward in uniprocessor and parallel computers: Formal models and proofs

zbMATH Open0923.68112MaRDI QIDQ1285432

V. V. Ignatushchenko, A. L. Bakharevskij

Publication date: 26 April 1999

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

\(A\)-analysis

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: A new approach to data fetchforward in uniprocessor and parallel computers: Formal models and proofs