kirancodes.me
To Proof Maintenance & Beyond!
ASE 1998

Planware - Domain-Specific Synthesis of High-Performance Schedulers

Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold

DOI 10.1109/ase.1998.732672dblp

Abstract

Planware is a domain-specific generator of high-performance scheduling software, currently being developed at the Kestrel Institute. Architecturally, Planware is an extension of the Specware system with domain-independent and domain-dependent parts. The domain-independent part includes a general algorithm design facility (including mechanisms to synthesize global-search and constraint propagation algorithms), as well as support for theorem-proving and witness finding. The domain-dependent part includes scheduling domain knowledge and architecture representations, and other domain-specific refinement knowledge that relates the scheduling domain to general algorithm design and data type refinement. Using Planware, the user interactively specifies a problem and then the system automatically generates a formal specification and refines it.

BibTeX
@inproceedings{Blaine-al:ASE98,
  author    = {Lee Blaine and
               Limei Gilham and
               Junbo Liu and
               Douglas R. Smith and
               Stephen J. Westfold},
  title     = {Planware - {Domain-Specific} Synthesis of {High-Performance} Schedulers},
  booktitle = {ASE},
  pages     = {270-},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
}

Related papers