Udstyrsdetaljer
Beskrivelse
The DEIS-MCC is a research compute-cluster specifically targeted model based methods.
The clusters primary use is experimental validation of theoretical results within model-checking, validation, synthesis, learning and optimization.
The cluster is constructed primarily with general-purpose, distributed and parallel, memory-intensive computations in mind.
The cluster is configured specifically for experimental repeatability and stability.
Contacts: Peter G. Jensen (primary) (pgj@cs.aau.dk), Jiri Srba (srba@cs.aau.dk) and Kim G. Larsen (kgl@cs.aau.dk).
The clusters primary use is experimental validation of theoretical results within model-checking, validation, synthesis, learning and optimization.
The cluster is constructed primarily with general-purpose, distributed and parallel, memory-intensive computations in mind.
The cluster is configured specifically for experimental repeatability and stability.
Contacts: Peter G. Jensen (primary) (pgj@cs.aau.dk), Jiri Srba (srba@cs.aau.dk) and Kim G. Larsen (kgl@cs.aau.dk).
Fingerprint
Udforsk forskningsområderne, hvor dette udstyr er blevet brugt. Disse etiketter er oprettet på baggrund af de relaterede publikationer. Sammen danner de et unikt fingerprint.