Architecture Design and Validation Methods
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642629761, 9783642571992

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Machine Assisted Verification

Architecture Design and Validation Methods ◽

10.1007/978-3-642-57199-2_5 ◽

2000 ◽

pp. 191-242

Author(s):

Hans Eveking

Download Full-text

Cell-based Logic Optimization

Architecture Design and Validation Methods ◽

10.1007/978-3-642-57199-2_2 ◽

2000 ◽

pp. 49-87

Author(s):

Giovanni De Micheli

Keyword(s):

Logic Optimization

Download Full-text

Modular Design for the Java Virtual Machine Architecture

Architecture Design and Validation Methods ◽

10.1007/978-3-642-57199-2_7 ◽

2000 ◽

pp. 297-357 ◽

Author(s):

Egon Börger ◽

Wolfram Schulte

Keyword(s):

Virtual Machine ◽

Modular Design ◽

Java Virtual Machine

Download Full-text

Models of Computation for System Design

Architecture Design and Validation Methods ◽

10.1007/978-3-642-57199-2_6 ◽

2000 ◽

pp. 243-295 ◽

Author(s):

Luciano Lavagno ◽

Alberto Sangiovanni-Vincentelli ◽

Ellen M. Sentovich

Keyword(s):

System Design ◽

Models Of Computation

Download Full-text

A Design Flow for Performance Planning: New Paradigms for Iteration Free Synthesis

Architecture Design and Validation Methods ◽

10.1007/978-3-642-57199-2_3 ◽

2000 ◽

pp. 89-139 ◽

Author(s):

Ralph H. J. M. Otten

Keyword(s):

Download Full-text

Modeling and Synthesis of Behavior, Control and Data Flow

Architecture Design and Validation Methods ◽

10.1007/978-3-642-57199-2_1 ◽

2000 ◽

pp. 1-48

Author(s):

Raul Camposano ◽

Andrew Seawright ◽

Joseph Buck

Keyword(s):

Data Flow ◽

Behavior Control

Download Full-text

Test and Testable Design

Architecture Design and Validation Methods ◽

10.1007/978-3-642-57199-2_4 ◽

2000 ◽

pp. 141-190

Author(s):

Hans-Joachim Wunderlich

Keyword(s):

Testable Design

Download Full-text