Zobrazeno 1 - 10
of 92
pro vyhledávání: '"Hill, Patricia M."'
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
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
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:
Hill, Patricia M.
Thesis (M.S)--Texas State University, San Marcos, 2005.
Includes bibliographical references (leaves 158-166).
Includes bibliographical references (leaves 158-166).
Externí odkaz:
http://www.oregonpdf.org
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
Autor:
Hill, Patricia M.
In recent years, the term "Healthy Communities" has become a catch phrase among planners, health promotion workers, social workers and government agencies, and increasing numbers of professionals have taken a role in the development of healthy commun
Externí odkaz:
http://hdl.handle.net/2429/2562
Integer octagonal constraints (a.k.a. ``Unit Two Variables Per Inequality'' or ``UTVPI integer constraints'') constitute an interesting class of constraints for the representation and solution of integer problems in the fields of constraint programmi
Externí odkaz:
http://arxiv.org/abs/0705.4618