Planware - Domain-specific synthesis of high-performance schedulers

被引：16
|
作者：
Blaine, L [1 ]
Gilham, L [1 ]
Liu, JB [1 ]
Smith, DR [1 ]
Westfold, S [1 ]
机构：
[1] Kestrel Inst, Palo Alto, CA 94304 USA
来源：
13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/ASE.1998.732672
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Planware is a domain-specific generator of highperformance scheduling software, currently being developed at 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.
引用
收藏
页码：270 / 279
页数：10
相关论文
共 50 条
  • [21] DSMCompare: domain-specific model differencing for graphical domain-specific languages
    Manouchehr Zadahmad
    Eugene Syriani
    Omar Alam
    Esther Guerra
    Juan de Lara
    Software and Systems Modeling, 2022, 21 : 2067 - 2096
  • [22] DSMCompare: domain-specific model differencing for graphical domain-specific languages
    Zadahmad, Manouchehr
    Syriani, Eugene
    Alam, Omar
    Guerra, Esther
    de Lara, Juan
    SOFTWARE AND SYSTEMS MODELING, 2022, 21 (05): : 2067 - 2096
  • [23] The impact of metamemory and domain-specific knowledge on memory performance
    Schneider, W
    Schlagmuller, M
    Vise, M
    EUROPEAN JOURNAL OF PSYCHOLOGY OF EDUCATION, 1998, 13 (01) : 91 - 103
  • [24] The impact of metacognition and domain-specific knowledge on memory performance
    Schneider, W
    INTERNATIONAL JOURNAL OF PSYCHOLOGY, 1996, 31 (3-4) : 3715 - 3715
  • [25] A Domain-Specific Language for Monitoring ML Model Performance
    Kourouklidis, Panagiotis
    Kolovos, Dimitris
    Noppen, Joost
    Matragkas, Nicholas
    2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 266 - 275
  • [26] Canopus: A Domain-Specific Language for Modeling Performance Testing
    Bernardino, Maicon
    Zorzo, Avelino F.
    Rodrigues, Elder M.
    2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 157 - 167
  • [27] Domain-specific metadata for model validation and performance optimisation
    Thiyagalingam, Jeyarajan
    Getov, Vladimir
    Panagiotidi, Sofia
    Beckmann, Olav
    Darlington, John
    ACHIEVEMENTS IN EUROPEAN RESEARCH ON GRID SYSTEMS, 2008, : 165 - +
  • [28] The impact of metamemory and domain-specific knowledge on memory performance
    Wolfgang Schneider
    Matthias Schlagmüller
    Mechtild Visé
    European Journal of Psychology of Education, 1998, 13 : 91 - 103
  • [29] Domain-Specific Languages and Code Synthesis Using Haskell
    Gill, Andy
    COMMUNICATIONS OF THE ACM, 2014, 57 (06) : 42 - 49
  • [30] Will domain-specific code synthesis become a silver bullet?
    UC Berkeley, Ultimode Systems
    不详
    不详
    不详
    不详
    不详
    IEEE Intell Syst their Appl, 2 (9-12):
12345