Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach.

Sergei Gorlatch Christian Lengauer

Published in: Acta Informatica (2000)

Keyphrases

search algorithm
design process
satisfiability problem
current status
genetic algorithm
programming environment
information systems
case study
data model
scheduling problem
knowledge based systems
engineering design
parallel implementation
control program