 | 2012 |
|---|
| 7 |       | Alex Borges Vieira,
Pedro Gomes,
José Augusto Miranda Nacif,
Rodrigo Mantini,
Jussara M. Almeida,
Sérgio Vale Aguiar Campos:
Characterizing SopCast client behavior.
Computer Communications 35(8): 1004-1016 (2012) |
| 6 | | 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.
STTT 14(1): 95-108 (2012) |
| 2011 |
|---|
| 5 | | 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: 442-447 |
| 2008 |
|---|
| 4 | | 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: 190-194 |
| 2006 |
|---|
| 3 | | 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: 373-378 |
| 2004 |
|---|
| 2 | | 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: 55-59 |
| 2003 |
|---|
| 1 |  | 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: 111- |
Data released under the ODC-BY 1.0 license — See also our legal information page