Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference50 articles.
1. Runtime thermal management using software agents for multi-and many-core architectures;Al Faruque;IEEE Des. Test Comput.,2010
2. Automatic symbolic verification of embedded systems;Alur;IEEE Trans. Softw. Eng.,1996
3. Principles of Model Checking;Baier,2008
4. Thousand core chips: A technology perspective;Borkar,2007
5. Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church’s Type Theory;Brown,2007
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献