This site uses cookies to deliver our services and to ensure you get the best experience. By continuing to use this site, you consent to our use of cookies and acknowledge that you have read and understand our Privacy Policy, Cookie Policy, and Terms
Contents Home Page Go Back Close Quit Using ITL and Tempura for Large Scale Specification and Simulation A. Cau, H. Zedan, N. Coleman and B. Moszkowski
Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. M...
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...