Conference paper
Producing scheduling that causes concurrent programs to fail
Yosi Ben-Asher, Yaniv Eytani, et al.
PADTAD 2006
While graphs are normally defined in terms of the 2-place relation of adjacency, we take the 3-place relation of interception as the basic primitive of their definition. The paper views graphs as an economical scheme for encoding interception relations, and establishes an axiomatic characterization of relations that lend themselves to representation in terms of graph interception, thus providing a new characterization of graphs. © 1996 John Wiley & Sons, Inc.
Yosi Ben-Asher, Yaniv Eytani, et al.
PADTAD 2006
Yarden Nir-Buchbinder, Shmuel Ur
ESEC/FSE 2007
Shady Copty, Shmuel Ur
Euro-Par 2005
Bohuslav Krena, Zdenek Letko, et al.
ISSTA 2007