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

doi 10.1145/2019136.2019139

Full Text

Abstract

Available in

Date

January 1, 2011

Authors

Leonardo Passos

Thorsten Berger

Marko Novakovic

Krzysztof Czarnecki

Andrzej Wąsowski

Publisher

ACM Press

Related search

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

English

System-Level Verification of Embedded Operating Systems Components

English

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

English

Operating System Kernel Coprocessor for Embedded Applications

English

Design of ARM Based Embedded Operating System Micro Kernel

English

A Translation of Pseudo-Boolean Constraints to SAT

Journal on Satisfiability, Boolean Modeling and Computation

English

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

Journal of Networks

English

Boolean Satisfiability With Transitivity Constraints

ACM Transactions on Computational Logic

Computational Mathematics

Theoretical Computer Science

Computer Science

English