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 : "G. Plassan ; K. Morin-Allory ; D. Borrione"
Permintaan membutuhkan 0.7656 detik untuk selesai

Informasi

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