ETH Zürich gewinnt Microsoft-Auszeichnung
28. August 2008
Die externe Forschungsabteilung von Microsoft hat ein Projekt der ETH Zürich ausgezeichnet. Insgesamt 7 von weltweit 100 Mehrkern-Forschungsprojekten erhalten zusammen 1,5 Mio. Dollar von Microsoft External Research. Dies ist Teil einer Microsoft-Initiative für einfache und skalierbare Mehrkern-Berechnungen.
Dem Projekt "The Reliable and Efficient Concurrent Object-Oriented Programs (RECOOP)" von Bertrand Meyer (Bild, Vorsteher der Abteilung Software Engineering) an der ETH Zürich wird als einziges Projekt ausserhalb der USA die Auszeichnung zuteil. Weitere Unis sind unter anderem in Yale, Virgina und Washington.
Das ETH-Projekt geht vom simplen objektorientierten Programmier-Modell der heutigen Berechnung aus und hat das Ziel, die formalen Semantiken und Beweismechanismen weiterzuentwickeln und Programmierern zu ermöglichen, die konkurrierenden Programme theoretisch zu begründen und umständliche Eigenschaften zu beweisen. (mro)
Dem Projekt "The Reliable and Efficient Concurrent Object-Oriented Programs (RECOOP)" von Bertrand Meyer (Bild, Vorsteher der Abteilung Software Engineering) an der ETH Zürich wird als einziges Projekt ausserhalb der USA die Auszeichnung zuteil. Weitere Unis sind unter anderem in Yale, Virgina und Washington.
Das ETH-Projekt geht vom simplen objektorientierten Programmier-Modell der heutigen Berechnung aus und hat das Ziel, die formalen Semantiken und Beweismechanismen weiterzuentwickeln und Programmierern zu ermöglichen, die konkurrierenden Programme theoretisch zu begründen und umständliche Eigenschaften zu beweisen. (mro)
Artikel kommentieren
