Author:
Lima Antonio M.,Netto Marco A.S.,Webber Thais,Czekster Ricardo M.,De Rose Cesar A.F.,Fernandes Paulo
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference42 articles.
1. Performance models for master/slave parallel programs;Baldo;Electronic Notes in Theoretical Computer Science (ENTCS),2005
2. Distributed disk-based algorithms for model checking very large Markov chains;Bell;Formal Methods in System Design,2006
3. On the benefits of using functional transitions and Kronecker algebra;Benoit;Performance Evaluation,2004
4. Formal Methods for Performance Evaluation, SFM 2007, Advanced Lectures,2007
5. Load balancing and OpenMP implementation of nested parallelism;Blikberg;Parallel Computing,2005
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献