Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture.
Yuki HasegawaYoshinao IsobeKazuhito OhmakiHideki MoriKensei TsuchidaYasunori ShionoPublished in: Inf. Media Technol. (2012)
Keyphrases
- sorting algorithms
- architectural design
- layered architecture
- real time
- design considerations
- management system
- constraint satisfaction problems
- parallel architecture
- hardware architecture
- databases
- software implementation
- software architecture
- constraint programming
- hardware implementation
- constraint networks
- client server architecture