A Formal Approach to Virtualisation and Provisioning in AMBA AHB-based Reconfigurable Systems-on-Chip.

Adeoye Olugbon Tughrul Arslan Iain Lindsay

Published in: SoC (2005)

Keyphrases

low cost
formal methods
distributed systems
intelligent systems
building blocks
neural network
expert systems
management system
software engineering
general purpose
high speed
retrieval systems
formal model
resource management
computing systems