Miodrag Potkonjak

Mile K. Stojcev

Microelectron. Reliab., 2004

Gateway Placement for Latency and Energy Efficient Data Aggregation.

[BibT_eX]

[DOI]

Roozbeh Jafari

Proceedings of the 29th Annual IEEE Conference on Local Computer Networks (LCN 2004), 2004

Relative Generic Computational Forensic Techniques.

[BibT_eX]

[DOI]

Proceedings of the Information Hiding, 6th International Workshop, 2004

Wire-length prediction using statistical techniques.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Security and Privacy Protection in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Sensor Networks, 2004

Fault Tolerance in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Proceedings of the Handbook of Sensor Networks, 2004

Localized Algorithms for Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Sensor Networks, 2004

Sensor Network Architecture.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Sensor Networks, 2004

2003

System synthesis of synchronous multimedia applications.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2003

Local watermarks: methodology and application to behavioral synthesis.

[BibT_eX]

[DOI]

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

Real-time watermarking techniques for sensor networks.

[BibT_eX]

[DOI]

Jessica Fang

Proceedings of the Security and Watermarking of Multimedia Contents V, 2003

Minimal and maximal exposure path algorithms for wireless embedded sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, 2003

Model-based compression in wireless ad hoc networks.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, 2003

Low power coordination in wireless ad-hoc networks.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003

Characterization of Location Error in Wireless Sensor Networks: Analysis and Applications.

[BibT_eX]

[DOI]

Proceedings of the Information Processing in Sensor Networks, 2003

A Collaborative Approach to In-Place Sensor Calibration.

[BibT_eX]

[DOI]

Proceedings of the Information Processing in Sensor Networks, 2003

Gradual Relaxation Techniques with Applications to Behavioral Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

PPM Model Cleaning.

[BibT_eX]

[DOI]

Proceedings of the 2003 Data Compression Conference (DCC 2003), 2003

Design techniques for sensor appliances: foundations and light compass case study.

[BibT_eX]

[DOI]

Proceedings of the 40th Design Automation Conference, 2003

An on-line approach for power minimization in QoS sensitive systems.

[BibT_eX]

[DOI]

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2002

Exposure in Wireless Sensor Networks: Theory and Practical Solutions.

[BibT_eX]

[DOI]

Wirel. Networks, 2002

Techniques for energy-efficient communication pipeline design.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2002

Watermarking graph partitioning solutions.

[BibT_eX]

[DOI]

Gregory Wolfe

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

Location errors in wireless embedded sensor networks: sources, models, and effects on applications.

[BibT_eX]

[DOI]

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2002

Code Coverage-Based Power Estimation Techniques for Microprocessors.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2002

On Communication Security in Wireless Ad-Hoc Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002), 2002

On the Sensitivity of Incremental Algorithms for Combinatorial Auctions.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS'02), 2002

Hiding Data in DNA.

[BibT_eX]

[DOI]

Boris Shimanovsky

Proceedings of the Information Hiding, 5th International Workshop, 2002

System-Architectures for Sensor Networks Issues, Alternatives, and Directions.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002

Search in sensor networks: Challenges, techniques, and applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2002

Global error-tolerant algorithms for location discovery in ad-hoc wireless Netoworks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2002

Forward-looking objective functions: concept & applications in high level synthesis.

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

Watermarking integer linear programming solutions.

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

ILP-based engineering change.

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

Enabling trusted software integrity.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), 2002

2001

Exploring Hypermedia Processor Design Space.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 2001

Exploring the diversity of multimedia systems.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2001

Fingerprinting techniques for field-programmable gate arrayintellectual property protection.

[BibT_eX]

[DOI]

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

Symbolic debugging of embedded hardware and software.

[BibT_eX]

[DOI]

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

Constraint-based watermarking techniques for design IP protection.

[BibT_eX]

[DOI]

Andrew B. Kahng

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

Localized algorithms in wireless ad-hoc networks: location discovery and sensor exposure.

[BibT_eX]

[DOI]

Vahag Karayan

Proceedings of the 2nd ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2001

Smart kindergarten: sensor-based wireless networks for smart developmental problem-solving enviroments.

[BibT_eX]

[DOI]

Richard R. Muntz

Proceedings of the MOBICOM 2001, 2001

Exposure in wireless Ad-Hoc sensor networks.

[BibT_eX]

[DOI]

Proceedings of the MOBICOM 2001, 2001

Coverage Problems in Wireless Ad-hoc Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

Intellectual Property Metering.

[BibT_eX]

[DOI]

Proceedings of the Information Hiding, 4th International Workshop, 2001

A Probabilistic Constructive Approach to Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Power efficient organization of wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2001

MetaCores: Design and Optimization Techniques.

[BibT_eX]

[DOI]

Proceedings of the 38th Design Automation Conference, 2001

Hypermedia-Aided Design.

[BibT_eX]

[DOI]

Proceedings of the 38th Design Automation Conference, 2001

2000

Cut-based functional debugging for programmable systems-on-chip.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2000

Enhanced FPGA reliability through efficient run-time fault reconfiguration.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2000

Optimizing computations for effective block-processing.

[BibT_eX]

[DOI]

Kumar N. Lalgudi

ACM Trans. Design Autom. Electr. Syst., 2000

Maximally and arbitrarily fast implementation of linear andfeedback linear computations.

[BibT_eX]

[DOI]

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

Computer Aided Design of Fault-Tolerant Application Specific Programmable Processors.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2000

Multimedia copyright enforcement on the Internet (panel session).

[BibT_eX]

[DOI]

James M. Burger

Christopher J. Cookson

Proceedings of the 8th ACM International Conference on Multimedia 2000, Los Angeles, CA, USA, October 30, 2000

Achieving utility arbitrarily close to the optimal with limited energy.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Symposium on Low Power Electronics and Design, 2000

Energy minimization with guaranteed quality of service.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Symposium on Low Power Electronics and Design, 2000

Processors for Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

Challenges and Opportunities in Broadband and Wireless Communication Designs.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

Symbolic Debugging Scheme for Optimized Hardware and Software.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

Latency-Guided On-Chip Bus Network Design.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

Localized watermarking: methodology and application to template mapping.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2000

Fingerprinting intellectual property using constraint-addition.

[BibT_eX]

[DOI]

Proceedings of the 37th Conference on Design Automation, 2000

Function-level power estimation methodology for microprocessors.

[BibT_eX]

[DOI]

Proceedings of the 37th Conference on Design Automation, 2000

Watermarking while preserving the critical path.

[BibT_eX]

[DOI]

Proceedings of the 37th Conference on Design Automation, 2000

Efficient error detection, localization, and correction for FPGA-based debugging.

[BibT_eX]

[DOI]

Proceedings of the 37th Conference on Design Automation, 2000

Forensic engineering techniques for VLSI CAD tools.

[BibT_eX]

[DOI]

Proceedings of the 37th Conference on Design Automation, 2000

Fair watermarking techniques.

[BibT_eX]

[DOI]

Proceedings of ASP-DAC 2000, 2000

A technique for QoS-based system partitioning.

[BibT_eX]

[DOI]

Johnson S. Kin

Proceedings of ASP-DAC 2000, 2000

Symbolic debugging of globally optimized behavioral specifications.

[BibT_eX]

[DOI]

Proceedings of ASP-DAC 2000, 2000

1999

A methodology and algorithms for the design of hard real-time multitasking ASICs.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 1999

Power optimization using divide-and-conquer techniques for minimization of the number of operations.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 1999

Algorithm selection: a quantitative optimization-intensive approach.

[BibT_eX]

[DOI]

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

Improving the observability and controllability of datapaths foremulation-based debugging.

[BibT_eX]

[DOI]

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

Application-driven synthesis of memory-intensive systems-on-chip.

[BibT_eX]

[DOI]

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

Power optimization of variable-voltage core-based systems.

[BibT_eX]

[DOI]

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

Low power and QoS.

[BibT_eX]

[DOI]

IEEE Concurr., 1999

Synthesis of Hard Real-Time Application Specific Systems.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 1999

Efficient Block Scheduling to Minimize Context Switching Time for Programmable Embedded Processors.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 1999

Semantic Multicast: Intelligently Sharing Collaborative Sessions.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1999

System Synthesis of Synchronous Multimedia Applications.

[BibT_eX]

[DOI]

Malena R. Mesarina

Proceedings of the 12th International Symposium on System Synthesis, 1999

Designing power efficient hypermedia processors.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Low Power Electronics and Design, 1999

Energy minimization of system pipelines using multiple voltages.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999

Hiding Signatures in Graph Coloring Solutions.

[BibT_eX]

[DOI]

Proceedings of the Information Hiding, Third International Workshop, 1999

Enhanced Intellectual Property Protection for Digital Circuits on Programmable Hardware.

[BibT_eX]

[DOI]

Proceedings of the Information Hiding, Third International Workshop, 1999

Power minimization using system-level partitioning of applications with quality of service requirements.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Localized watermarking: methodology and application to operation scheduling.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Copy detection for intellectual property protection of VLSI designs.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Throughput optimization of general non-linear computations.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Engineering change protocols for behavioral synthesis.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE International Conference on Acoustics, 1999

Synthesis of DSP soft real-time multiprocessor systems-on-silicon.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE International Conference on Acoustics, 1999

Efficient Support of Hardware Debugging Through FPGA Physical Design Partitioning.

[BibT_eX]

[DOI]

Proceedings of the 1999 ACM/SIGDA Seventh International Symposium on Field Programmable Gate Arrays, 1999

Algorithms for Efficient Runtime Fault Recovery on Diverse FPGA Architectures.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '99), 1999

Robust FPGA Intellectual Property Protection Through Multiple Small Watermarks.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on Design Automation, 1999

Engineering Change: Methodology and Applications to Behavioral and System Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on Design Automation, 1999

Power Efficient Mediaprocessors: Design Space Exploration.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on Design Automation, 1999

Behavioral Synthesis Techniques for Intellectual Property Protection.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on Design Automation, 1999

Low-Power Behavioral Synthesis Optimization Using Multiple Precision Arithmetic.

[BibT_eX]

[DOI]

Milos D. Ercegovac

Proceedings of the 36th Conference on Design Automation, 1999

Hierarchical watermarking for protection of DSP filter cores.

[BibT_eX]

[DOI]

Azra Rashid

Jeet Asher

Proceedings of the IEEE 1999 Custom Integrated Circuits Conference, 1999

1998

On-line fault detection for bus-based field programmable gate arrays.

[BibT_eX]

[DOI]

N. R. Shnidman

IEEE Trans. Very Large Scale Integr. Syst., 1998

Low overhead fault-tolerant FPGA systems.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1998

Behavioral-level synthesis of heterogeneous BISR reconfigurable ASIC's.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1998

Behavioral optimization using the manipulation of timing constraints.

[BibT_eX]

[DOI]

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

A controller redesign technique to enhance testability of controller-data path circuits.

[BibT_eX]

[DOI]

Vijay Gangaram

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

High-level synthesis techniques for functional test pattern execution1.

[BibT_eX]

[DOI]

Integr., 1998

Synthesis Techniques for Low-Power Hard Real-Time Systems on Variable Voltage Processors.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Hypermedia processors: design space exploration.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE Workshop on Multimedia Signal Processing, 1998

Fingerprinting Digital Circuits on Programmable Hardware.

[BibT_eX]

[DOI]

Proceedings of the Information Hiding, 1998

Techniques for energy minimization of communication pipelines.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Analysis of watermarking techniques for graph coloring problem.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

A quantitative approach to development and validation of synthetic benchmarks for behavioral synthesis.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Signature hiding techniques for FPGA intellectual property protection.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Functional debugging of systems-on-chip.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Intellectual property protection by watermarking combinational logic synthesis solutions.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Real-time operating systems for embedded computing.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

On-line scheduling of hard real-time tasks on variable voltage processor.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Techniques for intellectual property protection of DSP designs.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE International Conference on Acoustics, 1998

Behavioral synthesis optimization using multiple precision arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE International Conference on Acoustics, 1998

Efficiently Supporting Fault-Tolerance in FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 1998 ACM/SIGDA Sixth International Symposium on Field Programmable Gate Arrays, 1998

Media Architecture: General Purpose vs. Multiple Application-Specific Programmable Processor.

[BibT_eX]

[DOI]

Proceedings of the 35th Conference on Design Automation, 1998

Efficient Coloring of a Large Spectrum of Graphs.

[BibT_eX]

[DOI]

Proceedings of the 35th Conference on Design Automation, 1998

Robust IP Watermarking Methodologies for Physical Design.

[BibT_eX]

[DOI]

Proceedings of the 35th Conference on Design Automation, 1998

Watermarking Techniques for Intellectual Property Protection.

[BibT_eX]

[DOI]

Andrew B. Kahng

Proceedings of the 35th Conference on Design Automation, 1998

A Methodology for Guided Behavioral-Level Optimization.

[BibT_eX]

[DOI]

Proceedings of the 35th Conference on Design Automation, 1998

FPGA fingerprinting techniques for protecting intellectual property.

[BibT_eX]

[DOI]

Proceedings of the IEEE 1998 Custom Integrated Circuits Conference, 1998

Quantitative Selection of Media Benchmarks.

[BibT_eX]

Proceedings of the ASP-DAC '98, 1998

Synthesis of Power Efficient Systems-on-Silicon.

[BibT_eX]

[DOI]

Proceedings of the ASP-DAC '98, 1998

Heterogeneous BISR-approach using System Level Synthesis Flexibility.

[BibT_eX]

[DOI]

Proceedings of the ASP-DAC '98, 1998

Techniques for Functional Test Pattern Execution.

[BibT_eX]

[DOI]

Proceedings of the ASP-DAC '98, 1998

1997

Nonscan design-for-testability techniques using RT-level design information.

[BibT_eX]

[DOI]

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

MediaBench: A Tool for Evaluating and Synthesizing Multimedia and Communicatons Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth Annual IEEE/ACM International Symposium on Microarchitecture, 1997

Real-Time Operating Systems for Embedded Computing.

[BibT_eX]

[DOI]

Yanbing Li

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

A quantitative approach to functional debugging.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

Application-driven synthesis of core-based systems.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

Micro-preemption synthesis: an enabling mechanism for multi-task VLSI systems.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

DSP Quant: design, validation, and applications of DSP hard real-time benchmark.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE International Conference on Acoustics, 1997

Minimizing the number of operations in DSP computations.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE International Conference on Acoustics, 1997

Methodology for Behavioral Synthesis-Based Algorithm-Level Design Space Exploration: DCT Case Study.

[BibT_eX]

[DOI]

Proceedings of the 34st Conference on Design Automation, 1997

System-Level Synthesis of Low-Power Hard Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 34st Conference on Design Automation, 1997

Synthesis of Application Specific Programmable Processors.

[BibT_eX]

[DOI]

Proceedings of the 34st Conference on Design Automation, 1997

Potential-Driven Statistical Ordering of Transformations.

[BibT_eX]

[DOI]

Proceedings of the 34st Conference on Design Automation, 1997

Fault Scanner for Reconfigurable Logic.

[BibT_eX]

[DOI]

Nathan Shnidman

Proceedings of the 17th Conference on Advanced Research in VLSI (ARVLSI '97), 1997

1996

Multiple constant multiplications: efficient and versatile framework and algorithms for exploring common subexpression elimination.

[BibT_eX]

[DOI]

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

Performance optimization using template mapping for datapath-intensive high-level synthesis.

[BibT_eX]

[DOI]

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

System-Level Synthesis of Application Specific Systems using A* Search and Generalized Force-Directed Heuristics.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on System Synthesis, 1996

Throughput Optimization in Disk-Based Real-Time Application Specific Systems.

[BibT_eX]

[DOI]

Stephen Docy

Proceedings of the 9th International Symposium on System Synthesis, 1996

Heterogeneous built-in resiliency of application specific programmable processors.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

Power optimization in disk-based real-time application specific systems.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

Knowledge-based transformation ordering.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Heuristic techniques for synthesis of hard real-time DSP application specific systems.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Configurable Spare Processors: A New Approach to System Level-Fault Tolerance.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 1996

Power Optimization in Programmable Processors and ASIC Implementations of Linear Systems: Transformation-based Approach.

[BibT_eX]

[DOI]

Proceedings of the 33st Conference on Design Automation, 1996

Optimizing Systems for Effective Block-Processing: The <i>k</i>-Delay Problem.

[BibT_eX]

[DOI]

Kumar N. Lalgudi

Proceedings of the 33st Conference on Design Automation, 1996

1995

Optimum and heuristic transformation techniques for simultaneous optimization of latency and throughput.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1995

Behavioral synthesis of area-efficient testable designs using interaction between hardware sharing and partial scan.

[BibT_eX]

[DOI]

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

Considering testability at behavioral level: use of transformations for partial scan cost minimization under timing and area constraints.

[BibT_eX]

[DOI]

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

Optimizing power using transformations.

[BibT_eX]

[DOI]

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

Synthesis and selection of DCT algorithms using behavioral synthesis-based algorithm space exploration.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1995 International Conference on Image Processing, 1995

Discrete-relaxation-based heuristic techniques for video algorithm/architecture matching and system level transformations.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1995 International Conference on Image Processing, 1995

Cost optimization in ASIC implementation of periodic hard-real time systems using behavioral synthesis techniques.

[BibT_eX]

[DOI]

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

Design-for-debugging of application specific designs.

[BibT_eX]

[DOI]

Kazutoshi Wakabayashi

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

A controller-based design-for-testability technique for controller-data path circuits.

[BibT_eX]

[DOI]

Vijay Gangaram

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

Efficient throughput optimization of feedback linear computations using generalized Horner's scheme.

[BibT_eX]

[DOI]

Kazutoshi Wakabayashi

Proceedings of the 1995 International Conference on Acoustics, 1995

Power minimization in DSP application specific systems using algorithm selection.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Acoustics, 1995

Rephasing: A Transformation Technique for the Manipulation of Timing Constraints.

[BibT_eX]

[DOI]

Y. G. DeCastelo-Vide-e-Souza

Proceedings of the 32st Conference on Design Automation, 1995

Optimal ILP-Based Approach for Throughput Optimization Using Simultaneous Algorithm/Architecture Matching and Retiming.

[BibT_eX]

[DOI]

Alice C. Parker

Proceedings of the 32st Conference on Design Automation, 1995

Synthesis-for-testability using transformations.

[BibT_eX]

[DOI]

Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29, 1995

1994

Optimizing throughput and resource utilization using pipelining: Transformation based approach.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 1994

Estimating implementation bounds for real time DSP application specific circuits.

[BibT_eX]

[DOI]

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

Optimizing resource utilization using transformations.

[BibT_eX]

[DOI]

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

Synthesizing designs with low-cardinality minimum feedback vertex set for partial scan application.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE VLSI Test Symposium (VTS'94), 1994

Transforming Behavioral Specifications to Facilitate Synthesis of Testable Designs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1994, 1994

Algorithm selection: a quantitative computation-intensive optimization approach.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994

Non-scan design-for-testability of RT-level data paths.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994

Design of high throughput, low latency and low cost structures for linear systems.

[BibT_eX]

[DOI]

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Concurrency characteristics in DSP programs.

[BibT_eX]

[DOI]

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Behavioral synthesis of low-cost partial scan designs for DSP applications.

[BibT_eX]

[DOI]

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Transforming Linear Systems for Joint Latency and Throughout Optimization.

[BibT_eX]

[DOI]

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

Efficient Substitution of Multiple Constant Multiplications by Shifts and Additions Using Iterative Pairwise Matching.

[BibT_eX]

[DOI]

Proceedings of the 31st Conference on Design Automation, 1994

Optimizing Resource Utilization and Testability Using Hot Potato Techniques.

[BibT_eX]

[DOI]

Proceedings of the 31st Conference on Design Automation, 1994

Behavioral synthesis of high performance, low cost, and low power application specific processors for linear computations.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Application Specific Array Processors, 1994

1993

High Performance Embedded System Optimization Using Algebraic and Generalized Retiming Techniques.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

High level synthesis for reconfigurable datapath structures.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

Exploiting hardware sharing in high-level synthesis for partial scan optimization.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

Instruction set mapping for performance optimization.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

On unlimited parallelism of DSP arithmetic computations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 1993

High Level Synthesis Techniques for Efficient Built-In-Self Repair.

[BibT_eX]

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1993

Critical Path Minimization Using Retiming and Algebraic Speed-Up.

[BibT_eX]

[DOI]

Proceedings of the 30th Design Automation Conference. Dallas, 1993

Sequential Circuit Delay optimization Using Global Path Delays.

[BibT_eX]

[DOI]

Proceedings of the 30th Design Automation Conference. Dallas, 1993

Heterogeneous BISR techniques for yield and reliability enhancement using high level synthesis transformations.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Application-Specific Array Processors, 1993

1992

Scheduling Algorithms For Hierarchical Data Control Flow Graphs.

[BibT_eX]

[DOI]

Int. J. Circuit Theory Appl., 1992

Maximally fast and arbitrarily fast implementation of linear computations.

[BibT_eX]

[DOI]

Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992

Performance optimization of sequential circuits by eliminating retiming bottlenecks.

[BibT_eX]

[DOI]

Steven G. Rothweiler

Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992

HYPER-LP: a system for power minimization using architectural transformations.

[BibT_eX]

[DOI]

Robert W. Brodersen

Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992

Fast implementation of recursive programs using transformations.

[BibT_eX]

[DOI]

Proceedings of the 1992 IEEE International Conference on Acoustics, 1992

Pipelining: just another transformation.

[BibT_eX]

[DOI]

Proceedings of the Application Specific Array Processors, 1992

An integrated system for rapid prototyping of high performance algorithm specific data paths.

[BibT_eX]

[DOI]

Proceedings of the Application Specific Array Processors, 1992

1991

Fast Prototyping of Datapath-Intensive Architectures.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 1991

1989

HYPER: an interactive synthesis environment for high performance real time applications.

[BibT_eX]

[DOI]

Proceedings of the Computer Design: VLSI in Computers and Processors, 1989

A Scheduling and Resource Allocation Algorithm for Hierarchical Signal Flow Graphs.

[BibT_eX]

[DOI]