José Augusto Miranda Nacif

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 70

Top Venues

SBCCI

ISCAS

Concurr. Comput. Pract. Exp.

SBESC

Federal University of Minas Gerais, Brazil (PHD)

Education History

Federal University of Minas Gerais, Brazil

PHD

Publications

Pedro Arthur R. L. Silva, Jeferson F. Chaves, José Augusto Miranda Nacif, Ricardo Ferreira, Omar Paranaiba Vilela Neto
Exploring Nanomagnetic Logic with Bennett Clocking. SBCCI (2023)
Guilherme A. S. Milanez, Marcos A. M. Vieira, Luiz Filipe M. Vieira, José Augusto Miranda Nacif
VariBan: A Variable Bandwidth channel allocation algorithm for IEEE 802.15.4e-based networks. Comput. Networks 231 (2023)
Westerley Carvalho, Michael Canesche, Lucas Reis, José Augusto Miranda Nacif, Ricardo S. Ferreira
Heterogeneous reconfigurable architectures for machine learning dataflows. Concurr. Comput. Pract. Exp. 35 (17) (2023)
Jeronimo Costa Penha, Lucas Bragança, Michael Canesche, Dener Ribeiro, José Augusto Miranda Nacif, Ricardo S. Ferreira
Gene regulatory accelerators on cloud FPGA. Concurr. Comput. Pract. Exp. 35 (24) (2023)
Ruan Evangelista Formigoni, Ricardo S. Ferreira, Omar P. Vilela Neto, José Augusto Miranda Nacif
L-BANCS: A Multi-Phase Tile Design for Nanomagnetic Logic. ISVLSI (2023)
Lucas Bragança, Michael Canesche, Jeronimo Costa Penha, Josué Campos, José Augusto Miranda Nacif, Ricardo S. Ferreira
Fast flow cloud: A stream dataflow framework for cloud FPGA accelerator overlays at runtime. Concurr. Comput. Pract. Exp. 35 (17) (2023)
Kristtopher Kayo Coelho, Michele Nogueira, Alex Borges Vieira, Edelberto F. Silva, José Augusto Miranda Nacif
A survey on federated learning for security and privacy in healthcare applications. Comput. Commun. 207 (2023)
Genilson Israel Da Silva, Alex Borges Vieira, Michele Nogueira, Edelberto Franco Silva, José Augusto Miranda Nacif
A Software-Defined Wireless Network-Based System for Prioritizing Medical Alert Messages. SBESC (2023)
Maria D. Vieira, Samuel S. H. Ng, Marcel Walter, Robert Wille, Konrad Walus, Ricardo S. Ferreira, Omar P. Vilela Neto, José Augusto Miranda Nacif
Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots. IEEE Des. Test 39 (6) (2022)
Bruno Marques Cremonezi, Airton Ribeiro Gomes Filho, Edelberto Franco Silva, José Augusto Miranda Nacif, Alex Borges Vieira, Michele Nogueira
Improving the attribute retrieval on ABAC using opportunistic caches for Fog-Based IoT Networks. Comput. Networks 213 (2022)
Laysson Oliveira Luz, José Augusto Miranda Nacif, Ricardo S. Ferreira, Omar P. Vilela Neto
An NML in-plane Wire Crossing Structure. LASCAS (2022)
Michael Canesche, Ricardo S. Ferreira, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira
A polynomial time exact solution to the bit-aware register binding problem. CC (2022)
Kristtopher Kayo Coelho, Michele Nogueira, Mateus Coutinho Marim, Edelberto Franco Silva, Alex Borges Vieira, José Augusto Miranda Nacif
LORENA: Low memORy symmEtric-Key geNerAtion Method for Based on Group Cryptography Protocol Applied to the Internet of Healthcare Things. IEEE Access 10 (2022)
Isaac Nelson, Ricardo S. Ferreira, José Augusto Miranda Nacif, Peter Jamieson
Is It Time to Include High-Level Synthesis Design in Digital System Education for Undergraduate Computer Engineers? ISCAS (2021)
Lucas S. Cerqueira, Alex Borges Vieira, Luiz Filipe M. Vieira, Marcos A. M. Vieira, José Augusto Miranda Nacif
A cooperative protocol for pervasive underwater acoustic networks. Wirel. Networks 27 (3) (2021)
Ronan D. Mendonça, Otávio S. Gomes, Luiz Filipe M. Vieira, Marcos A. M. Vieira, Alex Borges Vieira, José Augusto Miranda Nacif
BlockColdChain: Vaccine Cold Chain Blockchain. CoRR (2021)
Bruno Marques Cremonezi, Alex Borges Vieira, José Augusto Miranda Nacif, Michele Nogueira
A dynamic channel allocation protocol for medical environment. Ann. des Télécommunications 76 (7-8) (2021)
Racyus Delano Garcia Pacífico, Matheus S. Castanho, Luiz Filipe M. Vieira, Marcos A. M. Vieira, Lucas Ferreira Dos Santos Duarte, José Augusto Miranda Nacif
Application Layer Packet Classifier in Hardware. IM (2021)
Danilo Damião Almeida, Lucas Bragança, Frank Sill Torres, Ricardo Ferreira, José Augusto Miranda Nacif
HAMBug: A Hybrid CPU-FPGA System to Detect Race Conditions. IEEE Trans. Circuits Syst. II Express Briefs 68 (9) (2021)
Michael Canesche, Marcelo M. Menezes, Westerley Carvalho, Frank Sill Torres, Peter Jamieson, José Augusto Miranda Nacif, Ricardo S. Ferreira
TRAVERSAL: A Fast and Adaptive Graph-Based Placement and Routing for CGRAs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (8) (2021)
Lucas Bragança, Michael Canesche, Jeronimo Costa Penha, Westerley Carvalho, Giovanni Comarela, José Augusto Miranda Nacif, Ricardo S. Ferreira
An Open Source Custom K-means Generator for AWS Cloud FPGA Accelerators. SBESC (2021)
Michael Canesche, Lucas Bragança, Omar Paranaiba Vilela Neto, José Augusto Miranda Nacif, Ricardo S. Ferreira
Google Colab CAD4U: Hands-On Cloud Laboratories for Digital Design. ISCAS (2021)
Airton Ribeiro Gomes Filho, Bruno Marques Cremonezi, José Augusto Miranda Nacif, Michele Nogueira, Edelberto Franco Silva, Alex Borges Vieira
Opportunistic Attribute Caching: Improving the Efficiency of ABAC in Fog-Based IoT Networks. ICC (2021)
Michael Canesche, Westerley Carvalho, Lucas Reis, Matheus A. de Oliveira, Salles V. G. Magalhães, Peter Jamieson, José Augusto Miranda Nacif, Ricardo Ferreira
You Only Traverse Twice: A YOTT Placement, Routing, and Timing Approach for CGRAs. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Peter Jamieson, Ricardo S. Ferreira, José Augusto Miranda Nacif
Personalizing Online Computer Engineering Resources and Labs for Digital, Embedded, and Computer System Courses. FIE (2021)
Maria D. Vieira, Michael Canesche, Lucas Bragança, Josué Campos, Mateus Silva, Ricardo S. Ferreira, José Augusto Miranda Nacif
RESHAPE: A Run-Time Dataflow Hardware-Based Mapping for CGRA Overlays. ISCAS (2021)
Laysson Oliveira Luz, José Augusto Miranda Nacif, Ricardo S. Ferreira, Omar P. Vilela Neto
NMLib: A Nanomagnetic Logic Standard Cell Library. ISCAS (2021)
Fernando Passe, Michael Canesche, Omar Paranaiba Vilela Neto, José Augusto Miranda Nacif, Ricardo S. Ferreira
Mind the Gap: Bridging Verilog and Computer Architecture. ISCAS (2020)
Peter Jamieson, Ricardo S. Ferreira, José Augusto Miranda Nacif
GA-lapagos, an open-source c framework including a python-based system for data analysis. GECCO Companion (2020)
Racyus D. G. Pacífico, Lucas B. da Silva, Gerferson R. Coelho, Pablo G. Silva, Alex Borges Vieira, Marcos Augusto M. Vieira, Ítalo S. Cunha, Luiz Filipe M. Vieira, José Augusto Miranda Nacif
BloomTime: space-efficient stateful tracking of time-dependent network performance metrics. Telecommun. Syst. 74 (2) (2020)
Frank Sill Torres, Pedro Arthur Silva, Geraldo Fontes, Marcel Walter, José Augusto Miranda Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Robert Wille, Philipp Niemann, Daniel Große, Rolf Drechsler
On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata. Microprocess. Microsystems 76 (2020)
Racyus Delano Garcia Pacífico, Lucas Ferreira Dos Santos Duarte, Matheus Salgueiro Castanho, José Augusto Miranda Nacif, Marcos Augusto Menezes Vieira
Sistema de processamento de pacotes Serverless. SBRC (2020)
Westerley Carvalho, Michael Canesche, Lucas Reis, Frank Sill Torres, Lucas B. da Silva, Peter Jamieson, José Augusto Miranda Nacif, Ricardo S. Ferreira
A Design Exploration of Scalable Mesh-based Fully Pipelined Accelerators. FPT (2020)
Pedro Arthur R. L. Silva, Omar Paranaiba Vilela Neto, José Augusto Miranda Nacif
Toward nanometric scale integration: an automatic routing approach for NML circuits. SBCCI (2019)
Thales T. de Almeida, José Augusto Miranda Nacif, Fabiano Pereira Bhering, José Geraldo Ribeiro Júnior
DOCTraMS: A Decentralized and Offline Community-Based Traffic Monitoring System. IEEE Trans. Intell. Transp. Syst. 20 (3) (2019)
Ruan Evangelista Formigoni, Ricardo S. Ferreira, José Augusto Miranda Nacif
Ropper: a placement and routing framework for field-coupled nanotechnologies. SBCCI (2019)
Francisco H. M. B. Lima, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, Alex Borges Vieira, José Augusto Miranda Nacif
Water ping: ICMP for the internet of underwater things. Comput. Networks 152 (2019)
Tarsila Bessa, Christopher J. Gull, Pedro Quintão, Michael Frank, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira
JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device. Sci. Comput. Program. 173 (2019)
Jeronimo Costa Penha, Lucas B. da Silva, Jansen Silva, Kristtopher Coelho, Hector P. Baranda, José Augusto Miranda Nacif, Ricardo Ferreira
ADD: Accelerator Design and Deploy - A tool for FPGA high-performance dataflow computing. Concurr. Comput. Pract. Exp. 31 (18) (2019)
Luiz M. Matheus, Letícia Pires, Alex Borges Vieira, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif
The internet of light: Impact of colors in LED-to-LED visible light communication systems. Internet Technol. Lett. 2 (1) (2019)
Lucas Bragança da Silva, Ricardo S. Ferreira, Michael Canesche, Marcelo M. Menezes, Maria D. Vieira, Jeronimo Costa Penha, Peter Jamieson, José Augusto Miranda Nacif
READY: A Fine-Grained Multithreading Overlay Framework for Modern CPU-FPGA Dataflow Applications. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Bruno Marques Cremonezi, Michele Nogueira, Aldri Luiz dos Santos, Alex Borges Vieira, José Augusto Miranda Nacif
Um Sistema Multinível de Distribuição de Identidades em Névoas Computacionais. SBRC (2019)
Kristtopher Coelho, Danilo Damião Almeida, Guevara Noubir, Alex Borges Vieira, Michele Nogueira, José Augusto Miranda Nacif
Cryptographic Algorithms in Wearable Communications: An Empirical Analysis. IEEE Commun. Lett. 23 (11) (2019)
José Augusto Miranda Nacif, Márcio Seiji Oyamada
Special issue with selected papers from 2017 Brazilian Symposium on Computer Engineering (SBESC 2017). Des. Autom. Embed. Syst. 23 (1-2) (2019)
Pedro Caldeira, Jeronimo Costa Penha, Lucas Bragança, Ricardo Ferreira, José Augusto Miranda Nacif, Renato Ferreira, Fernando Magno Quintão Pereira
From Java to FPGA: An Experience with the Intel HARP System. SBAC-PAD (2018)
Frank Sill Torres, Pedro Arthur Silva, Geraldo Fontes, José Augusto Miranda Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Rolf Drechsler
Exploration of the Synchronization Constraint in Quantum-dot Cellular Automata. DSD (2018)
Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif, Alex Borges Vieira
Autonomous Wireless Lake Monitoring. Comput. Sci. Eng. 20 (1) (2018)
Jeronimo Costa Penha, Lucas Bragança, Kristtopher Coelho, Michael Canesche, Jansen Silva, Giovanni Comarela, José Augusto Miranda Nacif, Ricardo Ferreira
A GPU/FPGA-Based K-Means Clustering Using a Parameterized Code Generator. WSCAD (2018)
Ricardo Ferreira, Michael Canesche, Kristtopher Coelho, José Augusto Miranda Nacif
Minimum Switching Networks. SBESC (2018)
Fredy A. M. Alves, Peter Jamieson, Lucas Bragança, Ricardo Ferreira, José Augusto Miranda Nacif
Lessons learned on which applications benefit when implemented on CPU-FPGA heterogeneous system. SAMOS (2018)
Ruan Evangelista Formigoni, Omar P. Vilela Neto, José Augusto Miranda Nacif
BANCS: Bidirectional Alternating Nanomagnetic Clocking Scheme. SBCCI (2018)
Lucas Bragança, Fredy A. M. Alves, Jeronimo Costa Penha, Gabriel Coimbra, Ricardo Ferreira, José Augusto Miranda Nacif
Simplifying HW/SW integration to deploy multiple accelerators for CPU-FPGA heterogeneous platforms. SAMOS (2018)
Pedro Arthur R. L. Silva, Juliana Rezende S. B. Alves, Ricardo S. Ferreira, Omar P. Vilela Neto, José Augusto Miranda Nacif
A Novel Five-input Multiple-function QCA Threshold Gate. ISCAS (2018)
Geraldo Fontes, Pedro Arthur R. L. Silva, José Augusto Miranda Nacif, Omar P. Vilela Neto, Ricardo Ferreira
Placement and Routing by Overlapping and Merging QCA Gates. ISCAS (2018)
Lucas S. Cerqueira, Alex Borges Vieira, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif
COPPER: Increasing Underwater Sensor Network Performance Through Nodes Cooperation. ISCC (2018)
Bruno Marques Cremonezi, Alex Borges Vieira, José Augusto Miranda Nacif, Michele Nogueira
A Dynamic Channel Allocation Protocol for Medical Environment under Multiple Base Stations. WCNC (2017)
Francisco H. M. B. Lima, Luiz Filipe M. Vieira, Marcos A. M. Vieira, Alex Borges Vieira, José Augusto Miranda Nacif
Pingo d'á gua: ICMP para Internet das Coisas Aquá ticas. SBRC (2017)
Tarsila Bessa, Christopher J. Gull, Pedro Quintão, Michael Frank, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira
JetsonLEAP: a Framework to Measure Power on a Heterogeneous System-on-a-Chip Device. CoRR (2017)
Andressa Vergutz, Rafael Araujo da Silva, José Augusto Miranda Nacif, Alex Borges Vieira, Michele Nogueira
Mapping critical illness early signs to priority alert transmission on wireless networks. LATINCOM (2017)
Fredy Augusto M. Alves, Peter Jamieson, Lucas B. da Silva, Ricardo S. Ferreira, José Augusto Miranda Nacif
Designing a collision detection accelerator on a heterogeneous CPU-FPGA platform. ReConFig (2017)
Lucas B. da Silva, Danilo Damião Almeida, José Augusto Miranda Nacif, Ismael Sanchez-Osorio, Carlos A. Hernandez-Martinez, Ricardo Ferreira
Exploring the dynamics of large-scale gene regulatory networks using hardware acceleration on a heterogeneous CPU-FPGA platform. ReConFig (2017)
Alyson Trindade, Ricardo S. Ferreira, José Augusto Miranda Nacif, Douglas Sales, Omar P. Vilela Neto
A Placement and routing algorithm for Quantum-dot Cellular Automata. SBCCI (2016)
Thales T. de Almeida, José Geraldo Ribeiro Júnior, Christopher J. Gull, Fabrício A. Silva, José Augusto Miranda Nacif
DOCS4V: Design and evaluation of a distributed and offline traffic monitoring system based on collaborative data. ITSC (2016)
Christopher J. Gull, Minko T. Minkov, Eduardo Gusmao Pereira, José Augusto Miranda Nacif
A Low-Cost Chlorophyll Fluorescence Sensor System. SBESC (2016)
Sadraque S. Viana, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif, Alex Borges Vieira
Survey on the design of underwater sensor nodes. Des. Autom. Embed. Syst. 20 (3) (2016)
Racyus D. G. Pacífico, Pablo Goulart, Alex Borges Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif
Hardware Modules for Packet Interarrival Time Monitoring for Software Defined Measurements. LCN (2016)
André B. M. Gomes, Fredy A. M. Alves, Ricardo S. Ferreira, José Augusto Miranda Nacif
Increasing Observability in Post-Silicon Debug Using Asymmetric Omega Networks. SBCCI (2015)
Ricardo S. Ferreira, José Augusto Miranda Nacif, Salles V. G. Magalhães, Thales T. de Almeida, Racyus D. G. Pacífico
Be a simulator developer and go beyond in computing engineering. FIE (2015)
André B. M. Gomes, Fredy A. M. Alves, Ricardo S. Ferreira, José Augusto Miranda Nacif
Vericonn: a tool to generate efficient interconnection networks for post-silicon debug. LATS (2015)
Ricardo S. Ferreira, Luciana Rocha, André G. Santos, José Augusto Miranda Nacif, Stephan Wong, Luigi Carro
A Runtime FPGA Placement and Routing Using Low-Complexity Graph Traversal. ACM Trans. Reconfigurable Technol. Syst. 8 (2) (2015)
Elverton C. Fazzion, Osvaldo L. H. M. Fonseca, José Augusto Miranda Nacif, Omar P. Vilela Neto, Antônio Otávio Fernandes, Douglas S. Silva
A Quantum-Dot Cellular Automata Processor Design. SBCCI (2014)
Abner Luis Panho Marciano, Andre B. Oliveira, José Augusto Miranda Nacif, Omar P. Vilela Neto
An efficient FPGA implementation in quantum-dot cellular automata. SBCCI (2013)
Ricardo S. Ferreira, Luciana Rocha, André G. Santos, José Augusto Miranda Nacif, Stephan Wong, Luigi Carro
A run-time graph-based Polynomial Placement and routing algorithm for virtual FPGAS. FPL (2013)
Rafael Barra de Almeida, José Augusto Miranda Nacif, Ana Paula Couto da Silva, Alex Borges Vieira
Pollution and whitewashing attacks in a P2P live streaming system: Analysis and counter-attack. ICC (2013)
Alex Borges Vieira, Pedro de Carvalho Gomes, José Augusto Miranda Nacif, Rodrigo Mantini, Jussara M. Almeida, Sérgio Vale Aguiar Campos
Characterizing SopCast client behavior. Comput. Commun. 35 (8) (2012)
Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, David Pinto, José Augusto Miranda Nacif, Sadraque S. Viana, Alex Borges Vieira
HydroNode: an underwater sensor node prototype for monitoring hydroelectric reservoirs. WUWNet (2012)
Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes
Selection of formal verification heuristics for parallel execution. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
David Pinto, Sadraque S. Viana, José Augusto Miranda Nacif, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes
HydroNode: A low cost, energy efficient, multi purpose node for underwater sensor networks. LCN (2012)
José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Coelho
Tracking hardware evolution. ISQED (2011)
José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Nunes Coelho
A cache based algorithm to predict HDL modules faults. LATW (2011)
Thiago Nunes Coelho Cardoso, José Augusto Miranda Nacif, Antônio Otávio Fernandes, Claudionor Nunes Coelho
BugTracer: A system for integrated circuit development tracking and statistics retrieval. LATW (2009)
José Augusto Miranda Nacif, Thiago S. F. Silva, Andréa Iabrudi Tavares, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
Efficient Allocation of Verification Resources using Revision History Information. DDECS (2008)
Rodrigo M. Passos, José Augusto Miranda Nacif, Raquel A. F. Mini, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
System-level Dynamic Power Management Techniques for Communication Intensive Devices. VLSI-SoC (2006)
Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes
Exception handling in microprocessors using assertion libraries. SBCCI (2004)
José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes
The Chip is Ready. Am I done? On-chip Verification using Assertion Processors. VLSI-SOC (2003)
Ana Luiza A. P. Zuquim, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, Alex Borges Vieira, Hervaldo S. Carvalho, José Augusto Miranda Nacif, Claudionor Coelho, Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes, Antonio Alfredo Ferreira Loureiro
Efficient power management in real-time embedded systems. ETFA (1) (2003)
José Augusto Miranda Nacif, Claudionor Nunes Coelho, Harry Foster, Flávio Miana de Paula, Edjard Mota, Márcia Roberta Falcão Mota, Antônio Otávio Fernandes
On-Chip Property Verification Using Assertion Processors. VLSI-SoC (Selected Papers) (2003)
Flávio Miana de Paula, Claudionor José Nunes Coelho Jr., Harry Foster, José Augusto Miranda Nacif, Joseph Tompkins, Antônio Otávio Fernandes, Diógenes Cecilio da Silva Jr.
Refactoring digital hardware designs with assertion libraries. HLDVT (2003)

José Augusto Miranda Nacif.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

José Augusto Miranda Nacif