Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537)
Latest Publications

TOTAL DOCUMENTS

147

(FIVE YEARS 0)

H-INDEX

14

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769505376

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constructive library-aware synthesis using symmetries

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840040 ◽

2002 ◽

Author(s):

V.N. Kravet ◽

K.A. Sakallah

Download Full-text

Abstraction from counters: an application on real-time systems

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840829 ◽

2002 ◽

Author(s):

G. Logothetis ◽

K. Schneider

Keyword(s):

Real Time ◽

Real Time Systems ◽

Download Full-text

Free MDD-based software optimization techniques for embedded systems

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840009 ◽

2002 ◽

Author(s):

Changhee Kim ◽

L. Lavagno ◽

A. Sangiovanni-Vincentelli

Keyword(s):

Embedded Systems ◽

Optimization Techniques ◽

Software Optimization

Download Full-text

Resolution of dynamic memory allocation and pointers for the behavioral synthesis from C

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840289 ◽

2002 ◽

Author(s):

L. Semeria ◽

K. Sato ◽

G. De Micheli

Keyword(s):

Memory Allocation ◽

Dynamic Memory ◽

Behavioral Synthesis ◽

Dynamic Memory Allocation

Download Full-text

A new approach for computation of timing jitter in phase locked loops

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840294 ◽

2002 ◽

Author(s):

M.M. Gourary ◽

S.G. Rusakov ◽

S.L. Ulyanov ◽

M.M. Zharov ◽

K.K. Gullapalli ◽

...

Keyword(s):

Timing Jitter ◽

Phase Locked Loops ◽

Download Full-text

Efficient method of failure detection in iterative array multiplier

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840897 ◽

2002 ◽

Author(s):

A. Drozd

Keyword(s):

Efficient Method ◽

Failure Detection ◽

Array Multiplier

Download Full-text

From high-level specifications down to software implementations of parallel embedded real-time systems

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840861 ◽

2002 ◽

Author(s):

C. Rust ◽

F. Stappert ◽

P. Altenbernd ◽

J. Tacken

Keyword(s):

Real Time ◽

Real Time Systems ◽

Software Implementations ◽

Download Full-text

Assessing the cost effectiveness of integrated passives

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840838 ◽

2002 ◽

Author(s):

M. Scheffler ◽

G. Troster

Keyword(s):

Cost Effectiveness ◽

Integrated Passives ◽

Download Full-text

Parametric fault simulation and test vector generation

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840855 ◽

2002 ◽

Author(s):

K. Saab ◽

N. Ben-Hamida ◽

B. Kaminska

Keyword(s):

Fault Simulation ◽

Test Vector ◽

Vector Generation ◽

Parametric Fault ◽

Test Vector Generation

Download Full-text

Architectural power optimization by bus splitting

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840848 ◽

2002 ◽

Author(s):

Cheng-Ta Hsieh ◽

M. Pedram

Keyword(s):

Power Optimization

Download Full-text