|
|
termination analysis
A program analysis which attempts to determine whether
evaluation of a given expression will definitely terminate.
Evaluation of a constant is bound to terminate, as is
evaluation of a non-recursive function applied to arguments
which are either not evaluated or which can themselves be
proved to terminate. A recursive function can be shown to
terminate if it can be shown that the arguments of the
recursive calls are bound to reach some value at which the
recursion will cease.
Termination analysis can never guarantee to give the correct
answer because this would be equivalent to solving the
halting problem so the answer it gives is either "definitely
terminates" or "don't know".
(1994-10-20)
Try this search on OneLook / Google
Nearby terms:
terminal server « Terminal User Interface « Terminate and Stay Resident « termination analysis » terminator » term rewriting system » Terms Of Service
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Rolodisc Motorized CD Tower-Holds 75 CDs! (Silver)Rolodisc Motorized CD Tower-Holds 75 CDs! (Silver) ** Excalibur Rolodisc Motorized CD Tower **If you have a sizeable CD collection, this Excalibur Rolodisc makes finding your favorite CDs simple and fun! With the mere press of a button, the front, back and edge of each CD are right in front of you; no more struggling to read those skinny edges! Once you locate your selection, simply release the button and remove the CD effortlessly. Store and display up to 75 CDs with this Rolodisc Motorized CD Tower, and its translucent Silver and Black color scheme will look distinctive anywhere you place it! Order yours today! General Features: - Silver and Black Profile - Holds up to 75 CDs - Motorized CD Tower - Backward Control button - Forward Control button - Easy Access - Can be Daisy Chained toHold up to 225 CDs - Search CDs by the press of a button - Runs on Six (6) "D" Batteries or 9-Volt A/C Adapter (NOT INCLUDED) Back View: - Daisy Chain Connection Switch - Daisy Chain Socket - Socket Compartment Door Dimensions: - 13" x 8.75" x 29.5" (L x W x H, approximate) Regulatory Approvals: - CE Retail Box Includes: - Excalibur Rolodisc Motorized CD Tower - Two (2) Removable Side Feet - User Manual Notes: - Model: CD75 Compatibility/Requirements/Disclosures: ** Requirements *** Six (6) "D" Batteries or 9-Volt A/C Adapter (neitherincluded) * CDs to store More ...
MidiLand MX-5 6-Piece 5.1 Channel Speaker SystemMidiLand MX-5 6-Piece 5.1 Channel Speaker System ** MidiLand MX-5 6-Piece 5.1 Channel Speaker System **This Midiland MX-5 speaker system offers 5.1 Multi-channel for exceptional quality surround sound. It features a built-in amplifier, 90-watt RMS total power, and more! The wooden subwoofer has a 5.25-inch driver and the five satellite speakers have two 1-inch drivers and can be wall mountable. These speakers include a wired remote control for separate bass, surround, and volume controls providing the user with easy control.General Features:- 5.1 Multi-channel surround sound system- Wooden subwoofer- Five satellite speakers with stands- Satellite speakers can be wall mountable- Built-in amplifier- 90-watt RMS total power- Dynamic sound- Wired remote control- Volume, bass, and surround controls- A terrific accessory for PCs with 5.1-channel sound cardsSpecifications:- 5.25-inch driver (subwoofer)- 40-watt (RMS) output power (subwoofer)- 40 Hz - 300 KHz frequency response (subwoofer)- 1-inch x 2 driver (satellite)- 10-watt x 5 (RMS) output power (satellite)-200 Hz – 20,000 kHz frequency response (satellite)- S/N Ratio: >= 80dB - 500 mV input sensitivity- 1600-watt *P.M.P.OPower Specifications:- 120 VACRetail Box Includes:- Subwoofer- Five (5) satellite speakers- Manual- One (1) Wired Remote control- One (1) Din to 3.5 mm stereo cable- Three (3) 3.5 mm stereo plug to two RCA jacks Notes:- Model: MX-5- PMPO (Peak Music Power Output) is an unreliable indicatorof true (RMS) wattage, so take this rating with a grain of salt. Compatibility/Requirements/Disclosures: ** Requirements *** Audio source with 3.5 mm mini din jacks or RCA jacks * Available power outlet** Disclosures *** PMPO (Peak Music Power Output) is an unreliable indicatorof true (RMS) wattage, so take this rating with a grain of salt More ...
Rocket ET300 32MB MP3 PlayerRocket ET300 32MB MP3 Player ** Rocket ET300 32MB MP3 Player **This lightweight MP3 player offers 32MB of internal memory and a SmartMedia expansion slot for continuing any audio voyage. An LCD compliments the easy to use button interface. General Features:- Silver design- Built in belt clip- MP3 file playback- USB 1.1- 5 preset equalizer settings- LCD display- Lightweight and compactSpecifications: - Built in 32 MB flash memory- Expandable memory slot (SmartMedia) - LCD display- 90 dB S/N ratio- 5 mW earphone output- 20 Hz ~ 20 KHz frequency range- Sampling rate: 32/44.1/48 KHzEqualizer Settings: - Flat- Classic- Jazz- Rock- Heavy MetalRegulatory Approvals:- FCC- CERetail Package Includes:- Rocket 32 MB MP3 Player- Earphones- USB cable- Two (2) AAA batteries- Installation CD- User ManualNotes:- Model: ET 300- EAN: 4 719862 420050 Compatibility/Requirements/Disclosures: ** Requirements *** Pentium 90 MHz or better* Windows 98SE/ME/2000/XP* 40 MB hard disk space* 16 MB RAM or higher* Available USB port* CR-ROM (for software installation) More ...
3-D Ultra Pinball Thrillride3-D Ultra Pinball Thrillride Imagine a pinball machine emulating a full amusement park - not just any park, but Hersheypark in Hershey, Pennsylvania, The sweetest place on Earth! (tm)! Over 15 action-packed rides , special events including lights out fireworks, double multi-ball event, side tables, multiple flipper sets, and more! Windows 95/98/ME/2000/XP and MAC More ...
Veritas Backup Exec v 10.0 OEM - (3 CDs)Veritas Backup Exec v 10.0 OEM - (3 CDs) ** Veritas Backup Exec v 10.0 OEM - (3 CDs) **VERITAS Backup Exec 10 for Windows Servers is the Gold Standard in Windows data protection providing comprehensive, cost-effective, and certified backup and recovery - including the fastest disk-based recovery. An intuitive, web-based user interface simplifies installation and management of backup and remote servers with easy-to-use wizards. Centralized administration provides scalable management of distributed backup and remote servers. Wizards simplify data protection and recovery procedures for any level user and any size network. With a complete family of high performance agents and options to protect Windows, Linux, and UNIX server data, as well as desktops and laptops, Backup Exec offers simple, flexible, and granular data protection. With the release of Backup Exec 10 for Windows Servers, the Central Admin Server Option unifies independent Backup Exec media servers to provide one central point of administration and control. It enables users to centrally manage operations of managed media servers, benefit from load balancing and fault tolerance to ensure that resources are automatically protected by an available managed media server in a Windows data center, distributed throughout the network, or at remote offices.VERITAS Backup Exec 10 for Windows Servers continues to improve operational efficiencies for organizations providing disk-based data protection in the core software. The new Advanced Disk-based Backup Option enables even faster backups and fastest disk-based recovery through advanced Synthetic and Off-Host functionality helping enable companies to recover data fast.As the Gold Standard in Windows Data Protection, the Backup Exec Suite that consists of Backup Exec 10, Replication Exec 3.1, and Storage Exec 5.3 provides an integrated solution that lets today’s Windows-based organizations continuously protect and manage their business critical information. With the new Backup Exec SmartLink technology, administrators can view job status and alerts of VERITAS Replication Exec and VERITAS Storage Exec jobs from the Backup Exec Console. While productivity and resources continue to be a major focus for organizations of all sizes, Backup Exec SmartLink provides administrators with a single point of administration for many tasks –letting them manage more with less.Notes:- Picture is for representational purposes- Three (3) OEM CD's only More ...
PS/2 105-Key MultiMedia Keyboard (Orange)PS/2 105-Key MultiMedia Keyboard (Orange) ** PS/2 105-Key MultiMedia Keyboard **This Multimedia keyboard features 105-keys with 16 hot key buttons that lets you play music, browse the Internet, or launch your favorite applications. Its transparent orange design features a PS/2 interface and power, sleep, and wake up buttons. The silent membrane key switches make it easy for quiet and easy typing. The ergonomically designed palm rest supports your wrist and hands during long hours of typing!General Features:- Transparent orange keyboard- PS/2 interface- 105-keys- Built-in 16 Multimedia, Internet, & Application hot keys.- White lettering on black keys- Power, Sleep, and Wake up buttons - Silent membrane key switches- Fold-out feet at rear to tilt keyboard - Ergonomically designed palm rest supports wrist and hands- 68-inch cord length (approximate)Regulatory Approvals:- FCC- CERetail Package Includes:- PS/2 105-Key MultiMedia Keyboard- Manual- Installation CDNotes:- Keyboard may have some cosmetic blemishes, an example would be Hairline cracks near where the screws are located. Compatibility/Requirements/Disclosures: ** Requirements *** Windows 9x/ME/2000/XP* CD-ROM drive* Available PS/2 port ** Disclosures *** Keyboard may have some cosmetic blemishes, an example would be Hairline cracks near where the screws are located. More ...
|
