|
|
powerdomain
<theory> The powerdomain of a domain D is a domain
containing some of the subsets of D. Due to the asymmetry
condition in the definition of a partial order (and
therefore of a domain) the powerdomain cannot contain all the
subsets of D. This is because there may be different sets X
and Y such that X <= Y and Y <= X which, by the asymmetry
condition would have to be considered equal.
There are at least three possible orderings of the subsets of
a powerdomain:
Egli-Milner:
X <= Y iff for all x in X, exists y in Y: x <= y
and for all y in Y, exists x in X: x <= y
("The other domain always contains a related element").
Hoare or Partial Correctness or Safety:
X <= Y iff for all x in X, exists y in Y: x <= y
("The bigger domain always contains a bigger element").
Smyth or Total Correctness or Liveness:
X <= Y iff for all y in Y, exists x in X: x <= y
("The smaller domain always contains a smaller element").
If a powerdomain represents the result of an abstract
interpretation in which a bigger value is a safe
approximation to a smaller value then the Hoare powerdomain is
appropriate because the safe approximation Y to the
powerdomain X contains a safe approximation to each point in
X.
("<=" is written in LaTeX as \sqsubseteq).
(1995-02-03)
Try this search on OneLook / Google
Nearby terms:
POWER « PowerBuilder « power cycle « powerdomain » PowerFuL » power hit » Power Mac
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
32MB 72 Pin 8x36 ParitySIMM Module32MB 72 Pin 8x36 Parity SIMM Module ** 32MB 72 Pin 8x36 Parity SIMM **General Features:- 8 x 36- Parity- 72 pin- Tin or gold leadsCompatibility/Requirements/Disclosures:** Disclosures *** Picture is for representational purposes only More ...
XP 2000+ CPU with Fan &Motherboard ComboXP 2000+ CPU with Fan &Motherboard Combo ** XP 2000+ CPU with Fan & Motherboard Combo **Here's a great way to upgrade with AMD power! You'll receive a PC Chips Socket A motherboard, a fast AMD XP 2000+ CPU and a heavy duty cooling fan. Pick yours up today!Motherboard Features:- CPU: Socket A- FSB: 266/200MHz - Chipset: KT266A/8235 - Memory: 2 x 184-pin DIMM sockets support two 2.5V DDR SDRAMs (DDR266/200) Maximum: 2GB - Expansion Slots: 1 x AGP4X, 5 x PCI, 1 x CNR - LAN: VIA VT6103 10/100Mbps Fast Ethernet PHY Audio VIA VT1612A 2-channel audio Codec Compliant with AC'97 2.2 specification - IDE: 2 x UltraDMA 133/100 - Back Panel I/O Ports: 1 x PS/2 keyboard, 1 x PS/2 mouse, 1 x Parallel Port, 1 x Serial Port, 4 x USB 2.0 Ports, 1 x RJ 45 Port, 1 x Audio I/O (Line-in, Line-out and Mic-in) - Internal I/O Connectors & Headers: 20-pin ATX power supply connector, 360K~2.88M Byte, 3 Mode FDDs or LS120, 1 x Speaker header, 1 x USB card reader header, 1 x USB header support additional 2 USB2.0 ports, 1 x Front panel switch/LED header, 1 x CD in header, CPU / CAS FAN headers, 1 x Front panel audio header - System BIOS: AMI 2Mb Flash EEPROM, Supports Plug and Play 1.0A, APM 1.2, Multi Boot, DMI Full support for ACPI revision 1.0 specification - Form Factor: ATX Form Factor, 305*190mm CPU & Fan Features:- AMD Athlon XP 2000+ (1.67GHz) CPU- Model 8 Athlon (Thoroughbred)- More Instructions per clock cycle!- PGA Package Type (462pin Socket A)- Max Front Side Bus of 266MHz- 256KB L2 Cache- QuantiSpeed architecture - 1.6v operating voltage- Fan Dimensions: 70x70x15mm - Bearing System: Ball Bearing Syetem - Rated Voltage: DC12V - Speed(RPM): 3800 - Noise Level(dBA): 34 - Air Delivery(CFM): 32.73Includes:- PC Chips M811 LU 3.1 Socket A ATX Motherboard w/Snd- AMD XP 2000+ 266MHz FSB CPU- Socket A cooling fan- Retail box includes Manual, Drivers and CablesCompatibility/Requirements/Disclosures:** Requirements *** ATX case* ATX power supply* Supported RAM* Rest of system More ...
Presto Print SuitePresto Print Suite ** Presto Print Suite **Includes:- Presto PrintMagic,Presto ImageFolio,Presto PageManager,Presto PhotoAlbum,Kais Power GOO SE,Presto ClipArt Compatible with Win95,98,Me,2000,XPCompatibility/Requirements/Disclosures:** Requirements *** Windows XP,2000,ME,98,95,3.1* CD-ROM drive More ...
3-Button PS/2 Backlit Optical Scroll Mouse (Red)3-Button PS/2 Backlit Optical Scroll Mouse (Red) ** 3-Button PS/2 Illuminating Optical Mouse **This 3-button light up mouse will be a nice addition toyour custom system. This mouse offers a PS/2 interface and the luxury of optical tracking. Cleaning your mouse is now a thing of the past!General Features:- Red and clear design- Scroll wheel lights up blue- Bottom and back light up red- PS2 interface- Optical tracking- 3-button layout- Scroll wheel acts as third button- Ergonomic design for left and right-handed users- Precise cursor movementRegulatory Approvals- FCC- CERetail Package Includes:- 3-Button USB light-up mouse Compatibility/Requirements/Disclosures:** Requirements *** Microsoft Windows 95/98/NT/2000/ME/XP * Available PS/2 mouse port More ...
Nvidia TNT2 32MB AGP Video CardNvidia TNT2 32MB AGP Video Card ** Nvidia TNT2 32MB AGP Video Card **Featuring the Nvidia TNT2 chipset, this quality video card delivers 32 MB of video memory on a PC with an AGP slot! Order yours today!General Features:- Nvidia TNT2 chipset- 32 MB memory- AGP interface- Standard 15-pin VGA connectorNotes:- Video card only- IBM FRU: 09N5033 Compatibility/Requirements/Disclosures:** Requirements *** Available AGP slot* VGA monitor or better More ...
3-Piece 2.1 Channel MultiMedia Speaker System3-Piece 2.1 Channel MultiMedia Speaker System ** 3-Piece 2.1 Channel MultiMedia Speaker System **This SP-330 3-piece 2.1 Channel MultiMedia SubWoofer Speaker system is ideal for audio sources such as a Walkman, Cassette Player, CD-Player, Sound card, MP3 players and more! Order yours today!General Features:- Silver profile- Active separating circuits for frequencies- Reinforced module structure- Magnetically shielded- Rotating satellite speakers- In-line remote control- 120 – 240 V~ 50/60 Hz power specificationsSpecifications:- Frequency Response: 40 Hz - 160 Hz (SubWoofer),- 4-inch driver subwoofer - Frequency Response: 100 Hz - 20 KHz (Satellite)- Two (2) 2.5-inch full range driver- One (1) 2-inch tweeter- Control Panel: Power/VolumeSize:- Two (2) Satellite Speakers: 3.5 x 9.25 x 3.5-inches (W x H x L approximate)- One (1) SubWoofer: 5.5 x 9.5 x 10.75-inches (W x H x L approximate)Package Includes:- One (1) SubWoofer Speaker Unit- Two (2) Satellite Speakers- Manual Compatibility/Requirements/Disclosures: ** Requirements *** Audio source with stereo mini-din jack* Available power outlet More ...
|
