|
Descripción
|
|
|---|---|
| Abstract: The POLCA project develops annotations on fragments of imperative code to guide program transformations for better utilization of resources. These annotations express the computational essence of the code fragments without referring to memory usage or execution time. That makes the annotations mathematical in nature such that provably correct transformations can be applied to them and the corresponding code fragment can be transformed accordingly for more optimal resource usage, for example on a multi-core platform or on an FPGA. | |
|
Internacional
|
Si |
|
Nombre congreso
|
Design, Automation, and Testing in Europe, EDAA |
|
Tipo de participación
|
OTHERS |
|
Lugar del congreso
|
Dresden, Alemania |
|
Revisores
|
Si |
|
ISBN o ISSN
|
978-3-9815-3707-9 |
|
DOI
|
|
|
Fecha inicio congreso
|
14/03/2016 |
|
Fecha fin congreso
|
18/03/2016 |
|
Desde la página
|
1 |
|
Hasta la página
|
1 |
|
Título de las actas
|
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016 |