Computing OWL ontology decompositions using resolution
Robert Schiaffino, Achille Fokoue, et al.
WoMO 2007
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.
Robert Schiaffino, Achille Fokoue, et al.
WoMO 2007
Julian Dolby, Achille Fokoue, et al.
AAAI/IAAI 2007
Julian Dolby, Achille Fokoue, et al.
ISWC 2009
Manish Gupta, Edith Schonberg, et al.
IEEE TPDS