Follow
Celso Barbosa Carvalho
Celso Barbosa Carvalho
Professor de Engenharia Elétrica e Computação - Federal University of Amazonas / Brazil
Verified email at ufam.edu.br
Title
Cited by
Cited by
Year
Verifying CUDA programs using SMT-based context-bounded model checking
P Pereira, H Albuquerque, H Marques, I Silva, C Carvalho, L Cordeiro, ...
SAC '16 - Annual ACM Symposium on Applied Computing 31, 1648-1653, 2016
302016
REUSE: A combined routing and link scheduling mechanism for wireless mesh networks
CHP Augusto, CB Carvalho, MWR da Silva, JF de Rezende
Computer Communications 34 (18), 2207-2216, 2011
232011
Qa-knn: Indoor localization based on quartile analysis and the knn classifier for wireless networks
D Ferreira, R Souza, C Carvalho
Sensors, 2020
182020
Routing in IEEE 802.11 wireless mesh networks with channel width adaptation
CB Carvalho, JF De Rezende
2010 The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc …, 2010
102010
Entropy based routing for mobile, low power and lossy wireless sensors networks
C Carvalho, E Mota, E Ferraz, P Seixas, P Souza, V Tavares, ...
International Journal of Distributed Sensor Networks 15 (7), 1550147719866134, 2019
92019
Design. implementation and evaluation of a private LoRaWAN network for industrial Internet of Things (IIoT) applications
ARR Bessa, MS Santos, JEBS Linhares, MDM Valadão, DA Amoedo, ...
2022 IEEE International Conference on Consumer Electronics-Taiwan, 513-514, 2022
72022
Deep cooperative spectrum sensing based on residual neural network using feature extraction and random forest classifier
MDM Valadão, D Amoedo, A Costa, C Carvalho, W Sabino
Sensors 21 (21), 7146, 2021
72021
A IoT system for vehicle tracking using long range wide area network
AF Chabi, JCB Guimaraes, JC Pinto, RS Furtado, WSS Júnior, ...
2021 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW), 1-2, 2021
72021
Automatic Modulation Classification in Real Tx/Rx Environment using Machine Learning and SDR
RS Furtado, YP Torres, MO Silva, GS Colares, AMC Pereira, DA Amoedo, ...
2021 IEEE International Conference on Consumer Electronics (ICCE), 1-4, 2021
62021
LOCALIZATION IN INDOOR ENVIRONMENTS USING VIRTUALIZED THREE-DIMENSIONAL MATRIX
DA de Oliveira Ferreira, CB Carvalho
ITEGAM 5 (18), 120-127, 2019
6*2019
Sfi2-slicing future internet infrastructures project
GN Dias, JF Rezende, LN Ciuffo, I Machado, FDO Silva, TC de Brito, ...
Proceedings of the The Global Experimentation for Future Internet (GEFI), 1-3, 2019
62019
Localização 3D em sistemas RFID com leitor móvel
E Ferraz, C Carvalho
Encontro Regional de Computação e Sistemas de Informação - Encosis 2017 (VI), 4, 2017
62017
Cooperative spectrum sensing system using residual convolutional neural network
MDM Valadão, DA Amoedo, AMC Pereira, SA Tavares, RS Furtado, ...
2022 IEEE International Conference on Consumer Electronics (ICCE), 1-5, 2022
52022
Verificação de Kernels em Programas CUDA usando Bounded Model Checking
PA Pereira, HF Albuquerque, HM Marques, IS Silva, VS Santos, ...
WSCAD-SSC, 2015
52015
dos Santos Jr
CB Carvalho, VF Lucena Jr, WS Sabino
AF “Towards the Generation, Analyze and Validation of MPEG-2 Transport …, 2008
52008
Energy-efficient routing in LEO satellite networks for extending satellites lifetime
RNM Macambira, CB Carvalho, JF de Rezende
Computer Communications 195, 463-475, 2022
42022
A novel strategy for smart building convergence based on the smartlvgrid metamodel
RA Fernandes, RCS Gomes, O Dias, C Carvalho
Energies 15 (3), 1016, 2022
42022
Trends and Challenges for the Spectrum Efficiency in NOMA and MIMO based Cognitive Radio in 5G Networks
MDM Valadão, WSS Júnior, CB Carvalho
2021 IEEE International Conference on Consumer Electronics (ICCE), 1-4, 2021
42021
Trends and challenges for the spectrum sensing in the next generation of communication systems
MDM Valadäo, CB Carvalho, WSS Júnior
2020 IEEE International Conference on Consumer Electronics-Taiwan (ICCE …, 2020
42020
Routing for capacity improvement in Multi-Channel-Width Multi-Radio Wireless Mesh Networks
CB Carvalho, JF De Rezende
International Journal of Communication Networks and Information Security 7 …, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20