Projekt

Zurück zur Übersicht

Coordinating parallel computations

Gesuchsteller/in Lederer Edgar
Nummer 53690
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.01.1999 - 30.06.2000
Bewilligter Betrag 59'251.00
Alle Daten anzeigen

Keywords (8)

PROGRAM CORRECTNESS, RUN-TIME CHECKING, PROGRAM RESULT CHECKING, PROGRAM VERIFICATION, FUNCTIONAL/IMPERATIVE, PARALLEL/DISTRIBUTED, SCIENTIFIC COMPUTING, COORDINATION LANGUAGES

Verantw. Gesuchsteller/in und weitere Gesuchstellende

Mitarbeitende

Verbundene Projekte

Nummer Titel Start Förderungsinstrument
46932 Coordinating Parallel Computations 01.10.1996 Projektförderung (Abt. I-III)