Formal Model

Semantics, consistency, and query processing of empirical deductive databases

Subjective Probability / Query processing / Formal Model / Query Answering / Deductive Databases

Efficiently supporting temporal granularities

Temporal Data Mining / Temporal Databases / Granularity / Formal Model / Continuous Time Systems / Temporal Logic / Temporal Database / Temporal Logic / Temporal Database

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling

Communication System / Formal Verification / Real Time / High performance / Formal Model / SDL / Embedded System / Real Time Operating System / SDL / Embedded System / Real Time Operating System

Two-Phase Fine-Grain Sleep Transistor Insertion Technique in Leakage Critical Circuits

Distributed Computing / Linear Programming / Integer Programming / Computer Hardware / Algorithm / Relaxation / Leakage Current / Dimensioning / Formal Model / Mixed Integer Programming / Electrical And Electronic Engineering / Leakage Reduction / Heuristic algorithm / Relaxation / Leakage Current / Dimensioning / Formal Model / Mixed Integer Programming / Electrical And Electronic Engineering / Leakage Reduction / Heuristic algorithm

A model for recursive-parallel programs

Cognitive Science / Computer Software / Formal Model / Parallel Systems / Transition Systems

A Logical Interface Description Language for Components

Component-Based Software Engineering (CBSE) / Formal Logic / Formal Model

Copyright © 2017 DATOSPDF Inc.