Virtual Multiprocessor Platforms: Specification and Use