11
TITLE: Optimization of area in digital FIR filters using gate-level metrics  Full Text
AUTHORS: Levent Aksoy ; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLISHED: 2007, SOURCE: 44th ACM/IEEE Design Automation Conference in 2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2
INDEXED IN: Scopus WOS CrossRef
12
TITLE: Effect of number representation on the achievable minimum number of operations in multiple constant multiplications  Full Text
AUTHORS: Levent Aksoy ; Ece Cay Gunes; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLISHED: 2007, SOURCE: IEEE Workshop on Signal Processing Systems in 2007 IEEE WORKSHOP ON SIGNAL PROCESSING SYSTEMS, VOLS 1 AND 2
INDEXED IN: Scopus WOS CrossRef
13
TITLE: Minimum number of operations under a general number representation for digital filter synthesis
AUTHORS: Levent Aksoy ; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLISHED: 2007, SOURCE: 18th European Conference on Circuit Theory Design in 2007 EUROPEAN CONFERENCE ON CIRCUIT THEORY AND DESIGN, VOLS 1-3
INDEXED IN: Scopus WOS CrossRef
14
TITLE: Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming  Full Text
AUTHORS: Levent Aksoy ; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLISHED: 2006, SOURCE: 43rd Design Automation Conference in 43rd Design Automation Conference, Proceedings 2006
INDEXED IN: Scopus WOS CrossRef
15
TITLE: ASSUMEs: Heuristic algorithms for optimization of area and delay in digital filter synthesis
AUTHORS: Levent Aksoy ; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLISHED: 2006, SOURCE: 13th IEEE International Conference on Electronics, Circuits and Systems in 2006 13TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS 1-3
INDEXED IN: Scopus WOS CrossRef
16
TITLE: An exact algorithm for the maximal sharing of partial terms in Multiple Constant Multiplications  Full Text
AUTHORS: Flores, P ; Monteiro, J ; Costa, E;
PUBLISHED: 2005, SOURCE: IEEE/ACM International Conference on Computer Aided Design in ICCAD-2005: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, VOLUME: 2005
INDEXED IN: Scopus WOS CrossRef
17
TITLE: Automatically verifying an object-oriented specification of the Steam-Boiler system  Full Text
AUTHORS: Carreira, PJF; Costa, MEF;
PUBLISHED: 2003, SOURCE: 5th ERCIM International Workshop on Forman Methods for Industrial Critical Systems (FMICS) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 46, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
18
TITLE: A new pipelined array architecture for signed multiplication
AUTHORS: Costa, E; Bampi, S; Monteiro, J;
PUBLISHED: 2003, SOURCE: 16th Symposium on Integrated Circuits and Systems Design in 16TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, SBCCI 2003, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
19
TITLE: A new architecture for signed Radix-2(m) pure array multipliers  Full Text
AUTHORS: Costa, E; Bampi, S; Monteiro, J ;
PUBLISHED: 2002, SOURCE: 20th IEEE International Conference on Computer Design in ICCD'2002: IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
20
TITLE: Power efficient arithmetic operand encoding
AUTHORS: Costa, E; Bampi, S; Monteiro, J ;
PUBLISHED: 2001, SOURCE: 14th Symposium on Integrated Circuits and Systems Design in 14TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS
INDEXED IN: WOS
Page 2 of 2. Total results: 20.