Boolean Satisfiability

XML reasoning made practical

Logic / Static Analysis / XML / Independent Component Analysis / Query Optimization / XML Schema / Navigation / Formal Verification / Data Structures / XML schemas / Boolean Satisfiability / Boolean Functions / XML Schema / Navigation / Formal Verification / Data Structures / XML schemas / Boolean Satisfiability / Boolean Functions

Network conscious design of distributed real-time systems

Control system / Computer Software / Design process / Real Time Systems / Real Time Scheduling / Design Methodology / Systems / Constraint Solving / Real Time / Automatic code generation / Task Allocation / Boolean Satisfiability / Systems Architecture / Nonlinear Optimization / Design Methodology / Systems / Constraint Solving / Real Time / Automatic code generation / Task Allocation / Boolean Satisfiability / Systems Architecture / Nonlinear Optimization

A polyconvex framework for soft biological tissues. Adjustment to experimental data

Engineering / Soft Tissue / Boolean Satisfiability / Experimental Data / Representation Theorem / Transversely Isotropic Solids / Energy function / Transversely Isotropic Solids / Energy function

System level design paradigms

Computer Aided Engineering / Design Theory / Computer Hardware / Computer Software / Design process / Paradigm Shift / Non Functional Requirement / Levels of Abstraction / Design Methodology / Computer Application / System-level design / Boolean Satisfiability / Embedded System / Platform Based Design / Wireless Sensor Network / Paradigm Shift / Non Functional Requirement / Levels of Abstraction / Design Methodology / Computer Application / System-level design / Boolean Satisfiability / Embedded System / Platform Based Design / Wireless Sensor Network

TIES: A testability increase expert system for VLSI design

Vlsi Design / Knowledge Based System / expert System / Knowledge base / Design for Testability / Boolean Satisfiability / Electrical And Electronic Engineering / Boolean Satisfiability / Electrical And Electronic Engineering

From system comprehension to program comprehension

Software Maintenance / Data Mining / Program Comprehension / Computer Software / Boolean Satisfiability / Information Need / Software Tool / Information Need / Software Tool

Architectural design recovery using data mining techniques

Data Mining / Information Extraction / Architectural Design / Reengineering / Search Algorithm / Pattern Matching / Branch and Bound / Functional Type / Source Code / Legacy software / Boolean Satisfiability / Entity Relationship Diagram / Abstract Syntax Tree / Pattern Matching / Branch and Bound / Functional Type / Source Code / Legacy software / Boolean Satisfiability / Entity Relationship Diagram / Abstract Syntax Tree

Architectural design recovery using data mining techniques

Data Mining / Information Extraction / Architectural Design / Reengineering / Search Algorithm / Pattern Matching / Branch and Bound / Functional Type / Source Code / Legacy software / Boolean Satisfiability / Entity Relationship Diagram / Abstract Syntax Tree / Pattern Matching / Branch and Bound / Functional Type / Source Code / Legacy software / Boolean Satisfiability / Entity Relationship Diagram / Abstract Syntax Tree

Uma abordagem quantitativa para importância de recursos florais em comunidades vegetais A quantitative approach on the importance of floral resources in plant communities

Biodiversity Conservation / Qualitative evaluation / Animal-Plant Interaction / Plant reproduction / Forest ecosystem / Plant species / Plant Community / Boolean Satisfiability / Floristic Composition / Plant species / Plant Community / Boolean Satisfiability / Floristic Composition

Tabu Search for a Car Sequencing Problem

Tabu Search / Boolean Satisfiability

Tabu Search for a Car Sequencing Problem

Tabu Search / Boolean Satisfiability

Lutess

Software Testing / Industrial Application / Test Data Generation / Boolean Satisfiability / Automated Testing / Temporal Logic

From system comprehension to program comprehension

Software Maintenance / Data Mining / Program Comprehension / Computer Software / Boolean Satisfiability / Information Need / Software Tool / Information Need / Software Tool

Building e-Government Services over Spatial Data Infrastructures

Public Administration / Electronic / Electronic Government / Spatial Data / Geographic Information / Spatial Data Infrastructure / Boolean Satisfiability / Spatial Data Infrastructure / Boolean Satisfiability

Dynamic Epistemic Temporal Logic

Temporal dynamics / Multi Agent System / Dynamic Epistemic Logic / Structural Properties / Model Generation / Boolean Satisfiability / Temporal Logic / Boolean Satisfiability / Temporal Logic

BWR fuel reloads design using a Tabu search technique

Tabu Search / Genetic Algorithm / Design optimization / Interdisciplinary Engineering / Boolean Satisfiability / Pattern Generation / Fuel Management / Boiling Water Reactor / Pattern Generation / Fuel Management / Boiling Water Reactor

«
1
2
3
4
5
6
7
8
9
10
11
12
»

Copyright © 2017 DADOSPDF Inc.