Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013 : Revised Selected Papers /
Ponencias seleccionadas del tercer Taller Internacional sobre Aspectos Fundamentales y Prácticos del Análisis de Recursos, realizado en Bertinoro, Italia, en agosto de 2013. Los artículos incluídos son los siguientes: Complejidad Certificada; Sobre la integración modular de la semántica abstracta pa...
Guardado en:
| Autor corporativo: | |
|---|---|
| Otros autores: | , |
| Formato: | Procedimiento de la conferencia Libro |
| Idioma: | Inglés |
| Publicado: |
Cham, Suiza :
Springer,
2014, c2014
|
| Colección: | (Lecture Notes in Computer Science ;
8552) |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
| Resumen: | Ponencias seleccionadas del tercer Taller Internacional sobre Aspectos Fundamentales y Prácticos del Análisis de Recursos, realizado en Bertinoro, Italia, en agosto de 2013. Los artículos incluídos son los siguientes: Complejidad Certificada; Sobre la integración modular de la semántica abstracta para el análisis WCET; ¿Puede una disciplina de mecanografía ligera ser compatible con una implementación eficiente de la inversión de campos finitos?; Análisis probabilístico de programas: un enfoque de límite débil; Ordenes de ruta lexicográfica predicativa; Una lógica de Hoare para el análisis del consumo de energía; Razonamiento sobre recursos en el lenguaje de sistemas integrados; Acerca de los criterios basados en rutas para la complejidad del tiempo polinomial en redes de prueba; Semántica de tamaño recopilada para programas funcionales estrictos sobre listas polimórficas generales. |
|---|---|
| Descripción física: | 1 libro electrónico en línea (IX, 161 p.) 1 recurso en línea |
| ISBN: | 978-3-319-12466-7 |
| Acceso: | Licencias ilimitadas |