Parallel and Distributed Invariant Checking of Microcontroller Software.
Jörg BrauerBastian SchlichStefan KowalewskiPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- distributed systems
- software development
- distributed processing
- heterogeneous systems
- software systems
- parallel processing
- configuration management
- parallel execution
- cooperative
- parallel data mining
- parallel database systems
- open systems
- high end
- software design
- distributed environment
- peer to peer
- affine transformation
- software maintenance
- parallel implementation
- source code
- design considerations
- software architecture
- lightweight
- computer systems
- load balance
- database systems
- cluster of workstations
- low cost
- multi core processors
- master slave
- distributed databases
- invariant features
- shared memory
- software developers
- embedded systems