Bakharevskii A L

Publications in Math-Net.Ru

1. A new approach to data fetchforward in uniprocessor and parallel computers: Formal models and proofs
   
   Avtomat. i Telemekh., 1995, no. 8,  158–181