Peng, Jie and Wen, Tangliu and Yang, Yiguo and Huang, Guoming (2022) An Event-B Approach to the Development of Fork/Join Parallel Programs. EAI Endorsed Transactions on AI and Robotics.
![[thumbnail of 50533.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "50533.pdf")
PDF
50533.pdf
Download (1MB)
Abstract
Fork/Join is a simple but effective technique for exploiting the parallelism. When developing a parallel program using Fork/Join, one of the main things is how a large task is decomposed into subtasks whose results can be combined as a final result. In this paper we show how to develop Fork/Join par
| Item Type: | Article |
|---|---|
| Date Deposited: | 04 Mar 2026 15:31 |
| Last Modified: | 11 Apr 2026 12:51 |
| URI: | http://eprints.eai.eu/id/eprint/39659 |
Actions (login required)
- View Item