Articles with "resources race" as a keyword



Photo from wikipedia

Software model checking for resources race

Sign Up to like & get
recommendations!
Published in 2017 at "Cluster Computing"

DOI: 10.1007/s10586-017-0757-z

Abstract: The difficulty of finding resources race is well known. Such errors are hard to be detected, because they often happen irregularly and reproduce difficultly. Especially, the kind race conflicts exist among processes, threads, and interrupts.… read more here.

Keywords: race; resources race; model checking; software model ... See more keywords