Results 1 to 10 of about 23,085,941 (290)
Some of the next articles are maybe not open access.
Biomechanical Insights in Ancient Greek Combat Sports: A Static Analysis of Selected Pottery Depictions [PDF]
SportsBackground: Though ancient Greece preserves many pictures of combat sports, there is limited research in terms of biomechanical analysis of their sports.
Andreas Bourantanis +2 more
doaj +2 more sources
Evaluation of a lattice structure for a motor holder [PDF]
Journal of Intelligent Manufacturing and Special Equipment, 2021 Purpose – The aim of this research paper is to design a motor holder in order to minimize the weight of the motor and to reduce its vibrations causing noise pollution.
Chloé Joffre
doaj +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 +9 more sources
Static Analysis by Abstract Interpretation Collecting Types of Python Programs
, 2018 Software bugs are costly: they can have disastrous consequences on critical systems, but also on more common applications such as Web servers. It is thus interesting to possess tools helping developers detect those bugs before they ship software into ...
Monat, Raphaël
core +7 more sources
Debugging Static Analysis [PDF]
IEEE Transactions on Software Engineering, 2020 To detect and fix bugs and security vulnerabilities, software companies use static analysis as part of the development process. However, static analysis code itself is also prone to bugs. To ensure a consistent level of precision, as analyzed programs grow more complex, a static analysis has to handle more code constructs, frameworks, and libraries ...
Lisa Nguyen Quang Do +4 more
openaire +2 more sources
A GCC-based checker for compliance with MISRA-C's single-translation-unit rules
Connection Science, 2023 MISRA-C is a writing specification for the C programming language defined by the Motor Industry Software Reliability Association (MISRA). It establishes a set of rules to enhance the development of software that is safe, reliable, and portable.
Chih-Yuan Chen +3 more
doaj +1 more source