With the increasing complexity of protocol and circuit designs , formal veriication has become an important research area and binary decision diagrams (BDDs) have been shown to be a powerful tool in formal veriication. This paper presents a parallel algorithm for BDD construction targeted at shared memory multiprocessors and distributed shared memory systems. This algorithm focuses on improving...

The attentional scope model of rumination describes the links between rumination and attentional breadth. The model postulates that a more narrow attentional scope, caused by negative mood, increases the likelihood that thoughts become repetitive on the same topic, which in turn could exacerbate negative mood and lead to more attentional narrowing. We experimentally tested this model by examini...