Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيدThe book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...
اقرأ المزيدPractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيدThis book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
اقرأ المزيدAdaptive Multi-Standard RF Front-Ends investigates solutions, benefits, limitations and costs related to multi-standard operation ...
اقرأ المزيدThis volume collects the papers accepted for presentation at the Ninth International Conference on “Advanced Concepts for ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 8th International Conference on Advanced Concepts for Intelligent Vision ...
اقرأ المزيدThis volume comprises the proceedings of the 4th Conference on Advanced En-cryption Standard, ‘AES — State of the Crypto ...
اقرأ المزيدAPPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
اقرأ المزيدAPPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
اقرأ المزيدAPPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First Eurasian BIM Forum, EBF 2019, held in Istanbul, Turkey, in May ...
اقرأ المزيدThis book Covering hardware and software techniques for state-of-the-art multicore and multithreaded architectures.
اقرأ المزيدThis book Covering hardware and software techniques for state-of-the-art multicore and multithreaded architectures.
اقرأ المزيدThis book constitutes the proceedings of the 25th European Conference on Advances in Databases and Information Systems, ADBIS ...
اقرأ المزيدThe book is a comprehensive elaboration on important topics which capture major research and development efforts today. The ...
اقرأ المزيدEvolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book includes ...
اقرأ المزيدThe aim of the symposium was to promote and disseminate ongoing research on multi- dia hardware and image sensor technologies, ...
اقرأ المزيدThe aim of the symposium was to promote and disseminate ongoing research on multi- dia hardware and image sensor technologies, ...
اقرأ المزيدThis volume contains a subset of the papers presented at the 10th Panhellenic Conference in Informatics (PCI 2005), which ...
اقرأ المزيد