Proving Properties of Real-Time Semaphores.

David Scholefield

Published in: Sci. Comput. Program. (1995)

Keyphrases

real time
low cost
multiresolution
real world
website
multiscale
general purpose
high speed
desirable properties
moving target
graphics hardware