Author:
Trefler Richard,Wahl Thomas
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Asanovic, K., et al.: The landscape of parallel computing research: A view from Berkeley. Technical Report UCB/EECS-2006-183, EECS Department, University of California, Berkeley (2006)
2. Lecture Notes in Computer Science;T. Wahl,2008
3. Candea, G., Cutler, J., Fox, A.: Improving availability with recursive microreboots: a soft-state system case study. Performance Evaluation (2004)
4. Chen, X., German, S., Gopalakrishnan, G.: Transaction based modeling and verification of hardware protocols. In: Formal Methods in Computer-Aided Design (FMCAD) (2007)
5. Clarke, E., Enders, R., Filkorn, T., Jha, S.: Exploiting symmetry in temporal logic model checking. In: Formal Methods in System Design (FMSD) (1996)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献