Cargando…
A Case Study of Performance Degradation Attributable to Run-Time Bounds Checks on C++ Vector Access
Programmers routinely omit run-time safety checks from applications because they assume that these safety checks would degrade performance. The simplest example is the use of arrays or array-like data structures that do not enforce the constraint that indices must be within bounds. This report docum...
Autores principales: | Flater, David, Guthrie, William F |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
[Gaithersburg, MD] : U.S. Dept. of Commerce, National Institute of Standards and Technology
2013
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4487316/ https://www.ncbi.nlm.nih.gov/pubmed/26401432 http://dx.doi.org/10.6028/jres.118.012 |
Ejemplares similares
-
Bounded Model Checking for Hyperproperties
por: Hsu, Tzu-Han, et al.
Publicado: (2021) -
Run-time Complexity Bounds Using Squeezers
por: Ish-Shalom, Oren, et al.
Publicado: (2021) -
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks †
por: Zbrzezny, Agnieszka M., et al.
Publicado: (2022) -
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
por: Ponzio, Pablo, et al.
Publicado: (2021) -
Dry runs and machine check-out strategy
por: Albert, M, et al.
Publicado: (2014)