A Formal Model of Software Pipelining Loops with Conditions.
Dragan MilicevZoran JovanovicPublished in: IPPS (1997)
Keyphrases
- formal model
- software architecture
- security patterns
- software development
- software systems
- security properties
- sufficient conditions
- computer systems
- formal models
- parallel processing
- fine grain
- software quality
- software design
- software maintenance
- test cases
- software tools
- neural network
- hardware design
- knowledge representation
- information systems
- artificial intelligence