Search

نمایش تعداد 1-10 از 125

Traceability-Based Formal Specification Inspection

نوع: Conference Paper

نویسنده : Mo Li , Shaoying Liu

ناشر: IEEE

سال: 2014

Signal integrity optimization of MLVDS based multi-master instrument bus

نوع: Conference Paper

نویسنده : Song, Kaichen; Li, Caixia; Ye, Lingyun; Chen, Bin; Hereid, Ayonga

ناشر: IEEE

سال: 2014

Dynamic Command Scheduling for Real-Time Memory Controllers

نوع: Conference Paper

نویسنده : Yonghui Li; Akesson, B.; Goossens, K.

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Llorens Bonilla, B. , Asada, H.H.

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

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

ناشر: IEEE

سال: 2014

Observations on switching characteristics of arc chutes in DC contactors

نوع: Conference Paper

نویسنده : Jebramcik, Jens , Berger, Frank

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Master, R.N.

ناشر: IEEE

سال: 2014

Approach for enterprise search and interoperability using lightweight semantic

نوع: Conference Paper

ناشر: IEEE

سال: 2014

نوع: Conference Paper

ناشر: IEEE

سال: 2014

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

نوع: Journal Paper

نویسنده : Semenov, P.; Trifonov, Peter

ناشر: IEEE

سال: 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"

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

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”