Cabezas, VictoriaDöring, AndreasIneichen, Hanspeter2017-12-062017-12-062011https://dl.gi.de/handle/20.500.12116/8592Victoria Caparr´ os Cabezas1 , Andreas C. D¨ oring1 , Hanspeter Ineichen2enVirtual ChannelSynchronization MechanismChannel ManagerHardware ModelRemote Direct Memory AccessSynchronization Mechanism of Hardware and High-level Models for Performance VerificationText/Journal Article10.1007/BF033419830177-0454