COMPUTING SYSTEMS USED COOLING

Brand	Owner (click to sort)	Address	Description
O.T.E.	TMGCORE, INC.	6815 Communications Parkway Plano TX 75024	Computing systems used in cooling immersion environments for high speed computing comprised of data centers with modular servers and enclosures for same;OTE;
O.T.E.	Greg Porter	6815 Communications Parkway Plano TX 75024	Computing systems used in cooling immersion environments for high speed computing comprised of data centers with modular servers and enclosures for same;OTE;
	Where the owner name is not linked, that owner no longer owns the brand

Technical Examples

In one embodiment, a method for determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures includes, at a first one of multiple computing systems, receiving a first partition of a circuit. The first partition corresponds to a first binary decision diagram (BDD) having a first density. The method includes performing a first reachability analysis on the first partition using the first BDD until a fixed point in the first partition has been reached and, if, during the first reachability analysis, the size of the first BDD exceeds a threshold, discarding the first BDD. The method includes communicating with at least one second one of the multiple computing systems. The second one of the multiple computing systems has received a second partition of the circuit. The second one of the multiple computing systems has performed a second reachability analysis on the second BDD without discarding the second BDD.