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) ([email protected]), Jiri Srba ([email protected]) and Kim G. Larsen ([email protected]).
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) ([email protected]), Jiri Srba ([email protected]) and Kim G. Larsen ([email protected]).
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.