Design and Implementation of Multi-Completion Procedures with Termination Checking.
Haruhiko SatoMasahito KuriharaPublished in: TMFCS (2008)
Keyphrases
- implementation issues
- design methodology
- efficient implementation
- case study
- embedded systems
- optimal design
- circuit design
- parallel distributed
- detailed design
- modular design
- hardware architecture
- architectural design
- design considerations
- design decisions
- computer aided
- integrity constraints
- software architecture
- knowledge based systems