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
Publisher: "ACM International Conference Proceeding Series"
Subtipo de publicación
Conference Object
(1)
Área temáticas
Ciencias de la computación
(1)
Área de conocimiento
Simulación por computadora
(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
