Author:
Gasmi Kaouther,Hasnaoui Salam
Publisher
Springer Science and Business Media LLC
Reference19 articles.
1. Alazzam, H., Orieb, A., Ahmad, S.: Best path in mountain environment based on parallel a* algorithm and apache spark. J. Supercomput. 38(3), 1–20 (2022)
2. Brucker, P.: Scheduling Algorithms. Springer, Berlin (2004)
3. de Moura, L., Bjørner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 337–340. Springer, Berlin (2008)
4. Fakih, M., Warsitz, S.: Automatic SDF-based code generation from Simulink models for embedded software development (2017). arXiv:1701.04217
5. Kasahara, H., Obata, M., Ishizaka, K.: Automatic coarse grain task parallel processing on SMP using OpenMP. In: Midkiff, S.P., Moreira, J.E., Gupta, M., et al. (eds.) Languages and Compilers for Parallel Computing, pp. 189–207. Springer, Berlin (2001)