Keywords: تجزیه و تحلیل استاتیک; Marine riser; Mechanical behavior; Static analysis; Installation window
مقالات ISI تجزیه و تحلیل استاتیک (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تجزیه و تحلیل استاتیک; Lazy-wave; Umbilical; Static analysis; Analytical model; Touchdown; Boundary-layer;
Keywords: تجزیه و تحلیل استاتیک; Customized instructions; Special purpose operations; Static analysis; Domain-specific analysis
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Abstract interpretation; Sparse evaluation; Data-flow analysis
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Circular plates; Functionally graded material (FGM); Winkler elastic foundation; Differential transforms method (DTM)
Keywords: تجزیه و تحلیل استاتیک; Secure programming; Static analysis; Interactive static analysis; Software vulnerabilities
Keywords: تجزیه و تحلیل استاتیک; Integrity modeling; Invariants detection; Malware detection; Static analysis; Tools
Keywords: تجزیه و تحلیل استاتیک; Software product lines; Model checking; Program slicing; Static analysis; Reduction techniques
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Heap-sensitive analysis; Termination; Java bytecode; Program transformation
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Abstract interpretation; Lists; Abstract domains; Shape analysis
Keywords: تجزیه و تحلیل استاتیک; Foreign Function Interface; Java Native Interface; Exception checking; Static analysis
Keywords: تجزیه و تحلیل استاتیک; Abstract interpretation; Backward analysis; Numeric abstract domains; Static analysis; Under-approximation
Keywords: تجزیه و تحلیل استاتیک; Biodiesel; Static analysis; Demand estimation;
Keywords: تجزیه و تحلیل استاتیک; Concurrency bug; Bug pattern; Static analysis; Linux;
Keywords: تجزیه و تحلیل استاتیک; Machine learning; Malware detection; Static analysis; Structural features; Microsoft office open xml; Document
Keywords: تجزیه و تحلیل استاتیک; Model-Driven Development (MDD); Model-Driven Architecture (MDA); Executable models; Verification; Static analysis; Alf action language
Classification of ransomware families with machine learning based on N-gram of opcodes
Keywords: تجزیه و تحلیل استاتیک; Ransomware classification; Static analysis; Opcode; Machine learning; N-gram;
The finite element analysis of collapse loads of single-spanned historic masonry arch bridges (Ordu, Sarpdere Bridge)
Keywords: تجزیه و تحلیل استاتیک; Masonry arch bridges; Collapse loads; Finite elements; Static analysis;
Pull-in-voltage and RF analysis of MEMS based high performance capacitive shunt switch
Keywords: تجزیه و تحلیل استاتیک; RF MEMS; Pull-in-Voltage; Bridge; S-Parameter; FOM; Static analysis; Switch;
Coupled analysis between mooring system and VLFS with an effect of elastic deflection of floater
Keywords: تجزیه و تحلیل استاتیک; Mooring tension; Hydroelasticity; Elastic deflection; Static analysis;
iABC: Towards a hybrid framework for analyzing and classifying behaviour of iOS applications using static and dynamic analysis
Keywords: تجزیه و تحلیل استاتیک; iOS applications; Reverse engineering; Machine learning; Static analysis; Dynamic analysis; Static risk score;
Identifying key classes in object-oriented software using generalized k-core decomposition
Keywords: تجزیه و تحلیل استاتیک; Key classes; Generalized k-core decomposition; Complex network; Program comprehension; Static analysis;
Analyzing the structure of Java software systems by weighted K-core decomposition
Keywords: تجزیه و تحلیل استاتیک; Software networks; Weighted k-core decomposition; Program comprehension; Static analysis;
Enabling analysis for Event-B
Keywords: تجزیه و تحلیل استاتیک; Model comprehension; Static analysis; Event-B; Model checking; Constraint-based analysis;
TT-XSS: A novel taint tracking based dynamic detection framework for DOM Cross-Site Scripting
Keywords: تجزیه و تحلیل استاتیک; DOM Cross-Site Scripting; Static analysis; Dynamic analysis; Vulnerabilities;
Static analysis of functionally graded nanocomposite sandwich plates reinforced by defected CNT
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Defective carbon nanotube; Mesh-free method; Sandwich plates; Molecular dynamic;
Replicated Synchronization for Imperative BSP Programs
Keywords: تجزیه و تحلیل استاتیک; Parallel programming; bulk synchronous parallelism; static analysis; barrier inference;
Weak form quadrature element analysis of sandwich panels with functionally graded soft-cores
Keywords: تجزیه و تحلیل استاتیک; FG soft-core; Sandwich panel; Weak form quadrature element method; Static analysis; Two-dimensional elasticity;
Static analysis of Taverna workflows to predict provenance patterns
Keywords: تجزیه و تحلیل استاتیک; Scientific workflows; Provenance; Annotation; Static analysis;
A pragmatic android malware detection procedure
Keywords: تجزیه و تحلیل استاتیک; Android; Malware detection; Static analysis; Machine learning; Classification; Ensemble learning; Feature selection;
Inferring linear invariants with parallelotopes
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Abstract interpretation; Numerical abstract domain; Linear invariant; Parallelotopes;
AndroDialysis: Analysis of Android Intent Effectiveness in Malware Detection
Keywords: تجزیه و تحلیل استاتیک; Mobile malware; Android; Intent; Smartphone security; Static analysis;
Flexural-torsional analysis of functionally graded sandwich I-beams considering shear effects
Keywords: تجزیه و تحلیل استاتیک; FG beam; Open-section; Static analysis; Shear effects; Finite element method;
A static analysis for Brane Calculi providing global occurrence counting information
Keywords: تجزیه و تحلیل استاتیک; Brane Calculi; Static analysis; Abstract interpretation; Occurrence counting;
Static analysis of navigational XPath over graph databases
Keywords: تجزیه و تحلیل استاتیک; Databases; Graph databases; Query languages; Static analysis
ENTRA: Whole-systems energy transparency
Keywords: تجزیه و تحلیل استاتیک; Energy transparency; Energy-aware software development; Energy modelling; Static analysis; Resource analysis;
Minimal contrast frequent pattern mining for malware detection
Keywords: تجزیه و تحلیل استاتیک; Malware detection; Static analysis; Code obfuscation; Code graph; Subgraph isomorphism; Minimal contrast frequent subgraph mining;
Static response and free vibration analysis of the composite sandwich structures with multi-layer cores
Keywords: تجزیه و تحلیل استاتیک; Composites; Sandwich structures; Layerwise theory; Static analysis; Free vibration analysis
Static analysis by abstract interpretation of functional properties of device drivers in TinyOS
Keywords: تجزیه و تحلیل استاتیک; Static analysis; abstract interpretation; wireless sensor networks; device drivers
Improving static analyses of C programs with conditional predicates
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Abstract interpretation; Dataflow analysis; Path sensitivity
Dexteroid: Detecting malicious behaviors in Android apps using reverse-engineered life cycle models
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Mobile app security; Android; Malware; Privacy; Life cycle models
Lightweight runtime checking of C programs with RTC
Keywords: تجزیه و تحلیل استاتیک; Runtime monitoring; Source code instrumentation; Static analysis; C; C++;
A refined FSDT for the static analysis of functionally graded sandwich plates
Keywords: تجزیه و تحلیل استاتیک; Shear deformation theory; FSDT; Static analysis; Functionally graded materials
The NOSA-ITACA code for the safety assessment of ancient constructions: A case study in Livorno
Keywords: تجزیه و تحلیل استاتیک; Masonry materials; Nonlinear elasticity; Static analysis; Numerical methods; Masonry bridges; Finite element codes;
Design and control methodology of a 3-DOF flexure-based mechanism for micro/nano-positioning
Keywords: تجزیه و تحلیل استاتیک; Flexure-based mechanism; Static analysis; Dynamic analysis; Optimization design; Hybrid control
APK Auditor: Permission-based Android malware detection system
Keywords: تجزیه و تحلیل استاتیک; Android; Smartphone; Mobile security; Malware; Static 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 and dynamic characterization of the 6-Dofs parallel robot 3CRS
Keywords: تجزیه و تحلیل استاتیک; 3CRS PRM; Analytical method; Stiffness; Static analysis; Modal analysis
Feasibility and parametric study of tetrahydrofuran dehydration using reactive distillation with low energy requirement
Keywords: تجزیه و تحلیل استاتیک; Reactive distillation; Azeotrope; Tetrahydrofuran; Ethylene glycol; Static analysis;
Non-linear analysis of functionally graded microbeams using Eringen׳s non-local differential model
Keywords: تجزیه و تحلیل استاتیک; Eringen׳s differential model; Functionally graded material; Finite element models; Microbeams; Static analysis;