|
|
safe
A safe program analysis is one which will not reach invalid
conclusions about the behaviour of the program. This may
involve making safe approximations to properties of parts of
the program. A safe approximation is one which gives less
information.
For example, strictness analysis aims to answer the question
"will this function evaluate its argument"?. The two possible
results are "definitely" and "don't know". A safe
approximation for "definitely" is "don't know". The two
possible results correspond to the two sets: "the set of all
functions which evaluate their argument" and "all functions".
A set can be safely approximated by another which contains it.
Try this search on OneLook / Google
Nearby terms:
SAD SAM « SADT « SAFARI « safe » safety » safety-critical system » saga
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Quickstart: Professional Fonts - Decorative &ScriptQuickstart: Professional Fonts - Decorative &Script Your search for the perfect collection of decorative and script fonts is over. With hundreds of interesting display typefaces that range from elegant to outlandish... Windows 95/98/ME/2000/XP and Mac More ...
Mitsumi 7-In-1 USB Ext FDD &Card Reader/WriterMitsumi 7-In-1 USB Ext FDD &Card Reader/Writer ** Mitsumi 7-In-1 USB External Floppy Drive & Card Reader/Writer **This Mitsumi 7-in-1 FA401 combines a floppy drive and card reader/writer in one external drive! It features a USB 2.0 interface, LED power and access indicator, and a built-in USB cable! This FA401 supports CompactFlash, MicroDrive, Secure Digital, MultiMedia, Memory Stick, and SmarMedia cards!General Features:- Gray color- USB 2.0 interface (Compatible with USB 1.1/1.0)- External drive and card reader/writer- 1.44 MB floppy disk drive- Reads and writes 6 memory cards- 500 Kbps maximum transfer rate (FDD)- 12 MB per second transfer rate (memory cards)- LED power and access indicator- Plug and Play- Built-in USB cable (35-inch length, approximate)- USB bus poweredSupported Media Formats:- CompactFlash- IBM MicroDrive- Secure Digital Card- MultiMedia Card- Memory Stick- SmartMediaUnit Dimensions:- 1 x 4.25 x 5.5-inches (H x W x D)Regulatory Approvals:- UL- FCC- CE- TUV- VCCI- BSMIPlain Box Includes:- Mitsumi 7-In-1 USB External Floppy Drive & Card Reader/Writer- Installation CDNotes:- Model: FA401 Compatibility/Requirements/Disclosures:** Requirements *** PC Requirements:* Microsoft Windows 98/2000/ME/XP* CD-ROM drive * Supported media cards* Available USB port* Macintosh Requirements:* Mac OS 8.6 or higher * CD-ROM drive* Supported media cards* Available USB port More ...
Advanced Photo EditorAdvanced Photo Editor Our advanced editing tools take your less-than-perfect photos and turn them into memories you'll be proud to share! Dazzling special effects let you instantly design one-of-a-kind photos. Plus, there's a scrapbooking tool, and more! Windows 98/ME/2000/XP More ...
Lexar Media 1GB CompactFlash CardLexar Media 1GB CompactFlash Card ** Lexar Media 1 GB CompactFlash Card **CompactFlash is the world's most popular removable mass storage device. This Lexar 1 GB CompactFlash Card is great for Digital Cameras, MP3 Music Players, and Handheld PCs. With 4x speed rating, it provides a minimum 600 KB/sec image transfer rate!General Features:- Stores up to 1 GB of memory- 4x speed rating: 600KB per second image transfer rate- Non-volatile- Solid-stateRetail Blister Pack Includes:- Lexar Media 1 GB CompactFlash Card Compatibility/Requirements/Disclosures: ** Requirements *** CompactFlash Memory Slot* CompactFlash Type I PC Card Adapter More ...
Fenton 600VA 4-Outlet UPS (Dark Blue)Fenton 600VA 4-Outlet UPS (Dark Blue) ** Fenton 600VA 4-Outlet Line-Interactive UPS **This Fenton 600VA Line-Interactive UPS offers a great investment to protect your PC and peripherals against lightnings and power outages. It features 4 grounded outlets, overload and short-circuit protection, and complete surge suppression and noise filtration. It comes with built-in RJ-45 jacks to provide surge protection to modem or 10 Base-T signals. For highest level of protection and ease of use, get yourself this Fenton 600VA!General Features:- Dark blue- 4 grounded outlets- Intelligent Line Interactive UPS - Microprocessor controlled- Automatic Voltage Regulation Function (AVR) - Surge protected RJ-45 Internet connection - Power management features with built-in DC start function - Overload and short-circuit protection - Complete surge suppression and noise filtration - Simulate sine wave output- Compact size- High reliabilitySpecifications:- 600VA rating- 320W wattage- 110/220 Vac voltage- 50/60 Hz frequency- Single Phase- 4 ms transfer time (typical)- 320 Joules energy rating- Maintenance Free Lead Acid battery type- 8 hours to 90 % charged re-charge time- 15-23 minutes typical backup timeFront Panel Features:- Green LED power indicatorRear Panel Features:- Four (4) outlets- Two (2) RJ-45 jacks- One (1) 9-pin RS-232 communication port- AC input with AC Fuse (6A/12V-T)Unit Dimensions:- 8.7 x 4.1 x 9.8-inches (H x W x D)Retail Package Includes:- Fenton 600VA 4-Outlet Line-Interactive UPS- Manual- One (1) 9-pin RS-232 serial cable- Power cord Compatibility/Requirements/Disclosures:** Requirements *** Available power outlet Informational Links:http://www.fentonups.comhttp://www.metapo.com/ More ...
Silicon Image Sil0680 UDMA/133 IDE RAID PCI CCDSilicon Image Sil0680 UDMA/133 IDE RAID PCI CCD** UDMA/133 IDE RAID PCI Controller Card **This UDMA/133 IDE RAID controller card featuresa Silicon Image SIL0680 chipset and a PCI interface. Two IDE connectors support UltraATA/133 protocols and optional RAID functions,0, 1, and 0+1. Upgrade your system with thishigh performance, cost-effective RAID controllercard! Order yours today!General Features:- Silicon Image SIL0680 chipset- PCI interface- Compliant with UDMA6 ATA/133 Specification- Compliant with ATA/ATAPI-6 Specification- Support maximum data transfer rate of 133MB/sec- Two independent Ultra ATA channels with 256 bytes buffer per channel- Connect up to four IDE/ATA devices (Coexist with On-board IDE ports)- Fully backwards compatible with Ultra ATA/133, Ultra ATA/100, Ultra ATA/66, Ultra ATA/33, EIDE/Fast ATA-2, IDE and ATAPI devices- Automatic performance tuning for each device attached- Support Ultra and Multi-Word DMA timing modes- PCI Plug and Play compatibilityRAID Features:- Supports RAID function 0, 1 and 0+1- Adjustable stripe size for RAID0 and 0+1- Supports co-exist RAID set and Non-RAID HDD- Allow HDDs with different sizes to be configured in a RAID set Devices Supported:- Hard Drives- ATAPI CDROM- DVD ROM- CD-R- CD-RW- LS-120- MO- Tape and ZIP devicesRegulatory Approvals:- CE- FCC- C-TickRetail Box Includes:- UDMA/133 IDE RAID Controller PCI card- Drivers and Utilities CD- One (1) 40-pin 80-wire IDE cable- User ManualNotes:- Model: UW-A133RPCI-A01- UPC Code: 8 93049 00061 8 Compatibility/Requirements/Disclosures: ** Requirements *** Available PCI slot* Windows 98/98SE/Me/NT 4.0/2000/XP* UDMA/133 Drive (Matching drives needed for RAID)* CD-ROM Drive (To Install Software) More ...
|
