Simple verification technique for complex Java bytecode subroutines
- 作者Alessandro Coglio
- 卷第16卷
- 期第7期
- 印刷ISSN1532-0626
- 电子ISSN1532-0634
- 文件大小276.73KB
- 发表时间2004
- DOI10.1002/cpe.798
- 页码647-670
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems (Obadiat/Performance Evaluation of Systems) || FrontmatterObaidat, Mohammad S.; Boudriga, Noureddine A. · 2010
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems (Obadiat/Performance Evaluation of Systems) || IndexObaidat, Mohammad S.; Boudriga, Noureddine A. · 2010
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems (Obadiat/Performance Evaluation of Systems) || Queueing NetworksObaidat, Mohammad S.; Boudriga, Noureddine A. · 2010
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems (Obadiat/Performance Evaluation of Systems) || Measurement/Testing TechniqueObaidat, Mohammad S.; Boudriga, Noureddine A. · 2010
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems (Obadiat/Performance Evaluation of Systems) || Probability Theory ReviewObaidat, Mohammad S.; Boudriga, Noureddine A. · 2010
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems (Obadiat/Performance Evaluation of Systems) || Analysis of Simulation ResultsObaidat, Mohammad S.; Boudriga, Noureddine A. · 2010
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems (Obadiat/Performance Evaluation of Systems) || Basics of Queueing TheoryObaidat, Mohammad S.; Boudriga, Noureddine A. · 2010
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems (Obadiat/Performance Evaluation of Systems) || Benchmarking and Capacity PlanningObaidat, Mohammad S.; Boudriga, Noureddine A. · 2010