Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicaciones |
| PUBLICACIONES en las que participa: "Pablo González" ordenadas por línea de investigación |
| |
| Diseño y verificación de sistemas embebidos HW/SW |
 |
Álvaro Díaz, Javier González, Pablo Pedro Sánchez, Pablo González
"Virtual platform for power and security analysis of wireless sensor network"
SPIE 2013. 2013-04 |
 |
|
|
 |
Pablo González, Javier González, Pablo Pedro Sánchez
"OpenMP performance analysis for many-core platforms with non-uniform memory access"
IJCSI Volume 10, Issue 2. 2013-03 |
|
|
|
|
Fernando Herrera, Héctor Posadas, Pablo Peñil, Eugenio Villar, Pablo Pedro Sánchez, Pablo González, F. Ferrero (GMV), R. Valencia (GMV)
"A MDD Methodology for the Specification and Performance Estimation of Embedded Systems"
Tutorial B: Advanced Techniques for Power-Aware System-Level Prototyping, DATE'13. 2013-03 |
|
|
|
|
Pablo González, Pablo Pedro Sánchez, Javier González
"A virtual Platform for performance estimation of OpenMP Programs"
DCIS 2012. 2012-11 |
|
|
|
|
Pablo González, Javier González, Pablo Pedro Sánchez
"An approach for algorithm parallelization oriented to a many-core implementation"
ISPA 2012. 2012-11 |
|
|
|
|
Pablo González, Pablo Pedro Sánchez, Javier González
"Hardware Performance Estimation by Dynamic Scheduling"
Proceedings FDL. 2011-12 |
|
|
|
|
Pablo González, Javier González, Pablo Pedro Sánchez
"Hardware Performance estimation by Dynamic Scheduling II"
Proceedings DCIS2011. 2011-12 |
|
|
|
|
Pablo González, Pablo Pedro Sánchez
"An approach for modelling parallelization in the P2012"
P2012 Developers Conference. Grenoble.. 2011-12 |
|
|
|
|
Daniel Calvo, Jesús Miguel Pérez, Pablo González, Raúl Diego, Álvaro Díaz, Pablo Pedro Sánchez
"Design, modeling and development of an efficient comunication infrastructure for networking applications"
XXVI Conference on Design of Circuits and Integrated Systems, DCIS'11. 2011-11 |
|
|
|
 |
Daniel Calvo, Pablo González, Luis Diaz, Alvaro Diaz, Pablo Sanchez, D. Gutiérrez (TTI), F. Alcalá (VS)
"Smart video processing in MPSoC demonstrator"
Deliverable DA2.3b of Artemis SCALOPES Project. 2011-03 |
|
|
|
|
Daniel Calvo, Pablo González, Héctor Posadas, Pablo Pedro Sánchez, Eugenio Villar, Andrea Acquaviva, Enrico Macii, Claudio Parrella, Mateo Giaconia
"SCoPE: SystemC Cosimulation and Performance Estimation. Application to Power and Thermal-Aware Design"
University Booth, DATE 11, Grenoble. 2011-03 |
|
 |
|
|
Daniel Calvo, Pablo González, Luis Diaz, Héctor Posadas, Pablo Pedro Sánchez, Eugenio Villar, Andrea Acquaviva, Enrico Macii
"A Multi-Processing Systems-on-Chip Native Simulation Framework for Power and Thermal-Aware Design"
ASP Journal on Low-Power Electronics (JOLPE): Special Issue on Low Power Design and Verification Techniques
. 2011-02 |
|
|
|
|
Pablo González, Pablo Pedro Sánchez, Luis Diaz
"Embedded software execution time estimation at different abstraction levels"
XXV Conference on Design of Circuits and Integrated Systems, DCIS'10. 2010-11 |
|
|
|
|
Patricia Botella, Pablo González, Pablo Sánchez, Francisco Alcalá, Mario Virgliar, et all
"Embedded and low-power surveillance systems: Final specification release"
Deliverable DA2.2 of the Artemis Scalopes project. 2010-06 |
|
|
|
| Diseño de sistemas embebidos HW/SW |
|
Álvaro Díaz, Javier González, Pablo Pedro Sánchez, Pablo González
"Virtual platform for power and security analysis of wireless sensor network"
SPIE 2013. 2013-04 |
|
|
|
|
Kai Hylla (OFFIS), Saif A. Butt (CV), Fernando Herrera, Sara Real, Pablo González, Pablo Pedro Sánchez
"Preliminary report on Custom Hardware Estimation and Model Generation
"
Deliverable D2.4.1 of the COMPLEX project. 2010-12 |
|
|
|
| Verificación de sistemas embebidos |
|
Pablo González, Pablo Pedro Sánchez
"Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification"
TCAD. 2017-03 |
|
|
|
|
Kai Hylla (OFFIS), Saif A. Butt (CV), Fernando Herrera, Sara Real, Pablo González, Pablo Pedro Sánchez
"Preliminary report on Custom Hardware Estimation and Model Generation
"
Deliverable D2.4.1 of the COMPLEX project. 2010-12 |
|
|
|
|
|
