Zobrazeno 1 - 10
of 350
pro vyhledávání: '"HILL, PATRICIA A."'
The C and C++ programming languages are widely used for the implementation of software in critical systems. They are complex languages with subtle features and peculiarities that might baffle even the more expert programmers. Hence, the general presc
Externí odkaz:
http://arxiv.org/abs/2212.13933
MISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount importance. While MISRA C is currently encoded in 175 guidelines (codi
Externí odkaz:
http://arxiv.org/abs/2112.12823
The Barr Group's Embedded C Coding Standard (BARR-C:2018, which originates from the 2009 Netrino's Embedded C Coding Standard) is, for coding standards used by the embedded system industry, second only in popularity to MISRA C. However, the choice be
Externí odkaz:
http://arxiv.org/abs/2003.06893
Autor:
Kamenou, Eleni, del Rincon, Jesus Martinez, Miller, Paul, Devlin-Hill, Patricia, Budgett, Samuel, Angelini, Federico, Grinyer, Charlotte
Publikováno v:
In Computer Vision and Image Understanding December 2023 237
The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and standalone software. MISRA C is a coding standard defining a subset of the
Externí odkaz:
http://arxiv.org/abs/1809.00821
Autor:
Hill, Patricia Wonch, Kelly, Grace M., McQuillan, Julia, Ledesma, Jorge, Melson, Miranda, Gauthier, G. Robin
Publikováno v:
Research in Science Education; Dec2024, Vol. 54 Issue 6, p1155-1172, 18p
NPATH is a metric introduced by Brian A. Nejmeh in [13] that is aimed at overcoming some important limitations of McCabe's cyclomatic complexity. Despite the fact that the declared NPATH objective is to count the number of acyclic execution paths thr
Externí odkaz:
http://arxiv.org/abs/1610.07914
Autor:
Hagman, Jess Ellis, Voigt, Matthew, Bennett, Amy Been, Nicole, Fantasi, Bolick, Margaret Ann, Pai, Leilani, Kress, Nancy, Quaisley, Kelsey, Tremaine, Rachel, Funk, Rachel, Hill, Patricia Wonch, Smith, Wendy M.
Publikováno v:
Frontiers in Education; 2024, p1-14, 14p
Autor:
Hill, Patricia Wonch1 (AUTHOR) phill3@unl.edu, Diamond, Judy2 (AUTHOR), Spiegel, Amy N.3 (AUTHOR), VanWormer, Elizabeth4 (AUTHOR), Leadabrand, Meghan1 (AUTHOR), McQuillan, Julia1 (AUTHOR)
Publikováno v:
PLoS ONE. 12/27/2022, Vol. 17 Issue 12, p1-24. 24p.
Deciding whether the union of two convex polyhedra is itself a convex polyhedron is a basic problem in polyhedral computations; having important applications in the field of constrained control and in the synthesis, analysis, verification and optimiz
Externí odkaz:
http://arxiv.org/abs/0904.1783