An Architecture for Multimedia Transmission Through Infrared Light Communications in Consumer Electronics Environments: First Results by Amorim, Allan, Pimentel, Agemilson, Kimura, Petrina, Chen, XianPan, de Lima Filho, Eddie B.

Request full text

An Architecture for Content Multiplexing and Enhanced Connectivity in Digital TV Receivers by da Costa, Jeferson B., Araujo, Nicoli, Silva, Aguinaldo, Fabricio, Romulo, de Lima Filho, Eddie B.

Request full text

Quality verification of digital TV signals in a production line environment by Seixas, Paulo, Levy, Pamela, de Lima Filho, Eddie B., Caetano, Rogerio

Request full text

RFID-based scheme for TV receiver control in case of theft by da Silva, Allan R. A., da Cruz, Caio F. S., Fernandes, Jose Eduardo L., da Costa, Jeferson B., Chen, Xianpan, Fabricio, Romulo, de Lima Filho, Eddie B.

Request full text

Digital Twins for Energy Efficiency Management in Industry 4.0 by Fabricio, Romulo, Sundararajan, Raji, Amorim, Allan, Maia, Orlewilson B., De Lima Filho, Eddie B.

Request full text

A Service Architecture for TV Receivers Running Different Operating Systems by Machado, Ivo, Izumi, Fabricio, Xavier, Daniel, De Lima Filho, Eddie B., Fabricio, Romulo, Costa, Samuel V.

Request full text

Modernizing Terrestrial Television Environments with Content Recommendation by Oliveira, Sergillam Barroso, Kimura, Petrina, Machado, Hayde, Souza, Tiago, de Lima Filho, Eddie B.

Request full text

Conducting Usability Testing on Consumer Electronics: A Real Experience by Fernandes, Jose E. L., Da Silva Conceicao, Andre R., Maia, Orlewilson B., de Lima Filho, Eddie B., de Paula, Lorena L. B., Said, Mateus V.

Request full text

ESBMC-Python: A Bounded Model Checker for Python Programs by Farias, Bruno, Menezes, Rafael, Eddie B de Lima Filho, Sun, Youcheng, Cordeiro, Lucas C

Get full text

SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends by Cordeiro, Lucas C., de Lima Filho, Eddie B.

Get full text

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts by Song, Kunjian, Matulevicius, Nedas, Eddie B de Lima Filho, Cordeiro, Lucas C

Get full text

BMCLua: A Translator for Model Checking Lua Programs by Monteiro, Felipe R., Januário, Francisco A.P., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Get full text

Fault Localization in Multi-threaded C Programs Using Bounded Model Checking by Da Alves, Erickson H.S., Cordeiro, Lucas C., De Lima Filho, Eddie B.

Request full text

BMCLua: Verification of Lua programs in digital TV interactive applications by Januario, Francisco A. P., Cordeiro, Lucas C., De Lucena, Vicente F., De Lima Filho, Eddie B.

Request full text

Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version) by Erickson H da S Alves, Cordeiro, Lucas C, Eddie B de Lima Filho

Get full text

Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version) by Sousa, Felipe R M, Cordeiro, Lucas C, Eddie B de Lima Filho

Get full text

Universal Image Compression Using Multiscale Recurrent Patterns With Adaptive Probability Model by de Lima Filho, Eddie Batista, da Silva, Eduardo A. B., de Carvalho, Murilo Bresciani, Pinage, Frederico Silva

Get full text

Electrocardiographic signal compression using multiscale recurrent patterns by de Lima Filho, E.B., da Silva, E.A.B., de Carvalho, M.B., da Silva Junior, W.S., Koiller, J.

Get full text