Search

Now showing items 1-10 of 125

Traceability-Based Formal Specification Inspection

Type: Conference Paper

Author : Mo Li , Shaoying Liu

Publisher: IEEE

Year: 2014

Signal integrity optimization of MLVDS based multi-master instrument bus

Type: Conference Paper

Author : Song, Kaichen; Li, Caixia; Ye, Lingyun; Chen, Bin; Hereid, Ayonga

Publisher: IEEE

Year: 2014

Dynamic Command Scheduling for Real-Time Memory Controllers

Type: Conference Paper

Author : Yonghui Li; Akesson, B.; Goossens, K.

Publisher: IEEE

Year: 2014

A robot on the shoulder: Coordinated human-wearable robot control using Coloured Petri Nets and Partial Least Squares predictions

Type: Conference Paper

Author : Llorens Bonilla, B. , Asada, H.H.

Publisher: IEEE

Year: 2014

Validation of an Air-Traffic Controller behavioral model for fast time simulation

Type: Conference Paper

Author : Přemysl Volf; Jan Jakubu̇v; Lukáš Koranda; David S̆is̆́lák; Michal Pĕchouc̆ek; Stefania Mereu; Brian Hilburn; Duc N. Nguyen

Publisher: IEEE

Year: 2014

Observations on switching characteristics of arc chutes in DC contactors

Type: Conference Paper

Author : Jebramcik, Jens , Berger, Frank

Publisher: IEEE

Year: 2014

Keynote address 1: “Connecting the dots to achieve high reliability and quality”

Type: Conference Paper

Author : Master, R.N.

Publisher: IEEE

Year: 2014

Approach for enterprise search and interoperability using lightweight semantic

Type: Conference Paper

Publisher: IEEE

Year: 2014

Type: Conference Paper

Publisher: IEEE

Year: 2014

Correction to "Spectral Method for Quasi-Cyclic Code Analysis"

Type: Journal Paper

Author : Semenov, P.; Trifonov, Peter

Publisher: IEEE

Year: 2014

1
2
3
4
. . .
13

Search

Traceability-Based Formal Specification Inspection

Signal integrity optimization of MLVDS based multi-master instrument bus

Dynamic Command Scheduling for Real-Time Memory Controllers

A robot on the shoulder: Coordinated human-wearable robot control using Coloured Petri Nets and Partial Least Squares predictions

Validation of an Air-Traffic Controller behavioral model for fast time simulation

Observations on switching characteristics of arc chutes in DC contactors

Keynote address 1: “Connecting the dots to achieve high reliability and quality”

Approach for enterprise search and interoperability using lightweight semantic

Contents

Correction to "Spectral Method for Quasi-Cyclic Code Analysis"

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

Traceability-Based Formal Specification Inspection

Signal integrity optimization of MLVDS based multi-master instrument bus

Dynamic Command Scheduling for Real-Time Memory Controllers

A robot on the shoulder: Coordinated human-wearable robot control using Coloured Petri Nets and Partial Least Squares predictions

Validation of an Air-Traffic Controller behavioral model for fast time simulation

Observations on switching characteristics of arc chutes in DC contactors

Keynote address 1: &#x201C;Connecting the dots to achieve high reliability and quality&#x201D;

Approach for enterprise search and interoperability using lightweight semantic

Contents

Correction to "Spectral Method for Quasi-Cyclic Code Analysis"

Keynote address 1: “Connecting the dots to achieve high reliability and quality”