A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction.
Marc AiguierBilal KansoPublished in: Sci. Ann. Comput. Sci. (2014)
Keyphrases
- computing systems
- computer systems
- high level
- parallel computing
- computing technologies
- processing units
- real world
- autonomic computing systems
- autonomic computing
- information systems
- hardware platforms
- high end
- ubiquitous computing environments
- computing platform
- high performance computing
- control system
- cooperative