>> Amazon.co.jp
このページのQRコード

Specification and verification of systolic arrays

種類:
図書
責任表示:
Nam Ling , Magdy A. Bayoumi
出版情報:
Singapore ; Philadelphia : World Scientific, c1999
著者名:
ISBN:
9789810238674 [9810238673]  CiNii Books  Calil
注記:
includes bibliography and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Cryptographic security architecture : design and verification

Gutmann, Peter

Springer
7 図書 Verification, model checking, and abstract interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

VMCAI, Cortesi, Agostino

Springer
2 図書 A systolic array parallelizing compiler

Tseng, Ping-Sheng, 1959-

Kluwer Academic Publishers
8 図書 Compiler specification and verification

Polak, Wolfgang, 1950-

Springer-Verlag
3 図書 Real-time systems : scheduling, analysis, and verification

Cheng, Albet M. K.

Wiley-Interscience
9 図書 Specification and verification of concurrent systems

Rattray, C. (Charles), 1938-, British Computer Society, BCS-FACS Workshop on Specification and Verification of …

Springer-Verlag
4 図書 Concurrency verification : introduction to compositional and noncompositional methods

Roever, W.-P. de, 1943-

Cambridge University Press
10 電子ブック Compiler Specification and Verification

Polak, Wolfgang, SpringerLink (Online service)

Springer-Verlag
5 図書 Modeling, verification and exploration of task-level concurrency in real-time embedded systems

Thoen, Flip, Catthoor, Francky

Kluwer Academic Publishers
11 電子ブック Compiler Specification and Verification

Polak, W., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 図書 Matrix computations on systolic-type arrays

Moreno, Jaime H., 1954-, Lang, Tomás

Kluwer Academic Publishers
12 図書 Tool support for system specification, development and verification

Berghammer, R. (Rudolf), 1952-, Lakhnech, Y.

Springer