Program Analysis Techniques for Identifying Concurrency Errors Год выпуска: 2014Автор: Qichang ChenИздательство: Страниц: 164ISBN: 9783659625329Описание Today, multi-core/multi-processor hardware has become ubiquitous, which puts us at a fundamental turning point on software development. However, developing concurrent programs is difficult. Concurrency introduces the possibility of errors that do not exist in sequential programs. This book covers the state-of-the-art research achievements on detecting concurrency errors such as deadlock, race condition, and atomicity violation and also presents several aggressive performance optimization techniques for hybrid program analysis.
Похожие книги
Thomas Brenner. Computational Techniques for Modelling Learning in Economics (Advances in Computational Economics, V. 11). – М.: , 0. – 0 с. Martha Haywood. Managing Virtual Teams: Practical Techniques for High-Technology Project Managers (Artech House Professional Development Library). – М.: , 0. – 0 с. Marilyn Manning, Carolyn Professional Excellence for Secretaries Barnes. Professionalism in the Office: Proven Techniques for Administrators, Secretaries, and Coordinators (Crisp 50-Minute Book). – М.: , 0. – 0 с. I Epstein. Research Techniques for Program Planning Monitoring & Evaluation (Cloth. – М.: , 1977. – 178 с. C. Tellambura. Mathematical Techniques for Wireless Communication Systems Design and Analysis. – М.: , 1976. – 572 с. C. Tellambura. Mathematical Techniques for Wireless Communication Systems Design and Analysis. – М.: , 1971. – 0 с. Joe Armstrong. Programming Erlang – Software for a Concurrent World. – М.: , 2007. – 536 с. CF LAM. Lam ?techniques? For The Analysis And Modelling Of Enzyme Kinetic Mechanisms. – М.: , 1981. – 412 с. Jawad Ahmed Malik,Yasir Javed Qazi and Safwan Muhammad. Performance Evaluation Of Error Correcting Techniques For OFDM Systems. – М.: LAP Lambert Academic Publishing, 2014. – 80 с. Asim Mukhtar. Voltage Control Signal Techniques for Single Phase Inverter. – М.: LAP Lambert Academic Publishing, 2012. – 128 с. Syed Tafazzul Mahmood. Use of Vibrations Analysis Technique for Condition-based Maintenance. – М.: LAP Lambert Academic Publishing, 2012. – 72 с. Khalid S. Al-Gahtani. Construction Delay Analysis Techniques. – М.: LAP Lambert Academic Publishing, 2010. – 324 с. Bimal Kumar Datta and Dr. Mohammad Babul Hasan. Techniques for solving programming problems. – М.: LAP Lambert Academic Publishing, 2010. – 84 с. Vaithianathan Geetha and Niladuri Sreenath. Concurrency Control Techniques for Object Oriented Distributed Systems. – М.: Scholars' Press, 2013. – 192 с. Ramyachitra Duraisamy and Manikandan Pandurangan. Data Mining Techniques for Protein Sequence Analysis. – М.: LAP Lambert Academic Publishing, 2014. – 88 с. R. S. Patel. Statistical Techniques for Data Analysis. – М.: LAP Lambert Academic Publishing, 2012. – 632 с. Qichang Chen. Program Analysis Techniques for Identifying Concurrency Errors. – М.: , 2014. – 164 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Ольга Я получила свою работу, пока еще не читала, но пробежалась глазами. Спасибо Вам большое! По-моему отлично, ну а как преподавателю, не знаю? Если что, напишу. Еще раз спасибо.
