Although visual motion may seem salient, motion per se does not automatically attract attention. We show here, however, that the onset of motion does indeed attract attention. In three experiments, subjects identified target letters in displays that contained targets and distractors. There was no advantage for moving letters among static ones, but there was an advantage for objects that had rec...

The key to making program analysis practical for large concurrent programs is to isolate a small set of interleavings to be explored without losing precision of the analysis at hand. The state-of-the-art in restricting the set of interleavings while guaranteeing soundness is partial order reduction (POR). The main idea behind POR is to partition all interleavings of the given program into equiv...