Static Analysis Based Invariant Detection for Commodity Operating Systems

doi 10.4108/icst.collaboratecom.2011.247087
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Lightweight Static Analysis for Data Race Detection in Operating System Kernels

Proceedings of the Institute for System Programming of RAS
2015English

Application-Specific Service Technologies for Commodity Operating Systems in Real-Time Environments

Transactions on Embedded Computing Systems
HardwareArchitectureSoftware
2011English

Algorithmic Support for Commodity-Based Parallel Computing Systems.

2003English

Static Timing Analysis for Hard Real-Time Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Operating Characteristics of a High Current Electro-Static Accelerator for a Contraband Detection System

English

Invariant Hough Random Ferns for RGB-D-based Object Detection

Optical Engineering
EngineeringOpticsAtomicMolecular Physics,
2016English

Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs

2014English

Soccer Ball Detection in Occluded Situations for Single Static Camera Systems

2013English

Static Analysis for Event-Based XML Processing

BRICS Report Series
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy