A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System

doi 10.1145/2019136.2019139
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

OpenSwarm: An Event-Driven Embedded Operating System for Miniature Robots

2016English

System-Level Verification of Embedded Operating Systems Components

2012English

Operating System Kernel Coprocessor for Embedded Applications

2010English

Embedded System Synthesis Under Memory Constraints

English

Analysis of Physical Parameters Using Embedded Programmable Operating System

International Journal of Recent Trends in Engineering and Research
2018English

Design of ARM Based Embedded Operating System Micro Kernel

2013English

A Translation of Pseudo-Boolean Constraints to SAT

Journal on Satisfiability, Boolean Modeling and Computation
2006English

A Hybrid Embedded Real-Time Operating System for Wireless Sensor Networks

Journal of Networks
2009English

Boolean Satisfiability With Transitivity Constraints

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy