Keywords: تجزیه و تحلیل استاتیک; Spreadsheets; Code smells; Static analysis;
مقالات ISI تجزیه و تحلیل استاتیک (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Modular analysis; Concurrency; Actors; Threads; 68N15; 68N19; 68N30;
Keywords: تجزیه و تحلیل استاتیک; Dental trauma; Human maxillary incisor; Natural frequency; Static analysis; Finite element method;
Keywords: تجزیه و تحلیل استاتیک; Software engineering; GUI testing; Static analysis; Exploratory testing; Change request;
Keywords: تجزیه و تحلیل استاتیک; Eccentrically stiffened plates; Static analysis; Partial composite action; Variational approach;
Keywords: تجزیه و تحلیل استاتیک; Pulsating heat pipe; Asymmetric vapor distribution; Static analysis; Maximum heat transport capability;
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Polynomial invariants; Homogeneous polynomial;
Keywords: تجزیه و تحلیل استاتیک; Thin-walled space frame structure; Static analysis; Thin-walled beam transfer matrix method; Bimoment; Rate of twist; Shear center;
Keywords: تجزیه و تحلیل استاتیک; Resource bug; Static analysis; Energy leak; Android;
Keywords: تجزیه و تحلیل استاتیک; Android security; Malware detection; Intrusion detection; Classification; Ensemble learning; Static analysis;
Keywords: تجزیه و تحلیل استاتیک; Apk permissions; Static analysis; Weighted feature; Machine learning; Android malware triage; Forensic triage tool;
Keywords: تجزیه و تحلیل استاتیک; Modular structural similitude; Scaled model testing; Beam; Stiffened plate; Static analysis; Dynamic analysis;
Keywords: تجزیه و تحلیل استاتیک; Security auditing; Static analysis; Vulnerability; Automated code fixing;
Keywords: تجزیه و تحلیل استاتیک; Software bug; Vulnerability; Fuzzing; Dynamic symbolic execution; Coverage guide; Grammar representation; Scheduling algorithms; Taint analysis; Static analysis;
Keywords: تجزیه و تحلیل استاتیک; Porosity; Functionally graded; Free vibration; Magneto-electro-elastic; Skew plate; Static analysis;
Keywords: تجزیه و تحلیل استاتیک; Program families; Static analysis; Abstract interpretation;
Keywords: تجزیه و تحلیل استاتیک; Adsorption refrigeration; Triple-effect cycle; Compressor; Recovered adsorption heat; Static analysis;
Keywords: تجزیه و تحلیل استاتیک; Fuzzy cognitive maps; Causal relation strength; Fuzzy numbers; Ordered fuzzy numbers; Causal effect; Static analysis;
Keywords: تجزیه و تحلیل استاتیک; Numerical abstract domain; Octagon abstract domain; static analysis; static analyzer;
Keywords: تجزیه و تحلیل استاتیک; PHP; Static analysis; Abstract interpretation; Type conversions;
Keywords: تجزیه و تحلیل استاتیک; Carbon nanotube; FG-CNTRCs; Double directors shell element; Static analysis;
Keywords: تجزیه و تحلیل استاتیک; Formal verification; Static analysis; Piecewise affine systems; Piecewise quadratic Lyapunov functions;
Keywords: تجزیه و تحلیل استاتیک; Active objects; Concurrent objects; Asynchronous communication; Futures; Static analysis; Concurrency handling; Object flooding; Scheduling;
Keywords: تجزیه و تحلیل استاتیک; Micro-manipulator; Piezoelectric; Static analysis; Kinematics; Finite element method;
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Abstract interpretation; Liveness; Temporal properties; Ranking functions; Termination;
Keywords: تجزیه و تحلیل استاتیک; Functionally graded materials; Sandwich plates and shells; 3D equilibrium equations; Static analysis; 3D stress and displacement states; Layer-wise approach;
Keywords: تجزیه و تحلیل استاتیک; static analysis; abstract interpretation; verification; safety; concurrency; run-time errors; data-races; deadlocks; real-time scheduling; priority ceiling protocol;
Keywords: تجزیه و تحلیل استاتیک; Model-driven software engineering; Graph transformation; Graph constraint; Topology control; Static analysis; Correct by construction;
Keywords: تجزیه و تحلیل استاتیک; Plates and shells; 3D exact solution; Layer-wise approach; Exponential matrix method; Static analysis; Multilayered composite and sandwich structures; Exact geometry;
Keywords: تجزیه و تحلیل استاتیک; Sandwich panel; Dirac delta function; Two-dimensional elasticity; Differential quadrature method; Static analysis;
Keywords: تجزیه و تحلیل استاتیک; Base isolation; Highway bridge; Seismic analysis; Static analysis; Modal analysis;
Keywords: تجزیه و تحلیل استاتیک; Radial basis function; Meshless method; Pseudospectral technique; Shape parameter; Kirchhoff plate; Static analysis
Keywords: تجزیه و تحلیل استاتیک; Software plagiarism detection; Birthmark; Similarity analysis; Static analysis
Keywords: تجزیه و تحلیل استاتیک; Electrically actuated microplates; Static analysis; Dynamics of microplates; Diaphragm vibration; Large amplitude vibrations; Nonlinear dynamics
Keywords: تجزیه و تحلیل استاتیک; Sheet steel section elements; Numerical models; Static analysis; Shape measurement; Digital image correlation
Keywords: تجزیه و تحلیل استاتیک; Torque limiters; Physical human robot interaction; 3-Dof spatial robot; Isotropy; Robot safety; Static analysis;
Keywords: تجزیه و تحلیل استاتیک; Exception analysis; Static analysis; Dynamic analysis; Exception flow; Testing; Debugging;
Keywords: تجزیه و تحلیل استاتیک; Coriolis mass flow sensor; Coriolis force; Sensitivity analysis; Natural frequency; Vibration system; Static analysis; Static gravimetric method
Keywords: تجزیه و تحلیل استاتیک; ML; regions; static analysis; memory analysis;
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Abstract interpretation; Generic analyzers;
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Model checking; SMT solving; Industrial application; Experience report;
Keywords: تجزیه و تحلیل استاتیک; Composite covers; Composite joints; Finite element method; Static analysis; Failure
Keywords: تجزیه و تحلیل استاتیک; Verification; Alias analysis; Frame inference; Object-oriented; Static analysis
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Functionally graded plate; Rayleigh–Ritz method; Uniformly distributed load; Hydrostatic pressure
Keywords: تجزیه و تحلیل استاتیک; Smartphone security; Android; Malware; Variant detection; Static analysis; Family signature;
Keywords: تجزیه و تحلیل استاتیک; Static analysis; Resource usage analysis; Cost analysis; Incremental analysis;
Keywords: تجزیه و تحلیل استاتیک; Software Product Lines; Software variability; Verification; Static analysis; Abstract interpretation
Keywords: تجزیه و تحلیل استاتیک; Abstract domain; Abstract interpretation; Continuous functions; Embedded software; Static analysis;
Keywords: تجزیه و تحلیل استاتیک; Software model checking; Concurrency; Field accesses; Immutability; Static analysis
Keywords: تجزیه و تحلیل استاتیک; Authentication protocols; Compromised principals; Injective agreement; Static analysis; Type reconstruction;