Results 41 to 50 of about 23,644,798 (245)
Static and vibration analysis of functionally graded beams using refined shear deformation theory [PDF]
, 2013 Static and vibration analysis of functionally graded beams using refined shear deformation theory is presented. The developed theory, which does not require shear correction factor, accounts for shear deformation effect and coupling coming from the ...
Thai, Huu-Tai +3 more
core +1 more source
Using Counts as Heuristics for the Analysis of Static Models [PDF]
, 1998 The upstream activities of software development are often viewed as both the most important, in terms of cost, and the yet the least understood, and most problematic, particularly in terms of satisfying customer requirements.
Phalp, Keith T. +3 more
core +6 more sources
Methods for analyzing the impact of software changes on objective functions and safety functions
Российский технологический журналObjectives. This paper examines the various approaches to analyzing the impact of software changes, and suggests a new method using function control flows.
A. А. Legkodumov +3 more
doaj +1 more source
Structural analysis and optimum design of ECM machine tool based on variable density method
Journal of Hebei University of Science and Technology, 2019 In order to improve the precision and quality of electrochemical machining of complex surface/cavity parts, the design of horizontal electrochemical machine tool which can realize the compound feeding motion of straight line and rotation is carried out ...
Lunye SUN, Hao CHEN, Hui WANG, Zhibo FU
doaj +1 more source
RUDN Journal of Engineering Research, 2020 The scientific work represents a research of the cutting process in order to determine the influence of the cutting tool extensions length from the tool holder and the cutting forces that occur during processing and corresponding to different values of ...
Dmitry G. Allenov +3 more
doaj +1 more source
Static Livelock Analysis in CSP [PDF]
, 2011 In a process algebra with hiding and recursion it is possible to create processes which compute internally without ever communicating with their environment. Such processes are said to diverge or livelock. In this paper we show how it is possible to conservatively classify processes as livelock-free through a static analysis of their syntax.
Joël Ouaknine +3 more
openaire +5 more sources
Call Graph Soundness in Android Static Analysis [PDF]
peer reviewedStatic analysis is sound in theory, but an implementation may unsoundly fail to analyze all of a program's code. Any such omission is a serious threat to the validity of the tool's output.
BISSYANDE, Tegawendé François d Assise +4 more
core +1 more source
Lightweight Verification of Secure Hardware Isolation Through Static Information Flow Analysis (Technical Report) [PDF]
, 2017 Hardware-based mechanisms for software isolation are becoming increasingly popular, but implementing these mechanisms correctly has proved difficult, undermining the root of security.
Zhang, Danfeng +4 more
core +4 more sources
An Empirical Case Study on the Temporary File Smell in Dockerfiles
IEEE Access, 2019 Docker is widely used in data centers to host services. The docker image adopts a hierarchical storage architecture, which means that the docker image is composed of a set of filesystem layers.
Zhigang Lu +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Allogeneic hematopoietic stem cell transplantation (alloHSCT) is an essential therapy for several malignant and nonmalignant diseases, but relapse and graft loss remain the principal threats to its success. Routine monitoring of chimerism and minimal residual disease (MRD) enables early detection of imminent recurrence and guides ...
Carmen Junk +10 more
wiley +1 more source