Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
GIM>Investigación>Publicaciones |
PUBLICACIONES originadas dentro del proyecto: "Metodologías de especificación, an..." ordenadas por fecha |
|
2009 |
|
Fernando Herrera
"Especificación Heterogénea y Generación Automática de Software para Sistemas Embebidos desde SystemC"
Universidad de Cantabria. 2009-02 |
|
|
|
2006 |
|
Fernando Herrera, Eugenio Villar
"Extension of the SystemC kernel for Simulation Coverage Improvement of
System-Level Concurrent Specifications"
Proceedings of the Forum on Design Languages (FDL’06), Darmstadt, ECSI. 2006-09 |
|
|
|
|
Fernando Herrera, Eugenio Villar
"A Framework for Embedded System Specification under Different Models of Computation in SystemC"
Proc. of DAC'06, ACM. 2006-07 |
|
|
|
|
Fernando Herrera, Eugenio Villar
"Mixing Synchronous Reactive and Untimed MoCs in SystemC"
"Applications of Specification and Design Languages for SoCs", A. Vachoux (Ed.), CHDL Series, Springer. 2006-07 |
|
|
|
|
Héctor Posadas, Jesús Angel Adámez, Pablo Pedro Sánchez, Eugenio Villar, Francisco Blasco (DS2)
"POSIX modeling in SystemC"
proc. of the 11th Asia and South Pacific Design Automation Conference, ASP-DAC'06, IEEE. 2006-01 |
|
|
|
2005 |
|
Héctor Posadas, Eugenio Villar, Francisco Blasco
"Real-time Operating System modeling in SystemC for HW/SW co-simulation"
XX Conference on Design of Circuits and Integrated Systems, DCIS'05, IST Lisboa.. 2005-11 |
|
|
|
|
Fernando Herrera, Pablo Pedro Sánchez, Eugenio Villar
"Heterogeneous system-level specification in SystemC"
"Advances in Design and Specification Languages for SoC", P. Boulet (Ed.), CHDL Series, Springer. 2005-10 |
|
|
|
|
Eugenio Villar
"Introduction"
"Advances in Design and Specification Languages for SoC", P. Boulet (Ed.), CHDL Series, Springer. 2005-10 |
|
|
|
|
Fernando Herrera, Eugenio Villar
"Mixing synchronous reactive and untimed models of computation in SystemC"
Proceedings of the Forum on Design Languages (FDL’05), Lausanne, ECSI. 2005-09 |
|
|
|
2004 |
|
Héctor Posadas, Fernando Herrera, Víctor Fernández, Pablo Pedro Sánchez, Eugenio Villar, F. Blasco
"Single Source Design Environment for Embedded Systems Based on SystemC"
Design Automation for Embedded Systems, V.9, N.4, Springer, pp.293-312. 2004-12 |
|
|
|
|
Fernando Herrera, Pablo Pedro Sánchez, Eugenio Villar
"Heterogeneous system-level specification in SystemC"
Proceedings of the Forum on Design Languages (FDL’04), Lille, ECSI. 2004-09 |
|
|
|
|
Fernando Herrera, Pablo Pedro Sánchez, Eugenio Villar
"Modeling and design of CSP, KPN and SR systems in SystemC"
"Languages for System Specification", C. Grimm (Ed.), CHDL Series, Kluwer Academic Publisher. 2004-06 |
|
|
|
2003 |
|
Fernando Herrera, Pablo Pedro Sánchez, Eugenio Villar
"Modeling and design of CSP, KPN and SR systems in SystemC"
Proceedings of the Forum on Design Languages FDL'03, Frankfurt, ECSI. 2003-09 |
|
|
|
|
|