Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture.
Yuki HasegawaYoshinao IsobeKazuhito OhmakiHideki MoriKensei TsuchidaYasunori ShionoPublished in: J. Inf. Process. (2012)
Keyphrases
- sorting algorithms
- hardware implementation
- layered architecture
- design considerations
- constraint satisfaction problems
- architectural design
- model checking
- hardware architecture
- constraint satisfaction
- real time
- platform independent
- software implementation
- search space
- constraint propagation
- core components
- parallel architecture
- memory management
- machine learning
- real world