نتایج جستجو برای: two verified examples
تعداد نتایج: 2623296 فیلتر نتایج به سال:
Relational program logics are formalisms for specifying and verifying properties about two programs or two runs of the same program. These properties range from correctness of compiler optimizations or equivalence between two implementations of an abstract data type, to properties like non-interference or determinism. Yet the current technology for relational verification remains underdeveloped...
Two-dimensional (2-D) effects are becoming increasingly important in the diffusion of impurities in submicrometer silicon devices. Existing process simulators cannot accurately model some of these effects. We describe a 2-D process simulator PREDICT2 that handles implant damage effects, annealing, and lateral diffusion. PREDICT2 simulates the diffusion of impurities in silicon by using phenomen...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید