E-LIB Suche - Ergebnisse für: Ibrahim, Hussama

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

Verification of Delta Form Realization in Fixed-Point Digit..:

, In: 2014 Brazilian Symposium on Computing Systems Engineering,

Bessa, Iury ; Ibrahim, Hussama ; Cordeiro, Lucas. - p. 49-54 , 2014

Link: https://doi.org/10.1109/..

Multi-core model checking and maximum satisfiability applie..:

Trindade, Alessandro Bezerra ; Degelo, Renato De Faria ; Galvao Dos Santos Junior, Edilson...
Trindade , A B , Degelo , R D F , Galvao Dos Santos Junior , E , Ismail , H I , Silva , H C D & Cordeiro , L C 2017 , ' Multi-core model checking and maximum satisfiability applied to hardware-software partitioning ' , International Journal of Embedded Systems , vol. 9 , no. 6 , pp. 570 . https://doi.org/10.1504/IJES.2017.088044. , 2017

Link: https://research.manches..

Verifica????o de modelos aplicada ao projeto de controlador..:

Ismail, Hussama Ibrahim ; http://lattes.cnpq.br/0237240942570724
ISMAIL, Hussama Ibrahim. Verifica????o de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo. 2015. 95 f. Disserta????o (Mestrado em Engenharia El??trica ) - Universidade Federal do Amazonas, Manaus, 2015.. , 2015

Link: http://tede.ufam.edu.br/..

1-3