نتایج جستجو برای: mixed state

تعداد نتایج: 1060928  

2006
Marcelo d'Amorim Ahmed Sobeih Darko Marinov

Java PathFinder (JPF) is an explicit-state model checker for Java programs. It explores all executions that a given program can have due to different thread interleavings and nondeterministic choices. JPF implements a backtracking Java Virtual Machine (JVM) that executes Java bytecodes using a special representation of JVM states. This special representation enables JPF to quickly store, restor...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم انسانی 1391

the present study aimed at investigating how different news agencies using the concept of legitimation/delegitimation represent the same event differently. to this end, van leeuwens (2008) legitimatory/delegitimatory framework was applied to the data gleaned from the iranian state-run news agency fars news, british state-run news agency bbc, and also american state-run news agency voa. the resu...

Journal: :IEEE Transactions on Intelligent Transportation Systems 2016

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید