Distributed FSM Modeling and Verification Using Maude

MemGuard: Memory Bandwidth ReservationSystem for Efficient Performance Isolation inMulti-core Platforms Apr 9, 2012. Heechul Yun+, Gang Yao+, Rodolfo Pellizzoni*, Marco Caccamo+, LuiSha+ +University of Illinois at Urbana-Champaign*University of Waterloo

Author:
Uploaded by: Murkka Svensdottir
Filesize: 1 MB