W. Luther, A. Cuyt, W. Krämer, and P. Markstein. Numerical Validation in Current Hardware Architectures, volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)
J. Herbsleb, and W. Tichy. Empirical Theory and the Science of Software Engineering, volume 04051 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2004)