Die produktunabhängige Berechnungssoftware PAScal dient der Verifikation funktionaler Sicherheit (EN/IEC 62061, EN ISO 13849-1). Basis für die Berechnung sind dabei…
SGI mit dem Intel Xeon Prozessor E5-2600 v2 macht neue wissenschaftliche Projekte und Entdeckungen in der NASA, ICHEC, T-Systems und…