open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Filtros aplicados
Área de conocimiento: "Simulación por computadora"
Subtipo de publicación
Conference Object
(1)
Publisher
ACM International Conference Proceeding Series
(1)
Área temáticas
Ciencias de la computación
(1)
Año de Publicación
2017
(1)
Origen
scopus
(1)
Palabras Claves
Correct-by-construction
(1)
Design space exploration
(1)
Performance Analysis
(1)
constraint programming
(1)
Throughput propagation in constraint-based design space exploration for mixed-criticality systems
Conference Object
Abstract:
When designing complex mixed-critical systems on multiprocessor platforms, a huge number of design a
Palabras claves:
constraint programming, Correct-by-construction, Design space exploration, Performance Analysis
Autores:
Ingo Sander, Khalilzad N., Rosvall K., Ungureanu G.
Fuentes:
scopus
1
1
