Results 31 to 40 of about 26,063,160 (372)
Future-based Static Analysis of Message Passing Programs [PDF]
, 2016 Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software is very challenging due to the concurrent nature of message exchanges ...
Blom, Stefan +2 more
core +4 more sources
AVATAR : Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations [PDF]
IEEE International Conference on Software Analysis, Evolution, and Reengineering, 2018 Fix pattern-based patch generation is a promising direction in Automated Program Repair (APR). Notably, it has been demonstrated to produce more acceptable and correct patches than the patches obtained with mutation operators through genetic programming.
Kui Liu +3 more
semanticscholar +1 more source
Static analysis of SEU effects on software applications [PDF]
, 2002 Control flow errors have been widely addressed in literature as a possible threat to the dependability of computer systems, and many clever techniques have been proposed to detect and tolerate them.
Benso, Alfredo +3 more
core +1 more source
On the deformation of laminated composite and sandwich curved beams
Curved and Layered Structures, 2021 Plenty of research articles are available on the static deformation analysis of laminated straight beams using refined shear deformation theories. However, research on the deformation of laminated curved beams with simply supported boundary conditions is
Avhad Pravin V., Sayyad Atteshamuddin S.
doaj +1 more source
Radial basis functions-finite differences collocation and a Unified Formulation for bending, vibration and buckling analysis of laminated plates, according to Murakami's zig-zag theory [PDF]
, 2011 In this paper, we propose to use the Murakami's zig-zag theory for the static and vibration analysis of laminated plates, by local collocation with radial basis functions in a finite differences framework.
A.J.M. Ferreira +45 more
core +1 more source
Buildings, 2022 The paper discusses the seismic vulnerability of structures susceptible to overcrowding due to their intended use. Specifically, it addresses the analysis towards earthquake actions of a masonry school located in the Municipality of San Giorgio a Cremano,
Assunta Paola Piccolo +2 more
doaj +1 more source
Static Analysis of Composite Plates with Periodic Curvatures in Material Using Navier Method
Applied SciencesFiber-reinforced and laminated composite materials, widely used in engineering applications, may develop periodic curvature during manufacturing due to technological requirements.
Ozlem Vardar, Zafer Kutug, Ayse Erdolen
doaj +1 more source
USING STATIC ANALYSIS TOOLS FOR ANALYZING STUDENT BEHAVIOR IN AN INTRODUCTORY PROGRAMMING COURSE
Jordanian Journal of Computers and Information Technology, 2020 Analyzing student coding data can help researchers understand how novice programmers learn and inform practitioners on how to best teach them. This work explores how using static analysis tools in programming assignments can provide insight into student ...
Ibrahim Albluwi, Joseph Salter
doaj +1 more source
The influence of bracing on the stress state of the ribbed-ring dome framework
Structural Mechanics of Engineering Constructions and Buildings, 2022 The aim of current research was to establish the relationship between the stress state of the ribbed-ring dome framework and the degree of its bracing. It was assumed that the meridional ribs and rings of the dome framework are made of metal.
Evgeny V. Lebed
doaj +1 more source
Static Analysis of Deterministic Negotiations
, 2017 Negotiation diagrams are a model of concurrent computation akin to workflow Petri nets. Deterministic negotiation diagrams, equivalent to the much studied and used free-choice workflow Petri nets, are surprisingly amenable to verification.
Esparza, Javier +2 more
core +2 more sources