Heinz Kredel

According to our database, Heinz Kredel authored at least 48 papers between 1984 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Common Divisors of Solvable Polynomials in JAS.

Heinz Kredel

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

Parametric Solvable Polynomial Rings and Applications.

Heinz Kredel

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

A Hierarchical Model for the Analysis of Efficiency and Speed-Up of Multi-core Cluster-Computers.

Heinz Kredel, Hans-Günther Kruse, Sabine Richling

Proceedings of the 10th International Conference on P2P, 2015

2014

Ein Konzept für die Leistungsanalyse von Multi-core Cluster-Computern.

Heinz Kredel, Hans-Günther Kruse, Sabine Richling

Prax. Inf.verarb. Kommun., 2014

Generic and Parallel Groebner Bases in JAS - (Extended Abstract).

Heinz Kredel

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

Performance analysis and prediction for distributed homogeneous clusters.

Heinz Kredel, Hans-Günther Kruse, Sabine Richling, Erich Strohmaier

Comput. Sci. Res. Dev., 2013

A Simple Concept for the Performance Analysis of Cluster-Computing.

Heinz Kredel, Sabine Richling, Jan Philipp Kruse, Erich Strohmaier, Hans-Günther Kruse

Proceedings of the Supercomputing - 28th International Supercomputing Conference, 2013

Distributed Gröbner Bases Computation with MPJ.

Heinz Kredel

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012

Einige Überlegungen zur Leistung von Cluster-Computern.

Heinz Kredel, Hans-Günther Kruse, Sabine Richling

Prax. Inf.verarb. Kommun., 2012

Fostering Interoperability in Java-Based Computer Algebra Software.

Heinz Kredel

Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops, 2012

2011

Lastverhalten und Systemkonfiguration von Web-Applikationsservern.

Heinz Kredel, Hans-Günther Kruse, Ingo Ott

Prax. Inf.verarb. Kommun., 2011

Operating two InfiniBand grid clusters over 28 km distance.

Sabine Richling, Steffen Hau, Heinz Kredel, Hans-Günther Kruse

Int. J. Grid Util. Comput., 2011

A long-distance InfiniBand interconnection between two clusters in production use.

Sabine Richling, Heinz Kredel, Steffen Hau, Hans-Günther Kruse

Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Algebraic Structures as Typed Objects.

Heinz Kredel, Raphael Jolly

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

Performance Analysis and Performance Modeling of Web-Applications.

Heinz Kredel, Hans-Günther Kruse, Ingo Ott

Proceedings of the 2011 International Conference on P2P, 2011

2010

Zur Leistung von verteilten, homogenen Clustern.

Heinz Kredel, Hans-Günther Kruse, Sabine Richling

Prax. Inf.verarb. Kommun., 2010

Parallel and distributed Gröbner bases computation in JAS

Heinz Kredel

CoRR, 2010

Distributed Hybrid Grobner Bases Computation.

Heinz Kredel

Proceedings of the CISIS 2010, 2010

Generic, Type-Safe and Object Oriented Computer Algebra Software.

Heinz Kredel, Raphael Jolly

Proceedings of the Computer Algebra in Scientific Computing - 12th International Workshop, 2010

2009

Symbolic Script Programming for Java

Raphael Jolly, Heinz Kredel

CoRR, 2009

Distributed Parallel Groebner Bases Computation.

Heinz Kredel

Proceedings of the 2009 International Conference on Complex, 2009

Comprehensive Gröbner Bases in a Java Computer Algebra System.

Heinz Kredel

Proceedings of the Computer Mathematics, 2009

2008

On a Java computer algebra system, its performance and applications.

Heinz Kredel

Sci. Comput. Program., 2008

How to turn a scripting language into a domain specific language for computer algebra

Raphael Jolly, Heinz Kredel

CoRR, 2008

Unique Factorization Domains in the Java Computer Algebra System.

Heinz Kredel

Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

2007

Evaluation of a Java Computer Algebra System.

Heinz Kredel

Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007

2006

On the design of a Java computer algebra system.

Heinz Kredel

Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006

2005

Integrated Performance Analysis of Computer Systems (IPACS). Benchmarks for Distributed Computer Systems.

Giovanni Falcone, Heinz Kredel, Michael Krietemeyer, Dirk Merten, Matthias Merz, Franz-Josef Pfreundt, Christian Simmendinger, Daniel Versick

Prax. Inf.verarb. Kommun., 2005

A Systems Perspective on A3L.

Heinz Kredel

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

The design of the IPACS distributed software architecture.

Heinz Kredel, Matthias Merz

Proceedings of the Intenational Symposium on Information and Communication Technologies, 2004

2002

Reduction of Permutation-Invariant Polynomials - A Noncommutative Case Study.

Manfred Göbel, Heinz Kredel

Inf. Comput., 2002

Thread- und Netzwerk-Programmierung mit Java - Praktikum für die Parallele Programmierung (2. Aufl.).

Heinz Kredel, Akitoshi Yoshida

dpunkt.verlag, ISBN: 978-3-89864-133-3, 2002

2000

PC-Cluster in Deutschland. Einblicke und Ausblicke.

Heinz Kredel

Prax. Inf.verarb. Kommun., 2000

1999

Thread- und Netzwerk-Programmierung mit Java - Praktikum für die parallele Programmierung.

Heinz Kredel, Akitoshi Yoshida

dpunkt, ISBN: 978-3-932588-28-0, 1999

1998

Paralleles Programmieren mit Java.

Heinz Kredel, Akitoshi Yoshida

HMD Prax. Wirtsch., 1998

1997

WWW Development and Activities at the University of Mannheim.

Akitoshi Yoshida, Heinz Kredel, Hans Werner Meuer

Prax. Inf.verarb. Kommun., 1997

MAS, the Modula-2 algebra system, version 1.00.

Heinz Kredel, Michael Pesch

SIGSAM Bull., 1997

1993

Gröbner bases - a computational approach to commutative algebra.

Thomas Becker, Volker Weispfenning, Heinz Kredel

Graduate texts in mathematics 141, Springer, ISBN: 978-3-540-97971-5, 1993

1991

The MAS Specification Component.

Heinz Kredel

Proceedings of the Programming Language Implementation and Logic Programming, 1991

1990

Mas Modula-2 Algebra System.

Heinz Kredel

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1988

Computing Dimension and Independent Sets for Polynomial Ideals.

Heinz Kredel, Volker Weispfenning

J. Symb. Comput., 1988

Admissible term orderings used in computer algebra systems.

Heinz Kredel

SIGSAM Bull., 1988

Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2.

Heinz Kredel

Proceedings of the Symbolic and Algebraic Computation, 1988

1987

Primary ideal decomposition.

Heinz Kredel

Proceedings of the EUROCAL '87, 1987

1986

Some Examples for Solving Systems of Algebraic Equations by Calculating Groebner Bases.

W. Böge, Rüdiger Gebauer, Heinz Kredel

J. Symb. Comput., 1986

Constructing Universal Unfoldings Using Gröbner Bases.

Dieter Armbruster, Heinz Kredel

J. Symb. Comput., 1986

1985

Gröbner Bases Using SAC-2.

W. Böge, Rüdiger Gebauer, Heinz Kredel

Proceedings of the EUROCAL '85, 1985

1984

Note on "solution of a general system of equations".

Rüdiger Gebauer, Heinz Kredel

SIGSAM Bull., 1984