Semaphore Synchronization

Semaphore Synchronization is a concurrency control mechanism that coordinates access to shared resources among multiple threads or processes by using semaphores to enforce mutual exclusion and signal state changes, thereby preventing race conditions in priority-based scheduling systems.

21

Publications

2.1K

Citations

43

Authors

30

Institutions

Publications per year

2017–2026

1

Authors

43

  1. MF
    Marco Faella

    University of Naples Federico II, Italy

    2 publications · 42 citations

    2

    h-index

  2. LD
    Luca de Alfaro

    University of California, Santa Cruz, United States

    2 publications · 42 citations

    2

    h-index

  3. RM
    Rupak Majumdar

    Max Planck Institute for Software Systems, Germany

    2 publications · 42 citations

    2

    h-index

  4. VR
    Vishwanath Raman

    University of California, Santa Cruz, United States

    2 publications · 42 citations

    2

    h-index

  5. VS
    Vivek Sarkar

    Rice University, United States

    1 publications · 24 citations

    1

    h-index

1–5 of 43

Venues

  1. Communications of the ACM

    3 publications · 1.5K citations

    3

    h-index

  2. Journal of the ACM

    JACM · 1 publications · 23 citations

    1

    h-index

  3. Formal Methods in System Design

    1 publications · 15 citations

    1

    h-index

  4. Kent Academic Repository (University of Kent)

    Repository · 1 publications · 16 citations

    1

    h-index

  5. Transportation research procedia

    TRPRO · 1 publications · 20 citations

    1

    h-index

1–5