Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Fri 01-Nov-24 . 00:31



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
Tesis doctoral Fernando Herrera
"Especificación Heterogénea y Generación Automática de Software para Sistemas Embebidos desde SystemC"
Universidad de Cantabria. 2009-02
Ver ficha completa
Fichero PDF

   2006
Conferencia Internacional 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
Ver ficha completa

Conferencia Internacional Fernando Herrera, Eugenio Villar
"A Framework for Embedded System Specification under Different Models of Computation in SystemC"
Proc. of DAC'06, ACM. 2006-07
Ver ficha completa

Capítulo de libro 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
Ver ficha completa

Conferencia Internacional 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
Ver ficha completa


   2005
Conferencia Internacional 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
Ver ficha completa
Fichero PDF
Capítulo de libro 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
Ver ficha completa

Capítulo de libro Eugenio Villar
"Introduction"
"Advances in Design and Specification Languages for SoC", P. Boulet (Ed.), CHDL Series, Springer. 2005-10
Ver ficha completa

Conferencia Internacional 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
Ver ficha completa


   2004
Revista Internacional 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
Ver ficha completa

Conferencia Internacional 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
Ver ficha completa

Capítulo de libro 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
Ver ficha completa


   2003
Conferencia Internacional 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
Ver ficha completa


© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster