• DocumentCode
    2352433
  • Title

    A scheduling problem language

  • Author

    Levanto, Mikko

  • Author_Institution
    VTT Electron., Oulu, Finland
  • fYear
    1995
  • fDate
    14-16 Jun 1995
  • Firstpage
    57
  • Lastpage
    61
  • Abstract
    A language for specification of the details of a scheduling problem is presented. First experiments indicate that the language can be used to express actual scheduling problems. Some deficiencies were detected but they can be fixed while keeping the general structure of the language
  • Keywords
    formal languages; formal specification; real-time systems; scheduling; actual scheduling problems; embedded systems; formal languages; scheduling problem language; scheduling rules; specification; Costs; Delay; Embedded computing; Embedded system; Formal languages; Process design; Processor scheduling;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Systems, 1995. Proceedings., Seventh Euromicro Workshop on
  • Conference_Location
    Odense
  • ISSN
    1068-3070
  • Print_ISBN
    0-8186-7112-2
  • Type

    conf

  • DOI
    10.1109/EMWRTS.1995.514292
  • Filename
    514292