RISC Publications and Technical Reports of Group 'Parallel/Distributed Computing'

2013

• Wolfgang Schreiner. Experiments with Measuring Time in PRISM 4.0. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March 2013. Technical Report. [pdf] [bib]

2012

• Muhammad Taimoor Khan, Wolfgang Schreiner. Towards the Formal Specification and Verification of Maple Programs. In: Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 231-247. July 2012. Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-31373-8. Awarded with a Best Student Paper Award. [url] [pdf] [bib]
• Muhammad Taimoor Khan, Wolfgang Schreiner. On Formal Specification of Maple Programs. In: Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 442-446. July 2012. Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-31373-8. [url] [pdf] [bib]

2011

• Volkmar Wieser, Clemens Grelck, Holger Schoner, Peter Haslinger, Karoly Bosa, Bernhard Moser. GPU-Based Image Processing Use Cases: A High-Level Approach. In: Proceedings of ParCo2011, - (ed.), Proceedings of International Conference on Parallel Computing 2011, Advances in Parallel Computing , pp. -. September 2011. IOS Press, 0. [url] [pdf] [bib]
• Wolfgang Schreiner. Software. In: Nonlinear Resonance Analysis - Theory, Computation, Applications, Elena Kartashova (ed.), pp. 185-208. 2011. Cambridge University Press, Cambridge, UK, ISBN 978-0-521-76360-8. Appendix. [bib]

All Years >>