Synthesizing synchronous systems by static scheduling in space-time | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Synthesizing synchronous systems by static scheduling in space-time

種類:: 図書
責任表示:: Björn Lisper
出版情報:: Berlin ; Tokyo : Springer-Verlag, c1989
著者名:: Lisper, Björn <DA03300463>
シリーズ名:: Lecture notes in computer science ; 362 <BA00009279>
ISBN:: 9783540511564 [3540511563] (: gw)
9780387511566 [0387511563] (: us)

所蔵情報

Loading availability information

子書誌情報

タイトルが類似している資料

1. Synthesizing Synchronous Systems by Static Scheduling in Space-Time
edited by Björn Lisper , Springer-Verlag , 1989

詳細

主題:	Computer architecture; Parallel processing (Electronic computers); Real-time data processing
分類・件名:	NDC7 : 549.92 LCSH : Parallel processing (Electronic computers) LCSH : Real-time data processing LCSH : Computer architecture
TTLL:	eng
言語:	英語
形態:	vi, 262 p. : ill. ; 25 cm
書誌ID:	BA0694377X

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Synthesizing Synchronous Systems by Static Scheduling in Space-Time Lisper, Björn, SpringerLink (Online service) Springer-Verlag	7 図書 Specification and compositional verification of real-time systems Hooman, Jozef, 1955- Springer
2 電子ブック Synthesizing Synchronous Systems by Static Scheduling in Space-Time Lisper, Björn., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 図書 Algorithm-structured computer arrays and networks : architectures and processes for images, percepts, models, information Uhr, Leonard Merrick, 1927- Academic Press
3 図書 Compositional verification of concurrent and real-time systems Juan, Eric Y.T., Tsai, Jeffrey J.-P Kluwer Academic Publishers	9 図書 The SIMD model of parallel computation Cypher, Robert, Sanz, J. L. C. (Jorge L. C.), 1955- Springer-Verlag
4 図書 Real-time and multi-agent systems Attoui, Ammar Springer-Verlag	10 図書 Advanced topics in dataflow computing and multithreading Gao, Guang R., Bic, Lubomir, 1951-, Gaudiot, Jean-Luc IEEE Computer Society Press
5 図書 Neural and concurrent real-time systems : the sixth generation Souček, Branko Wiley	11 図書 Parallel computer architectures : theory, hardware, software, applications Bode, Arndt, Dal Cin, Mario, 1940- Springer-Verlag
6 図書 Time and probability in formal design of distributed systems Hansson, Hans, 1906-, Fredlund, Lars-åke Elsevier	12 図書 Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems Pande, Santosh, Agrawal, D. P. Springer