Auflistung nach Autor "Veldema, Ronald"
Anzeige der Dokumente 1-4 von 4
-
Is There Hope for Automatic Parallelization of Legacy Industry Automation Applications?
Kempf, Stefan; Veldema, Ronald; Philippsen, Michael
80-89 -
Reduktion von False-Sharing in Software-Transactional-Memory
Kempf, Stefan; Veldema, Ronald; Philippsen, Michael
70-79 -
Reduktion von False-Sharing in Software-Transactional-Memory
Kempf, Stefan; Veldema, Ronald; Philippsen, Michael
-
Tapir: Language support to reduce the state space in model-checking
Veldema, Ronald; Philippsen, Michael
364-364