Models of Computation for System Design

2000 ◽  
pp. 243-295 ◽  
Author(s):  
Luciano Lavagno ◽  
Alberto Sangiovanni-Vincentelli ◽  
Ellen M. Sentovich
Keyword(s):  
System Design ◽  
Models Of Computation

ForSyDe: System Design Using a Functional Language and Models of Computation

2016 ◽  
pp. 1-42 ◽  
Author(s):  
Ingo Sander ◽  
Axel Jantsch ◽  
Seyed-Hosein Attarzadeh-Niaki
Keyword(s):  
System Design ◽  
Functional Language ◽  
Models Of Computation

ForSyDe: System Design Using a Functional Language and Models of Computation

2017 ◽  
pp. 99-140 ◽  
Author(s):  
Ingo Sander ◽  
Axel Jantsch ◽  
Seyed-Hosein Attarzadeh-Niaki
Keyword(s):  
System Design ◽  
Functional Language ◽  
Models Of Computation

Models of Computation for Embedded System Design

1999 ◽  
pp. 45-102 ◽  
Author(s):  
Luciano Lavagno ◽  
Alberto Sangiovanni-Vincentelli ◽  
Ellen Sentovich
Keyword(s):  
Embedded System ◽  
System Design ◽  
Embedded System Design ◽  
Models Of Computation

System Design: What, Why, and How

1993 ◽  
Vol 38 (1) ◽  
pp. 101-102
Author(s):  
Charles G. Halcomb
Keyword(s):  
System Design
Sign in / Sign up

Export Citation Format

Share Document