Keywords: Single Assignment C; Modelica; data parallel programming; OpenModelica; CUDA; GPU; SAC
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3
[1] Peter Aronsson. Automatic Parallelization of Equation- Based Simulation Programs. PhD thesis; Linköping University; 2006. Dissertation No. 1022.
[2] Francois Cellier and Ernesto Kofman. Continuous System Simulation. Springer; 2006.
[3] Peter Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. IEEE Press; 2004.
[4] Clemens Grelck. Implementing the NAS Benchmark MG in SAC. In Viktor K. Prasanna and George Westrom; editors; 16th International Parallel and Distributed Processing Symposium (IPDPS’02); Fort Lauderdale; Florida; USA. IEEE Computer Society Press; 2002.
[5] Clemens Grelck and Sven-Bodo Scholz. HPF vs. SAC — A Case Study. In Arndt Bode; Thomas Ludwig; Wolfgang Karl; and Roland Wismüller; editors; Euro- Par 2000 Parallel Processing; 6th International Euro-Par Conference (Euro-Par’00); Munich; Germany; volume 1900 of Lecture Notes in Computer Science; pages 620–624. Springer-Verlag; Berlin; Germany; 2000.
[6] Clemens Grelck and Sven-Bodo Scholz. SAC: A functional array language for efficient multithreaded execution. International Journal of Parallel Programming; 34(4):383– 427; 2006.
[7] Jing Guo; Jeyarajan Thiyagalingam; and Sven-Bodo Scholz. Towards Compiling SaC to CUDA. In Zoltan Horváth and Viktória Zsók; editors; 10th Symposium on Trends in Functional Programming (TFP’09); pages 33–49. Intellect; 2009.
[8] Stephan Herhut; Carl Joslin; Sven-Bodo Scholz; and Clemens Grelck. Truly nested data-parallelism. Compiling sac to the microgrid architecture. In: IFL’09: Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages. SHU-TR-CS- 2009-09-1; Seton Hall University; South Orange; NJ; USA.; 2009.
[9] Matthias Korch and Thomas Rauber. Scalable parallel rk solvers for odes derived by the method of lines. In Harald Kosch; László Böszörményi; and Hermann Hellwagner; editors; Euro-Par; volume 2790 of Lecture Notes in Computer Science; pages 830–839. Springer; 2003.
[10] Håkan Lundvall. Automatic Parallelization using Pipelining for Equation-Based Simulation Languages; Licentiate thesis 1381. Linköping University; 2008.
[11] Modelica and the Modelica Association; accessed August 30 2010. http://www.modelica.org.
[12] CUDA Zone; accessed August 30 2010. http://www. Nvidia.com/object/cuda_home_new.html.
[13] Fermi; Next Generation CUDA Architecture; accessed August 30 2010. http://www.nvidia.com/object/ fermi_architecture.html.
[14] The OpenModelica Project; accessed August 30 2010. http://www.openmodelica.org.
[15] Thomas Rauber and Gudula Rünger. Iterated runge-kutta methods on distributed memory multiprocessors. In PDP; pages 12–19. IEEE Computer Society; 1995.
[16] Thomas Rauber and Gudula Rünger. Parallel execution of embedded and iterated runge-kutta methods. Concurrency - Practice and Experience; 11(7):367–385; 1999.
[17] Daniel Rolls; Carl Joslin; Alexei Kudryavtsev; Sven- Bodo Scholz; and Alexander V. Shafarenko. Numericalsimulations of unsteady shock wave interactions using sac and fortran-90. In PaCT; pages 445–456; 2009.
[18] Levon Saldamli. PDEModelica A High-Level Language for Modeling with Partial Differential Equations. PhD thesis; Linköping University; 2006. Dissertation No. 1016.
[19] Sven-Bodo Scholz. Single Assignment C — efficient support for high-level array operations in a functional setting. Journal of Functional Programming; 13(6):1005– 1059; 2003.
[20] Single Assignment C Homepage; accessed august 30 2010. http://www.sac-home.org.