powerdomain การใช้

• For example, the Hoare powerdomain of an ?-complete domain is again ?-complete.
• The abstract characterisation of powerdomains is often the easiest way to work with them, because explicit descriptions are so intricate . ( One exception is the Hoare powerdomain, which has a rather straightforward description .)
• In my G4, for example, I've recently been testing Adaptec's new Ultra160 card, called the PowerDomain 29160N, with a pair of Ultra160 drives ( 9.1-gigabyte, 10, 000-rpm Quantum Atlas 10Ks ) striped together with SoftRAID . The whole get-up would cost about $ 1, 150 _ around $ 300 ( street price ) for the card, $ 350 for each drive ( mail order ), and $ 149 for SoftRAID ( from wwww . softraid . com ).