RISC

JKU

RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports in research area 'Parallel/Distributed Computing'		Publications in research area 'Parallel/Distributed Computing'		Talks in research area 'Parallel/Distributed Computing'

Technical Reports of research area 'Parallel/Distributed Computing'

2014

Muhammad Taimoor Khan. On the Soundness of the Translation of MiniMaple to Why3ML. Technical report no. 14-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). February 2014. [pdf] [bib]
Muhammad Taimoor Khan. Formal Specification and Verification of Computer Algebra Software. Technical report no. 14-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). PhD Thesis, April 2014. [pdf] [bib]

2013

Muhammad Taimoor Khan. On the Formal Verification of Maple Programs. Technical report no. 13-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). June 2013. [pdf] [bib]
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]
Wolfgang Schreiner, Nikolaj Popov, Tamas Berczes, Janos Sztrik, Gabor Kusper. Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular Networks with Spectrum Renting. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, July 2013. [pdf] [bib]
Wolfgang Schreiner and Tamas Berczes and Janos Sztrik. Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September 2013. [pdf] [bib]

2010

Karoly Bosa, Wolfgang Schreiner, Friedrich Priewasser. Report on the First Feature-Complete Prototype of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2010_1, March 2010. Austrian Grid Deliverable. [pdf] [bib]

2009

Karoly Bosa, Wolfgang Schreiner. A Prototype Implementation of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2009_1, March 2009. Austrian Grid Deliverable. [pdf] [bib]
Karoly Bosa, Wolfgang Schreiner. A Supercomputing API for the Grid. Austrian Grid. Technical report, August 2009. Extended Abstract for the 3rd Austrian Grid Symposium, September 28-29, 2009. [pdf] [bib]
Karoly Bosa, Wolfgang Schreiner. Report on the Second Prototype of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-2-2009_1, September 2009. Austrian Grid Deliverable. [pdf] [bib]
Demis Ballis and Temur Kutsia. WWV'09 - Automated Specification and Verification of Web Systems. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report no. 09-10, July 2009. 5th Int'l Workshop on Automated Specification and Verification of Web Systems, Castle of Hagenberg, Austria July 17, 2009. [pdf] [pdf] [bib]
Jens Volkert, Wolfgang Schreiner, Thomas Fahringer. 3. Austrian Grid Symposium. Submitted to the RISC Report Series. September 2009. Extended abstracts of the 3. Austrian Grid Symposium, September 28-29, 2009, Johannes Kepler University, Linz, Austria. [pdf] [bib]

2008

Karoly Bosa, Wolfgang Schreiner. Report on Experiments with Globus 4 and gLite. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2007-1, January 2008. Extended Version. Austrian Grid Deliverable. [pdf] [bib]
Karoly Bosa, Wolfgang Schreiner. Report on the State of the Art Survey. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2008_2, March 2008. Extended Version. Austrian Grid Deliverable. [pdf] [bib]
Karoly Bosa, Wolfgang Schreiner. Initial Design of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-2-2008_1, September 2008. Austrian Grid Deliverable. [pdf] [bib]
Imre Zoltan Matko. Grid-aware Database Support for Medical Software. Technical report no. 8-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2008. [pdf] [bib]
Kenji Miyamoto. Parallel Algorithms for Sparse Matrices in an Industrial Optimization Software. Technical report no. 8-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2008. [pdf] [bib]
Johannes Watzl. Investigations on Improving the SEE-GRID Optimization Algorithm. Technical report no. 08-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, June 2008. [pdf] [bib]

2007

Andreas Duscher. A Pattern-based Interaction Language for Mathematical Services. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, Linz, Austria, December 2007. [pdf] [bib]
Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik. Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analyzing Retrial Queueing Systems. Technical report no. 07-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). December 2007. Project Report. [pdf] [bib]

2006

Rebhi Baraka, Wolfgang Schreiner. Semantic Querying of Mathematical Web Service Descriptions. Submitted to the RISC Report Series. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 2006. [ps] [pdf] [bib]
Rebhi Baraka. A Framework for Publishing and Discovering Mathematical Web Services. Technical report no. 06-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). August 2006. PhD Thesis. [pdf] [bib]
Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. The Software Architecture of a Grid-Enabled Data Management System for SEE-GRID. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-DA-1c-1-2006, March 2006. Austrian Grid Deliverable. [doc] [bib]
Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. A Report on the First Prototype of a Grid-Enabled Data Management System for See-Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-DA-1c-4-2006, July 2006. Austrian Grid Deliverable. [doc] [bib]
Andreas Duscher. An Execution Environment for Mathematical for Services based on WSRF and WS-BPEL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March 2006. [pdf] [bib]
Andreas Duscher. Interaction Patterns of Mathematical Services. Research Institute for Symbolic Computation (RISC), Johannes Kepler Univeristy, Linz, Austria. Technical report, December 2006. [pdf] [bib]
Johannes Watzl. Investigations on Improving the SEE-GRID Optimization Algorithm by Parallelization. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-DA-1c-3-2006, July 2006. Austrian Grid Deliverable. [pdf] [bib]

2005

Rebhi Baraka, Wolfgang Schreiner. Querying Registry-Published Mathematical Web Services. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, September 2005. [pdf] [bib]
Rebhi Baraka. Mathematical Services Query Language: Design, Formalization, and Implementation. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, September 2005. [ps] [pdf] [bib]
Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. The Initial Version of SEE-GRID. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, Linz, Austria, Austrian Grid Deliverable AG-DA1c-1-2005_v1, March 2005. [pdf] [bib]
Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. A Prototype of the SEE-GRID Pathology Fitter. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, Austrian Grid Deliverable AG-DA1c-3-2005_v1.doc, July 2005. [pdf] [bib]
Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. A REFINED DESIGN OF THE SEE-GRID DATABASE AND PATHOLOGY FITTER. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, Austrian Grid Deliverable AG-DA1c-5-2005_v1.doc, November 2005. [pdf] [bib]
Andreas Duscher. An Execution Environment for Mathematical Services based on WSRF and WS-BPEL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 2005. [pdf] [bib]

2004

Karoly Bosa, Wolfgang Schreiner, Rebhi Baraka, Michael Buchberger, Thomas Kaltofen, Daniel Mitterdorfer. SEE-GRID Design Overview. Research Institute for Symbolic Computation (RISC). Technical report no. A1c-1, Johannes Kepler University, Linz, Austria, Austrian Grid Deliverable, November 2004. Austrian Grid Deliverable. [pdf] [bib]

2002

Károly Bósa, Wolfgang Schreiner. Task Logging, Rescheduling and Peer Checking in Distributed Maple. RISC-Linz, Johannes Kepler University, Linz, Austria. Technical report no. 02-10, March 2002. [ps] [bib]

1998

B. Buchberger, T. Ida, W. Schreiner. Knowledge Web: A Design and Feasibilty Study. Institute of Information Sciences and Electronics, University of Tsukuba. Technical report, 1998. ISE-TR-98-151. [bib]