Detail Cantuman

Advanced Search

Image of Bundel Jurnal ACM Transactions on Embedded Computing Systems : Editorial / Guest Editorial / Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design / Mining Missing Assumptions from Counter-Examples / Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search / Compositional Dataflow Circuits / The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware / Quantifying the Information Leakage in Cache Attacks via Symbolic Execution / EACAN: Reliable and Resource-Efficient CAN Communications / The Bionode: A Closed-Loop Neuromodulation Implant / Scratchpad-Memory Management for Multi-Threaded Applications on Many-Core Architectures / Control Flow Checking or Not? (for Soft Errors)

Bundel Jurnal

Bundel Jurnal ACM Transactions on Embedded Computing Systems : Editorial / Guest Editorial / Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design / Mining Missing Assumptions from Counter-Examples / Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search / Compositional Dataflow Circuits / The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware / Quantifying the Information Leakage in Cache Attacks via Symbolic Execution / EACAN: Reliable and Resource-Efficient CAN Communications / The Bionode: A Closed-Loop Neuromodulation Implant / Scratchpad-Memory Management for Multi-Threaded Applications on Many-Core Architectures / Control Flow Checking or Not? (for Soft Errors)

S. K. Shukla - Personal Name
V. Venkataramani ; M. C. Chan ; T. Mitra - Personal Name
D. J. Pederson ; C. J. Quinkert ; M. A. Arafat ; J. P. Somann ; J. D. Williams ; R. A. Bercich ; Z. - Personal Name
T. Park ; K. G. Shin - Personal Name
S. Chattopadhyay ; M. Beck ; A. Rezine ; A. Zeller - Personal Name
T. N. Reynolds ; A. Procter ; W. L. Harrison ; G. Allwein - Personal Name
S. A. Edwards ; R. Townsend ; M. Barker ; M. A. Kim - Personal Name
A. Fellner ; W. Krenn ; R. Schlick ; T. Tarrach ; G. Weissenbacher - Personal Name
G. Plassan ; K. Morin-Allory ; D. Borrione - Personal Name
P. Nuzzo ; J. Li ; A. L. Sangiovanni-Vincentelli ; Y. Xi ; D. Li - Personal Name
P. Derler ; K. Schneider ; J. -P. Talpin - Personal Name
A. Rhisheekesan ; R. Jeyapaul ; A. Shrivastava - Personal Name

1 Eksemplar : Vol. 18 No. 1, Februari 2019

Ketersediaan

J0139-2021 BJ. ACM JT-183 : J0139-2021 Referensi (Bundel Jurnal Teknik) Tersedia namun tidak untuk dipinjamkan - No Loan

Informasi Detil

Judul Seri	-
No. Panggil	BJ. ACM JT-183 : J0139-2021
Penerbit	Association for Computing Machinery : New York., 2019
Deskripsi Fisik	259p.,il.,25cmx16,5cm
Bahasa	English
ISBN/ISSN	1539-9087
Klasifikasi	BJ. ACM
Tipe Isi	-

Tipe Media	-
Tipe Pembawa	-
Edisi	1
Subyek	Information Technology - Computer Science
Info Detil Spesifik	-
Pernyataan Tanggungjawab	-

Versi lain/terkait

Tidak tersedia versi lain

Informasi

DETAIL CANTUMAN

Kembali ke sebelumnya

Advanced Search

Judul

Pengarang

Subyek

ISBN/ISSN

Tipe Koleksi

Lokasi

GMD