ESPAÑOL ENGLISH

Sosa González, Carlos Javier

Publicaciones

Todo

Artículos

Artículos de conferencias

Libros y capÍtulos de libro

Comentario

Ponencia

Otros

Tipo de publicación

30 actas de congresos

Por investigador

Por afiliación

1
2

Título Año
A one-step algorithm for finding the optimum solution of the state justification problem in RTL designs using MILP Navarro Botello,Héctor ; Montiel-Nelson, Juan A. ; Sosa, Javier ; García, José C. Fecha de publicación: 2005 DOI: 10.1117/12.608526 Localización: Proceedings of SPIE - The International Society for Optical Engineering[ISSN 0277-786X],v. 5837 PART II (83), p. 754-763 Actas de congresos
Efficient method to obtain the entire active area against circuit delay time trade-off curve in gate sizing Montiel-Nelson, J. A. ; Sosa, J. ; Navarro, H.; Sarmiento, R. ; Núñez, A. Fecha de publicación: 2005 DOI: 10.1049/ip-cds:20040779 Localización: IEE Proceedings: Circuits, Devices and Systems[ISSN 1350-2409],v. 152, p. 133-145 JCR: 0,638 - Q3 Actas de congresos
Functional vector generation for combinational circuits based on data path coverage metric and mixed integer linear programming Montiel-Nelson, Juan A. ; Navarro Botello,Héctor ; García, José C. ; Sosa González, Carlos Javier Fecha de publicación: 2004 DOI: 10.1109/ISQED.2004.1283676 Localización: Proceedings - 5th International Symposium on Quality Electronic Design, ISQUED 2004, p. 217-222 Actas de congresos
A direct bootstrapped CMOS large capacitive-load driver circuit García, José C. ; Montiel-Nelson, Juan A. ; Navarro Botello,Héctor ; Sosa, J Fecha de publicación: 2004 Localización: Proceedings - Design, Automation and Test in Europe Conference and Exhibition,v. 1, p. 680-681 Actas de congresos
High-performance VLSI architecture for video processing Navarro, Héctor; Montiel-Nelson, Juan A. ; Sosa, Javier ; García, José C.; Sarmiento, R. , et al. Fecha de publicación: 2003 DOI: 10.1117/12.498585 Localización: Proceedings of SPIE - The International Society for Optical Engineering[ISSN 0277-786X],v. 5117, p. 175-186 Actas de congresos
VESTA: A system level verification environment based on C++ Shahdadpuri, Mahendra; Sosa, J. ; Navarro, Héctor; Montiel-Nelson, Juan A. ; Sarmiento, R. Fecha de publicación: 2003 DOI: 10.1117/12.498618 Localización: Proceedings of SPIE - The International Society for Optical Engineering[ISSN 0277-786X],v. 5117, p. 209-219 Actas de congresos
A macromodel for exact computation of propagation delay time in GaAs and CMOS technologies García, José C.; Montiel-Nelson, Juan A. ; Sosa, J. ; Navarro, Héctor; Sarmiento, R. Fecha de publicación: 2003 DOI: 10.1117/12.498586 Localización: Proceedings of SPIE - The International Society for Optical Engineering[ISSN 0277-786X],v. 5117, p. 434-444 Actas de congresos
System-level verification methodology for advanced switch fabrics Sosa, J. ; Montiel-Nelson, Juan A. ; Navarro, Héctor; Shahdadpuri, Mahendra; Sarmiento, R. Fecha de publicación: 2003 DOI: 10.1117/12.498612 Localización: Proceedings of SPIE - The International Society for Optical Engineering[ISSN 0277-786X],v. 5117, p. 187-198 Actas de congresos
Efficient computation of the areapower consumption versus delay tradeoff curve for circuit critical path optimization Sosa González, Carlos Javier ; Montiel-Nelson, J. A. ; Nooshabadi, S. Fecha de publicación: 2001 Localización: ISCAS 2001 - 2001 IEEE International Symposium on Circuits and Systems, Conference Proceedings,v. 5 (922101), p. 527-530 Actas de congresos
A single phase latch for high speed GaAs domino circuits Nooshabadi, S.; Montiel-Nelson, J. A. ; Núñez, A. ; Sarmiento, R. ; Sosa González, Carlos Javier Fecha de publicación: 2000 DOI: 10.1109/DATE.2000.840893 Localización: Proceedings -Design, Automation and Test in Europe, DATE[ISSN 1530-1591] (840893), p. 760 Actas de congresos

1
2