Concepedia

Scheduling Semantics

Scheduling Semantics is a formal framework that specifies the rules and constraints governing the temporal ordering and execution of concurrent processes within a system, distinguishing it from other modeling constructs by its focus on the precise interpretation of scheduling behaviors and their semantic implications in concurrent computation.

105

Publications

3.4K

Citations

246

Authors

127

Institutions

Publications per year

2017–2026

6

Parents

Publications

105

Structured multiprogramming

Per Brinch Hansen · Communications of the ACM · 1972 · 201 citations · Full text

, , +14

Specifying and Enforcing Intertask Dependencies

Paul C. Attie, Munindar P. Singh, Amit Sheth et al. · Journal of Bioresource Management · 1993 · 188 citations · Full text

, , +16

A new type system for secure information flow

Geoffrey Smith · 2005 · 140 citations

, , +14

Compositional Analysis Framework Using EDP Resource Models

Arvind Easwaran, Madhukar Anand, Insup Lee · 2007 · 107 citations

, , +17

Code generation schema for modulo scheduled loops

B. Ramakrishna Rau, Michael Schlansker, P. Tirumalai · ACM SIGMICRO newsletter/SIGMICRO newsletter/SIGMICRO, TCMICRO newsletter · 1992 · 104 citations

, , +8

1–5 of 105

Authors

246

  1. RE
    Rolf Ernst

    Technische Universität Braunschweig, Germany

    4 publications · 128 citations

    4

    h-index

  2. MP
    Munindar P. Singh

    North Carolina State University, United States

    4 publications · 287 citations

    4

    h-index

  3. DZ
    Dirk Ziegenbein

    Technische Universität Braunschweig, Germany

    4 publications · 128 citations

    4

    h-index

  4. PC
    Paul C. Attie

    The University of Texas at Austin, United States

    3 publications · 236 citations

    3

    h-index

  5. MR
    Marek Rusinkiewicz

    University of Houston, United States

    3 publications · 242 citations

    3

    h-index

1–5 of 246

Institutions

127

  1. University of York

    York, United Kingdom

    4 h-index

    9 publications

    204 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    5 publications

    117 citations

  3. Technische Universität Braunschweig

    Braunschweig, Germany

    4 h-index

    12 publications

    408 citations

  4. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    4 h-index

    7 publications

    136 citations

  5. University of Pennsylvania

    Philadelphia, United States

    4 h-index

    8 publications

    574 citations

  6. Verimag

    Gières, France

    3 h-index

    9 publications

    365 citations

  7. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    3 h-index

    4 publications

    96 citations

  8. Cadence Design Systems (United States)

    San Jose, United States

    3 h-index

    4 publications

    111 citations

1–8 of 127

Venues

  1. 3

    h-index

  2. Acta Informatica

    2 publications · 59 citations

    2

    h-index

  3. ACM Transactions on Embedded Computing Systems

    TECS · 2 publications · 96 citations

    2

    h-index

  4. ACM SIGPLAN Notices

    2 publications · 26 citations

    2

    h-index

  5. Artificial Intelligence in Engineering

    2 publications · 72 citations

    2

    h-index

1–5