Proceedings of the 40th conference on Design automation - DAC '03
Latest Publications

TOTAL DOCUMENTS

189

(FIVE YEARS 0)

H-INDEX

25

(FIVE YEARS 0)

Published By ACM Press

1581136889

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A fully-programmable memory management system optimizing queue handling at multi gigabit rates

Proceedings of the 40th conference on Design automation - DAC '03 ◽

10.1145/775832.775849 ◽

2003 ◽

Author(s):

G. Kornaros ◽

I. Papaefstathiou ◽

A. Nikologiannis ◽

N. Zervos

Keyword(s):

Management System ◽

Memory Management

Download Full-text

Piecewise polynomial nonlinear model reduction

Proceedings of the 40th conference on Design automation - DAC '03 ◽

10.1145/775832.775957 ◽

2003 ◽

Author(s):

Ning Dong ◽

Jaijeet Roychowdhury

Keyword(s):

Model Reduction ◽

Nonlinear Model ◽

Piecewise Polynomial ◽

Nonlinear Model Reduction

Download Full-text

Fast, cheap and under control

Proceedings of the 40th conference on Design automation - DAC '03 ◽

10.1145/775832.775924 ◽

2003 ◽

Author(s):

Abbas El-Gamal ◽

Ivo Bolsens ◽

Andy Broom ◽

Christopher Hamlin ◽

Philippe Magarshack ◽

...

Download Full-text

Optimum positioning of interleaved repeaters In bidirectional buses

Proceedings of the 40th conference on Design automation - DAC '03 ◽

10.1145/775832.775981 ◽

2003 ◽

Author(s):

Maged Ghoneima ◽

Yehea Ismail

Download Full-text

Behavioral consistency of C and verilog programs using bounded model checking

Proceedings of the 40th conference on Design automation - DAC '03 ◽

10.1145/775832.775928 ◽

2003 ◽

Author(s):

Edmund Clarke ◽

Daniel Kroening ◽

Karen Yorav

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Behavioral Consistency

Download Full-text

The synthesis of cyclic combinational circuits

Proceedings of the 40th conference on Design automation - DAC '03 ◽

10.1145/775832.775875 ◽

2003 ◽

Author(s):

Marc D. Riedel ◽

Jehoshua Bruck

Keyword(s):

Combinational Circuits

Download Full-text

An adaptive window-based susceptance extraction and its efficient implementation

Proceedings of the 40th conference on Design automation - DAC '03 ◽

10.1145/775832.776018 ◽

2003 ◽

Author(s):

Guoan Zhong ◽

Cheng-Kok Koh ◽

Venkataramanan Balakrishnan ◽

Kaushik Roy

Keyword(s):

Efficient Implementation ◽

Adaptive Window

Download Full-text

Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling

Proceedings of the 40th conference on Design automation - DAC '03 ◽

10.1145/775832.775960 ◽

2003 ◽

Author(s):

Claire Fang Fang ◽

Rob A. Rutenbar ◽

Markus Püschel ◽

Tsuhan Chen

Keyword(s):

Static Analysis ◽

Affine Arithmetic ◽

Finite Precision ◽

Dsp Applications

Download Full-text

Extending the lifetime of a network of battery-powered mobile devices by remote processing

Proceedings of the 40th conference on Design automation - DAC '03 ◽

10.1145/775832.776060 ◽

2003 ◽

Author(s):

Peng Rong ◽

Massoud Pedram

Keyword(s):

Download Full-text

On-chip power supply network optimization using multigrid-based technique

Proceedings of the 40th conference on Design automation - DAC '03 ◽

10.1145/775832.775864 ◽

2003 ◽

Author(s):

Kai Wang ◽

Malgorzata Marek-Sadowska

Keyword(s):

Power Supply ◽

Network Optimization ◽

Supply Network ◽

Download Full-text