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 | 31 | 2016 |
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 | 23 | 2011 |
Qa-knn: Indoor localization based on quartile analysis and the knn classifier for wireless networks D Ferreira, R Souza, C Carvalho Sensors, 2020 | 18 | 2020 |
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 | 10 | 2010 |
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 | 9 | 2019 |
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 | 8 | 2021 |
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 | 7 | 2022 |
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 | 7 | 2021 |
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 | 6 | 2021 |
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 | 6 | 2019 |
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 | 6 | 2017 |
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 | 5 | 2022 |
Verificação de Kernels em Programas CUDA usando Bounded Model Checking PA Pereira, HF Albuquerque, HM Marques, IS Silva, VS Santos, ... WSCAD-SSC, 2015 | 5 | 2015 |
dos Santos Jr CB Carvalho, VF Lucena Jr, WS Sabino AF “Towards the Generation, Analyze and Validation of MPEG-2 Transport …, 2008 | 5 | 2008 |
Energy-efficient routing in LEO satellite networks for extending satellites lifetime RNM Macambira, CB Carvalho, JF de Rezende Computer Communications 195, 463-475, 2022 | 4 | 2022 |
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 | 4 | 2022 |
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 | 4 | 2021 |
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 | 4 | 2020 |
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 | 4 | 2015 |