When the Optimum Matters Less: Certified Near-Optimal Window-Count Selection for a Single ARINC-653 Partition
Este artículo propone un método de selección certificado para los recuentos de ventanas de partición ARINC-653 que identifica una granularidad de suministro casi óptima con un costo computacional significativamente reducido en comparación con la búsqueda exhaustiva, aprovechando la observación de que muchos recuentos de ventanas producen valores de rendimiento casi idénticos.