SPASM: Software-Protocol-Assisted Shared Memor.

B. Ostrovsky D. A. Perreault

Published in: PDPTA (1996)

Keyphrases

software systems
software development
computer systems
lightweight
software tools
formal analysis
website
test cases
software components
hardware design
database
real time
artificial intelligence
software quality
application layer