√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

簡(jiǎn)體版 繁體版
Login Sign Up

slicing criterion in Chinese

Pronunciation:
How to pronounce "slicing criterion""slicing criterion" in a sentence

Translationmobile phoneMobile

  • 分片判據(jù)

Examples

  • When slicing criterion is extracted from the property to be verified according some rules , the sliced eha and the original one are equivalent to the property
    當(dāng)按一定規(guī)則從被驗(yàn)證的性質(zhì)中提取切片準(zhǔn)則時(shí),該算法能保證切片后的eha與原模型對(duì)性質(zhì)具有相同的滿足性。
  • We define a set of dependence relations through analyzing the characteristics such as hierarchy , concurrent and synchronization in eha . the algorithm of slicing eha from the slicing criterion composed of states and transitions is presented
    本文通過(guò)分析eha中存在的層次、并發(fā)和同步等特征定義了一組依賴關(guān)系,對(duì)于由狀態(tài)和遷移組成的切片準(zhǔn)則,提出對(duì)eha進(jìn)行切片的算法。
  • Program slicing is an important technique to analyze and understand programs . a program slice s is composed of a set of statements in program p which can influence the value of a variables named v at a special program point n , in which ( n , v ) is named as slicing criterion
    程序分片是一種重要的程序分析理解方法,用于從源程序中抽取對(duì)程序中特定點(diǎn)上的特定變量有影響的語(yǔ)句和控制條件,組成新的程序(稱作分片) ,然后通過(guò)分析分片來(lái)分析源程序的行為。
What is the meaning of slicing criterion in Chinese and how to say slicing criterion in Chinese? slicing criterion Chinese meaning, slicing criterion的中文,slicing criterion的中文,slicing criterion的中文,translation, pronunciation, synonyms and example sentences are provided by ichacha.net.