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)

-