[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Infinite Games and Verification
- 作者Brinksma, Ed; Larsen, Kim Guldstrand
- 文件大小120.63KB
- 发表时间2002
- DOI10.1007/3-540-45657-0_5
- 页码58-65
[Lecture Notes in Computer Science] High Performance Computing — HiPC 2000 Volume 1970 ||Valero, Mateo; Prasanna, Viktor K.; Vajapeyam, Sriram · 2000
[Lecture Notes in Computer Science] High Performance Computing — HiPC 2000 Volume 1970 || Instruction Level Distributed ProcessingValero, Mateo; Prasanna, Viktor K.; Vajapeyam, Sriram · 2000
[Lecture Notes in Computer Science] High Performance Computing — HiPC 2000 Volume 1970 || Applying Patterns to Improve the Performance of Fault Tolerant CORBAValero, Mateo; Prasanna, Viktor K.; Vajapeyam, Sriram · 2000
[Lecture Notes in Computer Science] High Performance Computing — HiPC 2000 Volume 1970 || A Weight Based Distributed Clustering Algorithm for Mobile ad hoc NetworksValero, Mateo; Prasanna, Viktor K.; Vajapeyam, Sriram · 2000
[Lecture Notes in Computer Science] High Performance Computing — HiPC 2000 Volume 1970 || Design, Implementation and Performance Evaluation of a High Performance CORBA Group Membership ProtocolValero, Mateo; Prasanna, Viktor K.; Vajapeyam, Sriram · 2000
[Lecture Notes in Computer Science] High Performance Computing — HiPC 2000 Volume 1970 || Parallel Sorting Algorithms with Sampling Techniques on Clusters with Processors Running at Different SpeedsValero, Mateo; Prasanna, Viktor K.; Vajapeyam, Sriram · 2000