Concepedia

Consistency Verification

Consistency Verification is a formal method used in the evaluation of memory systems that determines whether the observed behavior of a multiprocessor system conforms to a specified memory consistency model by systematically checking adherence to its defined ordering and visibility constraints.

149

Publications

7.1K

Citations

398

Authors

170

Institutions

Publications per year

2017–2026

47

Parents

Publications

149

Multi-sensor image fusion using the wavelet transform

Hui Li, B.S. Manjunath, S. Mitra · 2002 · 1.5K citations

, , +15

A simple method to improve the consistency ratio of the pair-wise comparison matrix in ANP

Daji Ergu, Gang Kou, Yi Peng et al. · European Journal of Operational Research · 2011 · 249 citations

, , +7

Checking the correctness of memories

Manuel Blum, William J. Evans, Peter Gemmell et al. · Algorithmica · 1994 · 202 citations

, , +12

Medical Image Fusion via an Effective Wavelet-Based Approach

Yong Yang, Dong Sun Park, Shuying Huang et al. · EURASIP Journal on Advances in Signal Processing · 2010 · 194 citations · Full text

, , +16

The semantics of x86-CC multiprocessor machine code

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli et al. · 2009 · 156 citations

, , +17

1–5 of 149

Authors

398

  1. VV
    Viktor Vafeiadis

    Max Planck Institute for Software Systems, Germany

    9 publications · 289 citations

    9

    h-index

  2. MM
    Margaret Martonosi

    Princeton University, United States

    6 publications · 225 citations

    6

    h-index

  3. DJ
    Daniel J. Sorin

    Duke University, United States

    6 publications · 188 citations

    6

    h-index

  4. YY
    Yong Yang

    Jiangxi University of Finance and Economics, China

    5 publications · 417 citations

    5

    h-index

  5. AR
    Azalea Raad

    Max Planck Institute for Software Systems, Germany

    5 publications · 180 citations

    5

    h-index

1–5 of 398

Institutions

170

  1. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    10 h-index

    21 publications

    796 citations

  2. Princeton University

    Princeton, United States

    8 h-index

    25 publications

    821 citations

  3. Duke University

    Durham, United States

    6 h-index

    14 publications

    420 citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    6 h-index

    10 publications

    286 citations

  5. Jiangxi University of Finance and Economics

    Nanchang, China

    5 h-index

    10 publications

    839 citations

  6. Tel Aviv University

    Tel Aviv, Israel

    5 h-index

    7 publications

    210 citations

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

    Le Chesnay-Rocquencourt, France

    5 h-index

    11 publications

    888 citations

  8. Université Paris Cité

    Paris, France

    5 h-index

    13 publications

    587 citations

1–8 of 170

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 8 publications · 240 citations

    8

    h-index

  2. ACM SIGPLAN Notices

    4 publications · 105 citations

    4

    h-index

  3. Sensors

    3 publications · 163 citations

    3

    h-index

  4. ACM SIGARCH Computer Architecture News

    3 publications · 155 citations

    3

    h-index

  5. IET Image Processing

    2 publications · 41 citations

    2

    h-index

1–5