Projekt

Zurück zur Übersicht

Coordinating Parallel Computations

Gesuchsteller/in Lederer Edgar
Nummer 46932
Förderungsinstrument Projektförderung (Abt. I-III)
Forschungseinrichtung Fachbereich Informatik Departement Mathematik und Informatik Universität Basel
Hochschule Universität Basel - BS
Hauptdisziplin Informatik
Beginn/Ende 01.10.1996 - 31.12.1998
Bewilligter Betrag 68'075.00
Alle Daten anzeigen

Keywords (7)

COORDINATION LANGUAGE, MATIRIX COMPUTATIONS, SPECIFICATION LANGUAGE, HIGH PERFORM. COMPUTING, CORRECTNESS, SOFTWARE COMPONENTS, FORMAL MEHTODS

Verantw. Gesuchsteller/in und weitere Gesuchstellende

Mitarbeitende

Verbundene Projekte

Nummer Titel Start Förderungsinstrument
53690 Coordinating parallel computations 01.01.1999 Projektförderung (Abt. I-III)