A view of OWL from the field: Use cases and experiences
Aaron Kershenbaum, Achille Fokoue, et al.
OWLED 2006
ThE paper presents an efficient on-the-fly method for detecting access anomalies in programs that contain critical section coordinw tion. For a large class of programs, a single execution instance is sufficient to determine theexistence of an acceeaanomaly for a given input when the proposed method is used. In contrast, for the same class of programs, previous on-the-fly methods for handling critical sections can fail to detect anomalies for a given input, and can require N! execution instances to find an anomaly, where N is the degree of parallelism. An algorithm for statically determining which programs are in this class is described. © 1991, ACM. All rights reserved.
Aaron Kershenbaum, Achille Fokoue, et al.
OWLED 2006
Julian Dolby, Achille Fokoue, et al.
Journal of Web Semantics
Julian Dolby, Achille Fokoue, et al.
ISWC 2009
Nick Mitchell, Edith Schonberg, et al.
IEEE Software