SPINning Parallel Systems Software.
Olga Shumsky MatlinEwing L. LuskWilliam McCunePublished in: SPIN (2002)
Keyphrases
- computer systems
- high end
- management system
- distributed shared memory
- expert systems
- open systems
- software systems
- parallel processing
- graphical user interfaces
- software components
- software developers
- embedded systems
- safety critical
- enterprise systems
- technical issues
- computer architecture
- software design
- business applications
- real time
- learning systems
- knowledge based systems
- intelligent systems
- information retrieval