Keywords: تجزیه و تحلیل جریان داده ها; Data streams; Data flow analysis; Network analyzers; Network identification; Data compression; Data Transmission; System security; Human-machine interfac;
مقالات ISI تجزیه و تحلیل جریان داده ها (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تجزیه و تحلیل جریان داده ها; Early detection; Data flow analysis; Secure programming
BinGold: Towards robust binary analysis by extracting the semantics of binary code as semantic flow graphs (SFGs)
Keywords: تجزیه و تحلیل جریان داده ها; Binary Analysis; Reverse engineering; Semantic features; Assembly instructions; Semantic flow graph; Binary relation; Data flow analysis;
MEDIC: A static analysis framework for equivalent mutant identification
Keywords: تجزیه و تحلیل جریان داده ها; Mutation testing; Equivalent mutant detection; Stubborn mutant detection; Static analysis; Data flow analysis
Static program analysis assisted dynamic taint tracking for software vulnerability discovery
Keywords: تجزیه و تحلیل جریان داده ها; Taint analysis; Software vulnerability; Code coverage; Data flow analysis
A model-extraction approach to verifying concurrent C programs with CADP
Keywords: تجزیه و تحلیل جریان داده ها; Software model checking; Data flow analysis; Labeled transition system; Boolean equation system; CADP verification toolbox
Static Analysis of IMC
Keywords: تجزیه و تحلیل جریان داده ها; Process algebras; Data Flow Analysis; Pathway Analysis; IMC;
Using postdomination to reduce space requirements of data flow analysis
Keywords: تجزیه و تحلیل جریان داده ها; Algorithms; Data flow analysis; Proof system;
Bidirectional liveness analysis, or how less than half of the Alpha’s registers are used
Keywords: تجزیه و تحلیل جریان داده ها; Liveness analysis; Link-time; Data flow analysis; Registers
Average case analysis of DJ graphs
Keywords: تجزیه و تحلیل جریان داده ها; Average case analysis; Data flow analysis; Dominator tree; DJ graphs; Dominance frontier
COMMUNICATIONS REQUIREMENTS FOR AUTONOMOUS MOBILE ROBOTS: ANALYSIS AND EXAMPLES
Keywords: تجزیه و تحلیل جریان داده ها; Data Flow Analysis; FieldBuses; Mobile robots; Sensors;