Koleksi

Advanced Search
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 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)

Detail CantumanCite

Hasil Pencarian

Ditemukan 1 dari pencarian Anda melalui kata kunci: Author : "P. Nuzzo ; J. Li ; A. L. Sangiovanni-Vincentelli ; Y. Xi ; D. Li"
Permintaan membutuhkan 0.82089 detik untuk selesai

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog