José A. M. Nacif

According to our database, José A. M. Nacif authored at least 110 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Examples and tutorials on using Google Colab and Gradio to create online interactive student-learning modules.

Ricardo S. Ferreira, Michael Canesche, Peter Jamieson, Omar P. Vilela Neto, José A. M. Nacif

Comput. Appl. Eng. Educ., July, 2024

eBPFlow: A Hardware/Software Platform to Seamlessly Offload Network Functions Leveraging eBPF.

Racyus D. G. Pacífico, Lucas Ferreira Dos Santos Duarte, Luiz Filipe M. Vieira, Barath Raghavan, José A. M. Nacif, Marcos A. M. Vieira

IEEE/ACM Trans. Netw., April, 2024

AIoT tool integration for enriching teaching resources and monitoring student engagement.

Ricardo S. Ferreira, Carlos Sabino, Michael Canesche, Omar Paranaiba Vilela Neto, José Augusto Miranda Nacif

Internet Things, 2024

Identity management for Internet of Things: Concepts, challenges and opportunities.

Bruno Marques Cremonezi, Alex Borges Vieira, José A. M. Nacif, Edelberto Franco Silva, Michele Nogueira

Comput. Commun., 2024

A Nanomagnetic Logic based processor.

Luís Fernando Miki, Laysson Oliveira Luz, José Augusto Miranda Nacif, Ricardo S. Ferreira, Omar P. Vilela Neto

Proceedings of the 37th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design, 2024

Robustness Analysis of Atomic Silicon Quantum Dot Logic Gates.

Arthur M. Fortini, João Gabriel O. Bicalho, Omar P. Vilela Neto, Maria D. Vieira, José Augusto Miranda Nacif, Ricardo S. Ferreira

Proceedings of the 37th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design, 2024

Context-Sensitive Access Control and Zero Trust for Security in E-Health.

Lucas L. C. Freitas, Kristtopher Kayo Coelho, Michele Nogueira, Alex Borges Vieira, José Augusto Miranda Nacif, Edelberto F. Silva

Proceedings of the IEEE Symposium on Computers and Communications, 2024

A Dynamic Approach to Health Data Anonymization by Separatrices.

Kristtopher Kayo Coelho, Maurício M. Okuyama, Michele Nogueira, Alex Borges Vieira, Edelberto F. Silva, José Augusto Miranda Nacif

Proceedings of the IEEE Symposium on Computers and Communications, 2024

2023

Multimodal biometric authentication method by federated learning.

Kristtopher Kayo Coelho, Eduardo T. Tristão, Michele Nogueira, Alex Borges Vieira, José A. M. Nacif

Biomed. Signal Process. Control., August, 2023

A survey on federated learning for security and privacy in healthcare applications.

Kristtopher Kayo Coelho, Michele Nogueira, Alex Borges Vieira, Edelberto F. Silva, José Augusto Miranda Nacif

Comput. Commun., July, 2023

VariBan: A Variable Bandwidth channel allocation algorithm for IEEE 802.15.4e-based networks.

Guilherme A. S. Milanez, Marcos A. M. Vieira, Luiz Filipe M. Vieira, José Augusto Miranda Nacif

Comput. Networks, July, 2023

Gene regulatory accelerators on cloud FPGA.

Jeronimo Costa Penha, Lucas Bragança, Michael Canesche, Dener Ribeiro, José Augusto Miranda Nacif, Ricardo S. Ferreira

Concurr. Comput. Pract. Exp., 2023

Heterogeneous reconfigurable architectures for machine learning dataflows.

Westerley Carvalho, Michael Canesche, Lucas Reis, José Augusto Miranda Nacif, Ricardo S. Ferreira

Concurr. Comput. Pract. Exp., 2023

Fast flow cloud: A stream dataflow framework for cloud FPGA accelerator overlays at runtime.

Lucas Bragança, Michael Canesche, Jeronimo Costa Penha, Josué Campos, José Augusto Miranda Nacif, Ricardo S. Ferreira

Concurr. Comput. Pract. Exp., 2023

Um Protocolo Multicast para Comunicação por Luz Visível (VLC).

Samuel P. C. Sena, Luiz Filipe M. Vieira, Marcos A. M. Vieira, Alex Borges Vieira, Edelberto F. Silva, José Augusto Miranda Nacif

Proceedings of the 41st Brazilian Symposium on Computer Networks and Distributed Systems, 2023

Comparação e Análise de Custo e Desempenho entre Nós de Redes Blockchain Permissionadas e Públicas.

Ronan Dutra Mendonça, Ericksulino Manoel de Araújo Moura, Glauber Dias Gonçalves, Alex Borges Vieira, José A. M. Nacif

Proceedings of the 41st Brazilian Symposium on Computer Networks and Distributed Systems, 2023

A Software-Defined Wireless Network-Based System for Prioritizing Medical Alert Messages.

Genilson Israel Da Silva, Alex Borges Vieira, Michele Nogueira, Edelberto Franco Silva, José Augusto Miranda Nacif

Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

RDSF: Everything at Same Place All at Once - A Random Decision Single Forest.

Olavo A. B. Silva, Alysson K. C. Silva, Ícaro G. S. Moreira, José A. M. Nacif, Ricardo S. Ferreira

Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

Exploring Nanomagnetic Logic with Bennett Clocking.

Pedro Arthur R. L. Silva, Jeferson F. Chaves, José Augusto Miranda Nacif, Ricardo S. Ferreira, Omar Paranaiba Vilela Neto

Proceedings of the 36th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design, 2023

A Non-Blocking Multistage Interconnection using Regular Clock Schemes for QCA Circuits.

Stefan T. Couperus Leal, Michael Canesche, Omar P. Vilela Neto, Ricardo S. Ferreira, José A. M. Nacif

Proceedings of the 36th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design, 2023

L-BANCS: A Multi-Phase Tile Design for Nanomagnetic Logic.

Ruan Evangelista Formigoni, Ricardo S. Ferreira, Omar P. Vilela Neto, José Augusto Miranda Nacif

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2023

2022

Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots.

Maria D. Vieira, Samuel S. H. Ng, Marcel Walter, Robert Wille, Konrad Walus, Ricardo S. Ferreira, Omar P. Vilela Neto, José Augusto Miranda Nacif

IEEE Des. Test, 2022

Improving the attribute retrieval on ABAC using opportunistic caches for Fog-Based IoT Networks.

Bruno Marques Cremonezi, Airton Ribeiro Gomes Filho, Edelberto Franco Silva, José Augusto Miranda Nacif, Alex Borges Vieira, Michele Nogueira

Comput. Networks, 2022

LORENA: Low memORy symmEtric-Key geNerAtion Method for Based on Group Cryptography Protocol Applied to the Internet of Healthcare Things.

Kristtopher Kayo Coelho, Michele Nogueira, Mateus Coutinho Marim, Edelberto Franco Silva, Alex Borges Vieira, José Augusto Miranda Nacif

IEEE Access, 2022

A Bi-directional Attribute Synchronization Mechanism for Access Control in IoT Environments.

Bruno Marques Cremonezi, Luciano F. da Rocha, Alex Borges Vieira, José A. M. Nacif, André Luíz de Oliveira, Edelberto Franco Silva

Proceedings of the Mobile Computing, Applications, and Services, 2022

Function as a Service Offloaded to a SmartNIC.

Racyus D. G. Pacífico, Marcos A. M. Vieira, Lucas Ferreira Dos Santos Duarte, José A. M. Nacif

Proceedings of the IEEE Latin-American Conference on Communications, 2022

An NML in-plane Wire Crossing Structure.

Laysson Oliveira Luz, José Augusto Miranda Nacif, Ricardo S. Ferreira, Omar P. Vilela Neto

Proceedings of the 13th IEEE Latin America Symposium on Circuits and System, 2022

A polynomial time exact solution to the bit-aware register binding problem.

Michael Canesche, Ricardo S. Ferreira, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

A cooperative protocol for pervasive underwater acoustic networks.

Lucas S. Cerqueira, Alex Borges Vieira, Luiz Filipe M. Vieira, Marcos A. M. Vieira, José Augusto Miranda Nacif

Wirel. Networks, 2021

You Only Traverse Twice: A YOTT Placement, Routing, and Timing Approach for CGRAs.

Michael Canesche, Westerley Carvalho, Lucas Reis, Matheus Aguilar de Oliveira, Salles V. G. Magalhães, Peter Jamieson, José Augusto Miranda Nacif, Ricardo Ferreira

ACM Trans. Embed. Comput. Syst., 2021

HAMBug: A Hybrid CPU-FPGA System to Detect Race Conditions.

Danilo Damião Almeida, Lucas Bragança, Frank Sill Torres, Ricardo Ferreira, José Augusto Miranda Nacif

IEEE Trans. Circuits Syst. II Express Briefs, 2021

TRAVERSAL: A Fast and Adaptive Graph-Based Placement and Routing for CGRAs.

Michael Canesche, Marcelo M. Menezes, Westerley Carvalho, Frank Sill Torres, Peter Jamieson, José Augusto Miranda Nacif, Ricardo S. Ferreira

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

BlockColdChain: Vaccine Cold Chain Blockchain.

Ronan Dutra Mendonça, Otávio S. Gomes, Luiz Filipe M. Vieira, Marcos A. M. Vieira, Alex Borges Vieira, José Augusto Miranda Nacif

CoRR, 2021

A dynamic channel allocation protocol for medical environment.

Bruno Marques Cremonezi, Alex Borges Vieira, José Augusto Miranda Nacif, Michele Nogueira

Ann. des Télécommunications, 2021

Data Center TCP com Histerese em Switches P4.

Vítor L. G. Silva, José A. M. Nacif, Marcos A. M. Vieira

Proceedings of the 39th Brazilian Symposium on Computer Networks and Distributed Systems, 2021

Sistema de Detecção de Intrusão Serverless em uma SmartNIC.

Lucas Ferreira Dos Santos Duarte, Racyus D. G. Pacífico, Marcos A. M. Vieira, José A. M. Nacif

Proceedings of the 39th Brazilian Symposium on Computer Networks and Distributed Systems, 2021

Um Método para Extração e Refinamento de Políticas de Acesso baseado em Árvore de Decisão e Algoritmo Genético.

Bruno Marques Cremonezi, Alex Borges Vieira, José A. M. Nacif, Edelberto F. Silva, Michele Nogueira

Proceedings of the 39th Brazilian Symposium on Computer Networks and Distributed Systems, 2021

An Open Source Custom K-means Generator for AWS Cloud FPGA Accelerators.

Lucas Bragança, Michael Canesche, Jeronimo Costa Penha, Westerley Carvalho, Giovanni Comarela, José Augusto Miranda Nacif, Ricardo S. Ferreira

Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021

RESHAPE: A Run-Time Dataflow Hardware-Based Mapping for CGRA Overlays.

Maria D. Vieira, Michael Canesche, Lucas Bragança, Josué Campos, Mateus Silva, Ricardo S. Ferreira, José Augusto Miranda Nacif

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

Is It Time to Include High-Level Synthesis Design in Digital System Education for Undergraduate Computer Engineers?

Isaac Nelson, Ricardo S. Ferreira, José Augusto Miranda Nacif, Peter Jamieson

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

NMLib: A Nanomagnetic Logic Standard Cell Library.

Laysson Oliveira Luz, José Augusto Miranda Nacif, Ricardo S. Ferreira, Omar P. Vilela Neto

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

Google Colab CAD4U: Hands-On Cloud Laboratories for Digital Design.

Michael Canesche, Lucas Bragança, Omar Paranaiba Vilela Neto, José Augusto Miranda Nacif, Ricardo S. Ferreira

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

Application Layer Packet Classifier in Hardware.

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

Proceedings of the 17th IFIP/IEEE International Symposium on Integrated Network Management, 2021

Opportunistic Attribute Caching: Improving the Efficiency of ABAC in Fog-Based IoT Networks.

Airton Ribeiro Gomes Filho, Bruno Marques Cremonezi, José Augusto Miranda Nacif, Michele Nogueira, Edelberto Franco Silva, Alex Borges Vieira

Proceedings of the ICC 2021, 2021

Personalizing Online Computer Engineering Resources and Labs for Digital, Embedded, and Computer System Courses.

Peter Jamieson, Ricardo S. Ferreira, José Augusto Miranda Nacif

Proceedings of the IEEE Frontiers in Education Conference, 2021

Analyzing a Low-bit rate Audio Codec - Codec2 - on an FPGA.

Peter Jamieson, Santhiya Sampath Kumar, José Augusto Miranda Nacif, Ricardo S. Ferreira

Proceedings of the International Conference on Computational Science and Computational Intelligence, 2021

2020

BloomTime: space-efficient stateful tracking of time-dependent network performance metrics.

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

Telecommun. Syst., 2020

On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata.

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

Microprocess. Microsystems, 2020

Sistema de processamento de pacotes Serverless.

Racyus Delano Garcia Pacífico, Lucas Ferreira Dos Santos Duarte, Matheus Salgueiro Castanho, José Augusto Miranda Nacif, Marcos Augusto Menezes Vieira

Proceedings of the XXXVIII Brazilian Symposium on Computer Networks and Distributed Systems, 2020

Mind the Gap: Bridging Verilog and Computer Architecture.

Fernando Passe, Michael Canesche, Omar Paranaiba Vilela Neto, José Augusto Miranda Nacif, Ricardo S. Ferreira

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

A Design Exploration of Scalable Mesh-based Fully Pipelined Accelerators.

Westerley Carvalho, Michael Canesche, Lucas Reis, Frank Sill Torres, Lucas B. da Silva, Peter Jamieson, José Augusto Miranda Nacif, Ricardo S. Ferreira

Proceedings of the International Conference on Field-Programmable Technology, 2020

GA-lapagos, an open-source c framework including a python-based system for data analysis.

Peter Jamieson, Ricardo S. Ferreira, José Augusto Miranda Nacif

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

2019

DOCTraMS: A Decentralized and Offline Community-Based Traffic Monitoring System.

Thales T. de Almeida, José Augusto Miranda Nacif, Fabiano Pereira Bhering, José Geraldo Ribeiro Júnior

IEEE Trans. Intell. Transp. Syst., 2019

READY: A Fine-Grained Multithreading Overlay Framework for Modern CPU-FPGA Dataflow Applications.

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

ACM Trans. Embed. Comput. Syst., 2019

JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device.

Tarsila Bessa, Christopher J. Gull, Pedro Quintão, Michael Frank, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira

Sci. Comput. Program., 2019

The internet of light: Impact of colors in LED-to-LED visible light communication systems.

Luiz M. Matheus, Letícia Pires, Alex Borges Vieira, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif

Internet Technol. Lett., 2019

Cryptographic Algorithms in Wearable Communications: An Empirical Analysis.

Kristtopher Coelho, Danilo Damião Almeida, Guevara Noubir, Alex Borges Vieira, Michele Nogueira, José Augusto Miranda Nacif

IEEE Commun. Lett., 2019

Special issue with selected papers from 2017 Brazilian Symposium on Computer Engineering (SBESC 2017).

José Augusto Miranda Nacif, Márcio Seiji Oyamada

Des. Autom. Embed. Syst., 2019

ADD: Accelerator Design and Deploy - A tool for FPGA high-performance dataflow computing.

Jeronimo Costa Penha, Lucas B. da Silva, Jansen Silva, Kristtopher Coelho, Hector P. Baranda, José Augusto Miranda Nacif, Ricardo Ferreira

Concurr. Comput. Pract. Exp., 2019

Water ping: ICMP for the internet of underwater things.

Francisco H. M. B. Lima, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, Alex Borges Vieira, José Augusto Miranda Nacif

Comput. Networks, 2019

Um Sistema Multinível de Distribuição de Identidades em Névoas Computacionais.

Bruno Marques Cremonezi, Michele Nogueira, Aldri Luiz dos Santos, Alex Borges Vieira, José Augusto Miranda Nacif

Proceedings of the XXXVII Brazilian Symposium on Computer Networks and Distributed Systems, 2019

Toward nanometric scale integration: an automatic routing approach for NML circuits.

Pedro Arthur R. L. Silva, Omar Paranaiba Vilela Neto, José Augusto Miranda Nacif

Proceedings of the 32nd Symposium on Integrated Circuits and Systems Design, 2019

Ropper: a placement and routing framework for field-coupled nanotechnologies.

Ruan Evangelista Formigoni, Ricardo S. Ferreira, José Augusto Miranda Nacif

Proceedings of the 32nd Symposium on Integrated Circuits and Systems Design, 2019

2018

Autonomous Wireless Lake Monitoring.

Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif, Alex Borges Vieira

Comput. Sci. Eng., 2018

A GPU/FPGA-Based K-Means Clustering Using a Parameterized Code Generator.

Jeronimo Costa Penha, Lucas Bragança, Kristtopher Coelho, Michael Canesche, Jansen Silva, Giovanni Comarela, José Augusto Miranda Nacif, Ricardo Ferreira

Proceedings of the Symposium on High Performance Computing Systems, 2018

Roteador SDN em hardware independente de protocolo com análise, casamento e ações dinâmicas.

Racyus D. G. Pacífico, Gerferson R. Coelho, Marcos A. M. Vieira, José A. M. Nacif

Proceedings of the XXXVI Brazilian Symposium on Computer Networks and Distributed Systems, 2018

ProCoopa: um Protocolo Cooperativo para Redes de Sensores sem fio Aquáticas.

Lucas S. Cerqueira, Alex Borges Vieira, Luiz Filipe M. Vieira, Marcos A. M. Vieira, José A. M. Nacif

Proceedings of the XXXVI Brazilian Symposium on Computer Networks and Distributed Systems, 2018

Minimum Switching Networks.

Ricardo Ferreira, Michael Canesche, Kristtopher Coelho, José Augusto Miranda Nacif

Proceedings of the VIII Brazilian Symposium on Computing Systems Engineering, 2018

BANCS: Bidirectional Alternating Nanomagnetic Clocking Scheme.

Ruan Evangelista Formigoni, Omar P. Vilela Neto, José Augusto Miranda Nacif

Proceedings of the 31st Symposium on Integrated Circuits and Systems Design, 2018

From Java to FPGA: An Experience with the Intel HARP System.

Pedro Caldeira, Jeronimo Costa Penha, Lucas Bragança, Ricardo Ferreira, José Augusto Miranda Nacif, Renato Ferreira, Fernando Magno Quintão Pereira

Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 2018

Simplifying HW/SW integration to deploy multiple accelerators for CPU-FPGA heterogeneous platforms.

Lucas Bragança, Fredy A. M. Alves, Jeronimo Costa Penha, Gabriel T. P. Coimbra, Ricardo Ferreira, José Augusto Miranda Nacif

Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, 2018

Lessons learned on which applications benefit when implemented on CPU-FPGA heterogeneous system.

Fredy A. M. Alves, Peter Jamieson, Lucas Bragança, Ricardo Ferreira, José Augusto Miranda Nacif

Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, 2018

COPPER: Increasing Underwater Sensor Network Performance Through Nodes Cooperation.

Lucas S. Cerqueira, Alex Borges Vieira, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif

Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018

A Novel Five-input Multiple-function QCA Threshold Gate.

Pedro Arthur R. L. Silva, Juliana Rezende S. B. Alves, Ricardo S. Ferreira, Omar P. Vilela Neto, José Augusto Miranda Nacif

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Placement and Routing by Overlapping and Merging QCA Gates.

Geraldo Fontes, Pedro Arthur R. L. Silva, José Augusto Miranda Nacif, Omar P. Vilela Neto, Ricardo Ferreira

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Exploration of the Synchronization Constraint in Quantum-dot Cellular Automata.

Frank Sill Torres, Pedro Arthur Silva, Geraldo Fontes, José Augusto Miranda Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Rolf Drechsler

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

2017

A Dynamic Channel Allocation Protocol for Medical Environment under Multiple Base Stations.

Bruno Marques Cremonezi, Alex Borges Vieira, José Augusto Miranda Nacif, Michele Nogueira

Proceedings of the 2017 IEEE Wireless Communications and Networking Conference, 2017

Pingo d'á gua: ICMP para Internet das Coisas Aquá ticas.

Francisco H. M. B. Lima, Luiz Filipe M. Vieira, Marcos A. M. Vieira, Alex Borges Vieira, José Augusto Miranda Nacif

Proceedings of the XXXV Brazilian Symposium on Computer Networks and Distributed Systems, 2017

Um Protocolo de Alocação Dinâmica de Canais para Ambientes Médicos sob Múltiplas Estações Base.

Bruno Marques Cremonezi, Alex Borges Vieira, Michele Nogueira, José A. M. Nacif

Proceedings of the XXXV Brazilian Symposium on Computer Networks and Distributed Systems, 2017

Exploring the dynamics of large-scale gene regulatory networks using hardware acceleration on a heterogeneous CPU-FPGA platform.

Lucas B. da Silva, Danilo Damião Almeida, José Augusto Miranda Nacif, Ismael Sanchez-Osorio, Carlos A. Hernandez-Martinez, Ricardo Ferreira

Proceedings of the International Conference on ReConFigurable Computing and FPGAs, 2017

Designing a collision detection accelerator on a heterogeneous CPU-FPGA platform.

Fredy Augusto M. Alves, Peter Jamieson, Lucas B. da Silva, Ricardo S. Ferreira, José Augusto Miranda Nacif

Proceedings of the International Conference on ReConFigurable Computing and FPGAs, 2017

Mapping critical illness early signs to priority alert transmission on wireless networks.

Andressa Vergutz, Rafael Araujo da Silva, José Augusto Miranda Nacif, Alex Borges Vieira, Michele Nogueira

Proceedings of the 9th IEEE Latin-American Conference on Communications, 2017

2016

Survey on the design of underwater sensor nodes.

Sadraque S. Viana, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif, Alex Borges Vieira

Des. Autom. Embed. Syst., 2016

A Low-Cost Chlorophyll Fluorescence Sensor System.

Christopher J. Gull, Minko T. Minkov, Eduardo Gusmao Pereira, José Augusto Miranda Nacif

Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

A Placement and routing algorithm for Quantum-dot Cellular Automata.

Alyson Trindade, Ricardo S. Ferreira, José Augusto Miranda Nacif, Douglas Sales, Omar P. Vilela Neto

Proceedings of the 29th Symposium on Integrated Circuits and Systems Design, 2016

Hardware Modules for Packet Interarrival Time Monitoring for Software Defined Measurements.

Racyus D. G. Pacífico, Pablo Goulart, Alex Borges Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif

Proceedings of the 41st IEEE Conference on Local Computer Networks, 2016

DOCS4V: Design and evaluation of a distributed and offline traffic monitoring system based on collaborative data.

Thales T. de Almeida, José Geraldo Ribeiro Júnior, Christopher J. Gull, Fabrício A. Silva, José Augusto Miranda Nacif

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

2015

A Runtime FPGA Placement and Routing Using Low-Complexity Graph Traversal.

Ricardo S. Ferreira, Luciana Rocha, André G. Santos, José Augusto Miranda Nacif, Stephan Wong, Luigi Carro

ACM Trans. Reconfigurable Technol. Syst., 2015

Increasing Observability in Post-Silicon Debug Using Asymmetric Omega Networks.

André B. M. Gomes, Fredy A. M. Alves, Ricardo S. Ferreira, José Augusto Miranda Nacif

Proceedings of the 28th Symposium on Integrated Circuits and Systems Design, 2015

Vericonn: a tool to generate efficient interconnection networks for post-silicon debug.

André B. M. Gomes, Fredy A. M. Alves, Ricardo S. Ferreira, José Augusto Miranda Nacif

Proceedings of the 16th Latin-American Test Symposium, 2015

Be a simulator developer and go beyond in computing engineering.

Ricardo S. Ferreira, José Augusto Miranda Nacif, Salles V. G. Magalhães, Thales T. de Almeida, Racyus D. G. Pacífico

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

2014

A Quantum-Dot Cellular Automata Processor Design.

Elverton C. Fazzion, Osvaldo L. H. M. Fonseca, José Augusto Miranda Nacif, Omar P. Vilela Neto, Antônio Otávio Fernandes, Douglas S. Silva

Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, 2014

2013

An efficient FPGA implementation in quantum-dot cellular automata.

Abner Luis Panho Marciano, Andre B. Oliveira, José Augusto Miranda Nacif, Omar P. Vilela Neto

Proceedings of the 26th Symposium on Integrated Circuits and Systems Design, 2013

Pollution and whitewashing attacks in a P2P live streaming system: Analysis and counter-attack.

Rafael Barra de Almeida, José Augusto Miranda Nacif, Ana Paula Couto da Silva, Alex Borges Vieira

Proceedings of IEEE International Conference on Communications, 2013

A run-time graph-based Polynomial Placement and routing algorithm for virtual FPGAS.

Ricardo S. Ferreira, Luciana Rocha, André G. Santos, José Augusto Miranda Nacif, Stephan Wong, Luigi Carro

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013

2012

Selection of formal verification heuristics for parallel execution.

Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes

Int. J. Softw. Tools Technol. Transf., 2012

Characterizing SopCast client behavior.

Alex Borges Vieira, Pedro de Carvalho Gomes, José Augusto Miranda Nacif, Rodrigo Mantini, Jussara M. Almeida, Sérgio Vale Aguiar Campos

Comput. Commun., 2012

HydroNode: an underwater sensor node prototype for monitoring hydroelectric reservoirs.

Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, David Pinto, José Augusto Miranda Nacif, Sadraque S. Viana, Alex Borges Vieira

Proceedings of the Conference on Under Water Networks, 2012

HydroNode: A low cost, energy efficient, multi purpose node for underwater sensor networks.

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

Proceedings of the 37th Annual IEEE Conference on Local Computer Networks, 2012

2011

Uma metodologia para identificação de módulos de circuitos integrados propensos a erros.

José Augusto Miranda Nacif

PhD thesis, 2011

A cache based algorithm to predict HDL modules faults.

José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Nunes Coelho

Proceedings of the 12th Latin American Test Workshop, 2011

Tracking hardware evolution.

José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Coelho

Proceedings of the 12th International Symposium on Quality Electronic Design, 2011

2009

BugTracer: A system for integrated circuit development tracking and statistics retrieval.

Thiago Nunes Coelho Cardoso, José Augusto Miranda Nacif, Antônio Otávio Fernandes, Claudionor Nunes Coelho

Proceedings of the 10th Latin American Test Workshop, 2009

2008

Efficient Allocation of Verification Resources using Revision History Information.

José Augusto Miranda Nacif, Thiago S. F. Silva, Andréa Iabrudi Tavares, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.

Proceedings of the 11th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2008), 2008

2006

System-level Dynamic Power Management Techniques for Communication Intensive Devices.

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.

Proceedings of the IFIP VLSI-SoC 2006, 2006

2004

Exception handling in microprocessors using assertion libraries.

Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes

Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004

2003

The Chip is Ready. Am I done? On-chip Verification using Assertion Processors.

José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes

Proceedings of the IFIP VLSI-SoC 2003, 2003

On-Chip Property Verification Using Assertion Processors.

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

Proceedings of the VLSI-SOC: From Systems to Chips, 2003

Refactoring digital hardware designs with assertion libraries.

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.

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

Efficient power management in real-time embedded systems.

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

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003