سیستم‌های بحرانی-ایمن نظیر سیستم کنترل پرواز هواپیما و یا سیستم کنترل قطارهای سریع‌السیر، سیستم‌هایی هستند که رخداد خرابی در آنها می‌تواند منجر به فاجعه جانی، مالی یا زیست‌محیطی شود. لذا جلوگیری از رخداد هرگونه خرابی در ...

To tolerate software faults, N-Version Programming (NVP) and N-Modular Redundant (NMR) techniques are widely employed. In these techniques, N modules operate on the same data and send their outputs to a software voter. ...

Advancements of CMOS technology lead to reduction of the transistor size and operating voltage levels that cause transistors to become more sensitive to cosmic rays. Therefore CMOS devices like memory (i.e., RAMs) are more ...

Today, both the rapid improvement of process technology and the arrival of new embedded systems with high-performance requirements, have led to making the current trend in processors manufacturing shift from single-core ...

Delta debugging یک روش تقسیم و حل است که عمل debugging متداول را توسط کمینهکردن ورودی، ساده میسازد. بنابراین debugging بر روی کدی سادهتر، اعمال میشود. در واقع Delta debugging روش علمی اشکال زدایی را خودکار می کند. ایده ...

گونه‌های گل جالیز (Orobanche spp)، انگل مطلق ریشه، گل دهنده و عاری از کلروفیل هستند، که با اتصال به ریشه میزبان، خسارت جبران ناپذیری به گیاه وارد می کنند. در این بین، گل جالیز مصری (P. aegyptiaca) یکی از مهمترین گونه‌های ...