Order By: Newest |Rating |View Count

CSRU 1100: Sequence
58 Slide(s), 182 Views, Added 13 years ago
Classified as :
Computer Engineering » Symbolic and Algebraic Manipulation » Algorithms
Intelligent Workload Factoring for A Hybrid Cloud Computing Model
By Zhang, Hui - Jiang, Guofei - Chen, Haifeng - Yoshihira, Kenji - Saxena, Akhilesh
19 Slide(s), 396 Views, Added 13 years ago, in English
Classified as :
Automated Verification of Concurrent Linked Lists with Counters
By Yavuz-Kahveci, Tuba - Bultan, Tevfik
68 Slide(s), 224 Views, Added 13 years ago, in English
Classified as :
Computer Engineering » Symbolic and Algebraic Manipulation » Algorithms