Formal derivation of multilayered hardware/software structures - Plaks, T.P. (ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000, 2000)
Keywords: Algorithm design and analysis; Design methodology; Field programmable gate arrays; Hardware; Image processing; Parallel processing; Partitioning algorithms; Software algorithms; Software packages; Software tools