1
TITLE: The ARPA-MT Embedded SMT Processor and Its RTOS Hardware Accelerator  Full Text
AUTHORS: Arnaldo S R Oliveira ; Luis Almeida ; Antonio de Brito Ferrari ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 58, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
2
TITLE: ARPA - A technology independent and synthetizable system-on-chip model for real-time applications
AUTHORS: Oliveira, ASR ; Sklyarov, VA; Ferrari, AB ;
PUBLISHED: 2005, SOURCE: 8th Euromicro Conference on Digital System Design in DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings, VOLUME: 2005
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: A software/reconfigurable hardware SAT solver  Full Text
AUTHORS: Skliarova, I ; Ferrari, AB ;
PUBLISHED: 2004, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 12, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: Reconfigurable hardware SAT solvers: A survey of systems
AUTHORS: Skliarova, I ; Ferrari, AD ;
PUBLISHED: 2004, SOURCE: 13th International Conference on Field-Programmable Logic and Applications (FPL 2003) in IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 53, ISSUE: 11
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
5
TITLE: Reconfigurable hardware SAT solvers: A survey of systems
AUTHORS: Skliarova, I ; Ferrari, AB ;
PUBLISHED: 2003, SOURCE: 13th International Conference on Field-Programmable Logic and Applications (FPL 2003) in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2778
INDEXED IN: Scopus WOS
IN MY: ORCID
6
TITLE: The design and implementation of a reconfigurable processor for problems of combinatorial computation  Full Text
AUTHORS: Skliarova, I ; Ferrari, AB ;
PUBLISHED: 2003, SOURCE: Euromicro Symposium on Digital Systems Design (DSD 2001) in JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 49, ISSUE: 4-6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
7
TITLE: Development system for FPGA-based digital circuits
AUTHORS: Sklyarov, V; Fonseca, J ; Monteiro, R; Oliveira, A ; Melo, A; Lau, N ; Skliarova, I ; Neves, P; Ferrari, A ;
PUBLISHED: 1999, SOURCE: Proceedings of the 7th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCMM 1999) in IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings
INDEXED IN: Scopus
IN MY: ORCID