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

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

Handbook of Hardware/Software Codesign ◽

10.1007/978-94-017-7358-4_5-1 ◽

2016 ◽

pp. 1-42 ◽

Author(s):

Ingo Sander ◽

Axel Jantsch ◽

Seyed-Hosein Attarzadeh-Niaki

Keyword(s):

System Design ◽

Functional Language ◽

Models Of Computation

Download Full-text

Abstract State Machines: a unifying view of models of computation and of system design frameworks

Annals of Pure and Applied Logic ◽

10.1016/j.apal.2004.10.007 ◽

2005 ◽

Vol 133 (1-3) ◽

pp. 149-171 ◽

Author(s):

Egon Börger

Keyword(s):

System Design ◽

State Machines ◽

Abstract State Machines ◽

Models Of Computation

Download Full-text

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

Handbook of Hardware/Software Codesign ◽

10.1007/978-94-017-7267-9_5 ◽

2017 ◽

pp. 99-140 ◽

Author(s):

Ingo Sander ◽

Axel Jantsch ◽

Seyed-Hosein Attarzadeh-Niaki

Keyword(s):

System Design ◽

Functional Language ◽

Models Of Computation

Download Full-text

Models of Computation for Embedded System Design

System-Level Synthesis ◽

10.1007/978-94-011-4698-2_2 ◽

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

Download Full-text

Models of computation and languages for embedded system design

IEE Proceedings - Computers and Digital Techniques ◽

10.1049/ip-cdt:20045098 ◽

2005 ◽

Vol 152 (2) ◽

pp. 114 ◽

Author(s):

A. Jantsch ◽

I. Sander

Keyword(s):

Embedded System ◽

System Design ◽

Embedded System Design ◽

Models Of Computation

Download Full-text

Analyses for Durability and System Design Lifetime

10.1017/cbo9780511546136 ◽

2007 ◽

Author(s):

Joseph H. Saleh

Keyword(s):

Download Full-text

System Design: What, Why, and How

Contemporary Psychology ◽

10.1037/032990 ◽

1993 ◽

Vol 38 (1) ◽

pp. 101-102

Author(s):

Charles G. Halcomb

Keyword(s):

Download Full-text

Human resources sensitivity to system design tradeoff alternatives: Feasibility test with jet engine data.

PsycEXTRA Dataset ◽

10.1037/e440862004-001 ◽

1973 ◽

Author(s):

William B. Askren ◽

Kenneth D. Korkan ◽

George W. Watts

Keyword(s):

Human Resources ◽

System Design ◽

Feasibility Test

Download Full-text

Criminal Justice Information System Design Study

PsycEXTRA Dataset ◽

10.1037/e438152008-271 ◽

1967 ◽

Author(s):

Edward V. Comber

Keyword(s):

Information System ◽

Criminal Justice ◽

System Design ◽

Design Study ◽

Information System Design

Download Full-text

The man-machine paradigm in large information processing systems: The process of command control system design

PsycEXTRA Dataset ◽

10.1037/e464472008-015 ◽

1967 ◽

Author(s):

James W. Singleton

Keyword(s):

Information Processing ◽

Control System ◽

System Design ◽

Control System Design

Download Full-text