Abstract
We propose, a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SAC, which exploits data parallel properties of array processing code. The declarative stream processing language S-NET is used to orchestrate the collaborative behaviour of these components in a streaming network. We illustrate our approach by a hybrid implementation of a sudoku puzzle solver as a representative for more complex search problems.
Original language | English |
---|---|
Title of host publication | 2007 IEEE International Parallel and Distributed Processing Symposium |
Number of pages | 8 |
Publisher | IEEE |
Publication date | 24.09.2007 |
Pages | 1-8 |
Article number | 4228136 |
ISBN (Print) | 1-4244-0909-8, 1-4244-0910-1 |
DOIs | |
Publication status | Published - 24.09.2007 |
Event | 21st International Parallel and Distributed Processing Symposium - Long Beach, United States Duration: 26.03.2007 → 30.03.2007 Conference number: 70236 |