Planware-domain-specific synthesis of high-performance schedulers

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 270-279

  Blaine, L ^a   Gilham, L ^a   Liu, Junbo ^a   Smith, D R ^a   Westfold, S ^a  

^a KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SCHEDULING;

ALGORITHM DESIGN; CONSTRAINT PROPAGATION ALGORITHMS; DATA TYPE; DOMAIN INDEPENDENTS; DOMAIN SPECIFIC; GLOBAL SEARCH; HIGH PERFORMANCE SCHEDULING; SCHEDULING DOMAIN;

SOFTWARE ENGINEERING;

EID: 84983014000     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.1998.732672     Document Type: Conference Paper

References (7)

1. L. Blaine and A. Goldberg. DTRE-a semiautomatic transformation system. In B. Möller, editor, Constructing Programs from Specifications, pages 165-204. North-Holland, Amsterdam, 1991.
2. J. Meseguer. General logics. In H. E. et al., editor, Logic Colloquium 87, pages 275-329. North Holland, Amsterdam, 1989.
3. D. R. Smith. Toward a classification approach to design. In Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, AMAST'96, volume LNCS 1101, pages 62-84. Springer-Verlag, 1996.
4. D. R. Smith. KIDS-a semi-automatic program development system. IEEE Transactions on Software Engineering Special Issue on Formal Methods in Software Engineering, 16(9):1024-1043, September 1990.
5. D. R. Smith and M. R. Lowry. Algorithm theories and design tactics. In L. van de Snepscheut, editor, Proceedings of the International Conference on Mathematics of Program Construction, LNCS 375, pages 379-398. Springer-Verlag, Berlin, 1989. (reprinted in Science of Computer Programming, 14(2-3), October 1990, pp. 305-321).
6. D. R. Smith, E. A. Parra, and S. J.Westfold. Synthesis of planning and scheduling software. In A. Tate, editor, Advanced Planning Technology, pages 226-234. AAAI Press, Menlo Park, 1996.
7. Y. V. Srinivas and R. Jüllig. Specware: Formal support for composing software. In B. Moeller, editor, Proceedings of the Conference on Mathematics of Program Construction, pages 399-422. LNCS 947, Springer-Verlag, Berlin, 1995.