Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification

Podrobná bibliografie
Médium:	Elektronický zdroj Kniha
Jazyk:	English
Vydáno:	Association for Computing Machinery (ACM), 10/23/23
Témata:	Conference papers and proceedings.
On-line přístup:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Podobné jednotky

Proceedings of the 1st Workshop on eBPF and Kernel Extensions

Proceedings of the Workshop on Kernel-Bypass Networks

Proceedings of the 1st workshop on Isolation and integration in embedded systems

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems

Linux Kernel Development
Autor: Love, Robert

Linux Kernel Development
Autor: Love, Robert

Linux kernel programming /
Vydáno: (2002)

Proceedings of the 2018 Afternoon Workshop on Kernel Bypassing Networks

Proceedings of the 1st International Workshop on Gamification of Software Development, Verification, and Validation

2016 1st IEEE International Verification and Security Workshop (IVSW)

Kernel methods for pattern analysis /
Autor: Shawe-Taylor, John
Vydáno: (2004)

Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety

Geometric Analysis of the Bergman Kernel and Metric
Autor: Krantz
Vydáno: (2013)

Proceedings of the 1st International Workshop on Online Safety, Trust and Fraud Prevention

Proceedings of the 1st ACM International Workshop on Security and Safety for Intelligent Cyber-Physical Systems

Proceedings of the 1st ACM international workshop on Sensor-Enhanced Safety and Security in Public Spaces

Proceedings of the First International Workshop on Multimedia Verification

Kernel Holding SA MarketLine Company Profile

Green's Kernels and Meso-Scale Approximations in Perforated Domains
Autor: Maz'ya
Vydáno: (2013)

Kernel Density Estimation Based on Grouped Data : The Case of Poverty Assessment /
Autor: Minoiu, Camelia
Vydáno: (2008)

Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components

Runtime Verification
Vydáno: (2013)

Runtime Verification
Vydáno: (2013)

Proceedings of the 1st ACM workshop on Workshop on AISec

Proceedings of the 1st Workshop on Middleware for the Edge

Proceedings of the 1st Workshop on Green Computing

Proceedings of the 1st Workshop on Digital Biomarkers

Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation

A note on the choice of the smoothing parameter in the kernel dinsity estimate
Autor: Froelich, Daniel F., a další
Vydáno: (2010)

Efficient and effective automated surveillance agents using kernel tricks
Autor: Ahmed, Tarem, a další
Vydáno: (2016)

Proceedings of the symposium on Testing, analysis, and verification

Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems

Proceedings of the 1st International Workshop on Software Protection

Proceedings of the 1st International Workshop on Earable Computing

Proceedings of the 1st Workshop on Distributed Machine Learning

Proceedings of the 1st Workshop on Machine Learning and Systems

Proceedings of the 1st Workshop on Cybersecurity and Social Sciences

Proceedings of the 1st International Workshop on Methodologies for Multimedia

Proceedings of the 1st International Workshop on Live Programming

Proceedings of the 1st International Workshop on Release Engineering