José Carlos Gomes da Costa
AuthID: R-000-86S
31
TÃTULO: Observability analysis of embedded software for coverage-directed validation
AUTORES: Costa, JC; Devadas, S; Monteiro, JC ;
PUBLICAÇÃO: 2000, FONTE: IEEE/ACM International Conference on Computer Aided Design (ICCAD-2000) in ICCAD - 2000 : IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN
AUTORES: Costa, JC; Devadas, S; Monteiro, JC ;
PUBLICAÇÃO: 2000, FONTE: IEEE/ACM International Conference on Computer Aided Design (ICCAD-2000) in ICCAD - 2000 : IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN
32
TÃTULO: Experimental study on dynamic random variation of population size
AUTORES: Joao Carlos Costa; Rui Tavares; Agostinho Rosa;
PUBLICAÇÃO: 1999, FONTE: 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics' in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 1
AUTORES: Joao Carlos Costa; Rui Tavares; Agostinho Rosa;
PUBLICAÇÃO: 1999, FONTE: 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics' in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 1
INDEXADO EM: 
Scopus
Scopus33
TÃTULO: Switching activity estimation using limited depth reconvergent path analysis
AUTORES: Costa, JC; Monteiro, JC ; Devadas, S;
PUBLICAÇÃO: 1997, FONTE: 1997 International Symposium on Low Power Electronics and Design in 1997 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, PROCEEDINGS
AUTORES: Costa, JC; Monteiro, JC ; Devadas, S;
PUBLICAÇÃO: 1997, FONTE: 1997 International Symposium on Low Power Electronics and Design in 1997 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, PROCEEDINGS
INDEXADO EM: Scopus 
WOS
Scopus WOS