|
|
ML
1. <robotics> Manipulator Language. IBM language for handling
robots.
2. Meta Language. R. Milner <rm@lfcs.edinburgh.ac.uk> et al,
1973. A strict higher-order functional language. It
was the first language to include polymorphic typing which
was statically-checked. It also had garbage collection and
a formal semantics.
It began as the metalanguage for the Edinburgh LCF proof
assistant. (LCF="Logic for Computable Functions") People soon
noticed that ML could be a useful general programming language
and stand-alone versions were implemented. Standard ML
(SML) is a descendant of these (and related languages such as
Hope). The "metalanguage" aspect has long since disappeared
from the language itself (although there are some systems that
still use it that way). The historical name is now so
inappropriate that asking what ML stands for is like asking
what C or Unix stands for. It doesn't stand for anything;
it just is.
LCF ML was implemented in Stanford LISP. Cardelli (1981)
implemented ML in Pascal using the Functional Abstract
Machine (FAM). It has been significantly redesigned to
produce Standard ML and Lazy ML.
["A Metalanguage for Interactive Proof in LCF", M.J.C. Gordon
et al, 5th POPL, ACM 1978].
Try this search on OneLook / Google
Nearby terms:
M-JPEG « MJS « mk « ML » ml » ML-2000 » MLAB
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
GeForce4 MX 440 64MB DDR 8x AGP VCD w/TV-OutGeForce4 MX 440 64MB DDR 8x AGP VCD w/TV-Out ** GeForce4 MX 440 64MB DDR 8x AGP Video Card w/TV-Out **This GeForce4 MX 440 GPU based video cardfeatures 64 MB of DDR memory and an 8x AGPinterface! With its nView multi-display technology, Lightspeed Memory Architecture II, and Acccuview Antialiasing technology, this GeForce4 MX 440 delivers feature-rich graphics technology, performance, and flexibility. Order yours today!General Features:- GeForce 4 MX440-8X GPU- 64 MB DDR RAM- 8x AGP interface- 256-bit graphics architecture- 4 dual-rendering pipelines- nView Display Technology- Cube environment mapping- Dual programmable vertex shaders- Fill Rate: 1.1 Billion Texels/Sec.- Triangles per Second: 34 million- Memory Bandwidth: 8.0 GB/Sec.- Accuview Antialiasing - Lightspeed Memory Architecture (LMA) II- Digital Vibrance Control (DVC)- Microsoft Direct X optimization and support- Complete OpenGL 1.3 and Open GL support- 32-bit color with 32-bit Z/Stencil buffer- Multi-buffering for smooth animation and playbackConnectors:- 15-pin VGA - S-Video TV-OutRegulatory Approvals:- FCC- CERetail Box Includes:- GeForce MX440 64MB DDR AGP Video Card- Driver on CD-ROM- S-Video to Composite cable- Quick Installation Guide Compatibility/Requirements/Disclosures:** Requirements *** Microsoft Windows 98/98SE/NT 4.0/2000/ME/XP* Pentium 4/III/II/Celeron, AMD K6/Athlon or compatible* Available 2x/4x/8x AGP slot* CD-ROM drive * DVD playback requires DVD drive More ...
GeForce PC5300TM 128MB GDDR3 16x PCI Express CardGeForce PC5300TM 128MB GDDR3 16x PCI Express Card ** GeForce PC5300TM 128MB GDDR3 16x PCI Express Video Card **Introducing GeForce PCX Mainstream PCI Express GPUs. The GeForce PCX 5300 GPUs deliver best-in class performance and features at a great price. With a GeForce PCX mainstream GPU inside your PC, you can experience cinematic-quality effects, studio-quality color, and the industry-leading performance and rock-solid driver stability you expect from NVIDIA. The only DirectX 9 compatible GPUs in their class, the GeForce PCX 5300 models are engineered for compatibility with the latest gaming and multimedia software.General Features:- nVidia GeForce PCX 5300 GPU- 16x PCI Express interface - 128 MB DDR memory- 128-bit memory interface- 350 MHz RAMDAC- 250 MHz core clock- 400 MHz memory clock- 6.4 GB/sec memory bandwidth- CineFX 3.0 Shading Architecture - 64-Bit Texture Filtering and Blending- Intellisample 3.0 Technology- UltraShadow II Technology - Advanced Video and Display Functionality - Advanced Display Functionality - Advanced Engineering - Nvidia Digital Vibrance Control (DVC) 3.0- Complete DirectX support, including the latest version of Microsoft DirectX 9.0 Shader Model 3.0 - Full OpenGL support, including OpenGL 1.5- Integrated HDTV encoder- Up to 3x Geometry performanceConnectors:- 15-pin VGA - DVI- S-VideoRegulatory Approvals:- FCC- CE- BSMIRetail Box Includes:- GeForce PC5300TM 16x PCI Express Video Card- User Manual- VGA driver on CD- InterVideo WinDVD Creator- Component/Composite/S-Video Out cableNotes: - Model: PC5300TM Compatibility/Requirements/Disclosures: ** Requirements *** Intel Pentium III, AMD Duron or Athlon CPU or higher* Windows95 OSR2/98/98Se/ME/NT4.0/2000/XP* 128 MB of RAM* 10 MB available hard disk space (50 MB for full installation* 250 watt min. / 300 watt recommended power supply* Available 16x PCI Express compliant slot or better* CD-ROM drive* Monitor with DVI-I, VGA or S-Video connector** Disclosures:* This card uses the new 16x PCI Express interface, please make sure that the motherboard that this card goes into has a PCI Express slot (most older boards will not have this type of slot). More ...
D-Link DCM-200 USB/Ethernet High-Speed Cable ModemD-Link DCM-200 USB/Ethernet High-Speed Cable Modem ** D-Link Cable Modem **The D-Link DCM-200 is a two-way DOCSIS 1.0 CableLabs certified Ethernet 10BaseT cable modem. The DCM-200 provides high-speed Internet access over a cable network and can connect to a computer via its Ethernet or USB port, which connects to an Ethernet card in a PC or a laptop. The DCM-200 provides intelligent IP allocation management, which can be configured to work on a static or DHCP network. For security purposes, the DCM-200 provides 56-bit DES (Data Encryption Standard) to encrypt data transaction for both upstream and downstream transmissions.General Features:- High-speed cable modem- USB 1.1 interface- RJ-45 Ethernet interface- IEEE 802.3 compliant- 10Base-T- MCNS/DOCSIS 1.0 compliant- 56-bit DES encryption- MCNS, DOCSIS 1.1 MAC protocolData Speeds:- 64QAM/256QAM demodulation- 30.342 Mbps (64QAM), 42.88 Mbps (256QAM) downstream- Reed-Solomon error correction- 91 MHz - 860 MHz frequency range- -15 dBmV to +15 dBmV input signal level- QPSK, 16QAM modulation- 0.3 to 5.1 Mbps (QPSK), 0.6 to 10.2 Mbps (16QAM) upstream- 5 MHz to 42 MHz frequency range- +8 to +55 dBmV (16QAM) input signal level- +8 to +58 dBmV (QPSK) input signal levelFront Panel Features:- Power LED indicator- Link LED indicator- Activity LED indicator- Status LED indicatorRear Panel Features:- One (1) RF F-type female 75-ohm connector- One (1) USB 1.1 type B jack- One (1) RJ-45 standard Ethernet jack- DC input jackPlain Package Includes:- D-Link refurbished DCM-200 cable modem- Quick Install Guide- USB A to B cable- Driver CD- RJ-45 standard Ethernet cable- AC adapter (100-120V ~ 1.0A, 50-60 Hz; +12V 1500mA)Notes:- Model: DCM-200- UPC: 7 90069 26079 7 Compatibility/Requirements/Disclosures: ** Requirements *** Microsoft Windows 98/98SE/NT 4.0/2000/ME/XP* CD-ROM drive* RF cable for Internet access* ISP* Available USB port or available RJ-45 jack* Available power outlet Informational Links: http://www.dlink.com/ http://usercenter.cox.net/sdckb/modems/compatible_modems.htm http://www.adelphia.net/high_speed_internet/modems.cfm More ...
GeForce PCX5900 128MB DDR 16x PCI Express CardGeForce PCX5900 128MB DDR 16x PCI Express Card ** Gigabyte GeForce PCX5900 128MB Video Card **Experience the ultimate in gaming, 3D art programs and even desktop work with the GeForce PCX5900 128 MB DDR 16x PCI Express Video Card! Features such as the Nvidia GeForce PCX 5900 GPU with second-generation UltraShadowII technology for the acceleration of complex shadows in immersive 3D games and applications and 128 MB of DDR memory and a 700 MHz memory clock speed makes this card the ideal choice for gamers and high-quality video card enthusiasts!General Features:- Turbo Force Edition- NVidia GeForce PCX 5900 chipset- 128 MB DDR SDRAM- PCI Express 16x interface- Maximum Resolution: 2048X1536@85Hz- 700 MHz memory clock- 400MHz RAMDAC- Ultra Shadow Technology- CineFX 2.0 Engine- Intellisample Technology- nView Multi-display TechnologyConnectors:- Standard 15-pin VGA- S-Video out- DVIRegulatory Approvals:- FCC- CE- BSMIRetail Box includes:- Gigabyte GeForce PCX 5900 Video Card- Start Up driver CD- S-Video to TV cable- DVI to VGA adapter- SpellForce game CD- Joint Operations game CD- PowerDVD 5 CD- Installation GuideNotes:- Model: GV-NX59128DP Compatibility/Requirements/Disclosures: ** Requirements *** Windows 98/NT/2000/ME/XP* Available PCI Express slot* CD-ROM Drive (to load driver) More ...
APC Surge Arrest 1-Outlet Surge ProtectorAPC Surge Arrest 1-Outlet Surge Protector ** APC Surge Arrest 1-Outlet Surge Protector **Lightning or damaging surges can enter and destroy your electrical equipment through the AC power outlet as well as the phone line. This APC Surge Arrest Surge Protector will protect both! It features a single 3-prong outlet with modem out, phone in, and phone out jacks. It also offers a protection working green LED, 114 Joules energy surge rating, and a self resetting fuse overload protection. Get reliable protection with this APC Surge Arrest Surge Protector!General Features:- 1-outlet (3-prong)- Internet/Modem/Fax protection- Notebook/AC surge protection- Protection Working Green LED- Modem out jack- Phone in jack- Phone out jackSpecifications:- 120 VAC, 50/60 Hz, 15 AMPS- <7 % Let-Through voltage- 400V- 114 Joules energy surge rating- 4.5 kAmps NM peak surge current- 9.0 kAmps CM peak surge current- 260 V peak (nomimal) breakover voltage- <5 nS response time- Solid State self resetting fuse overload protectionRegulatory Approvals- UL- CSARetail Package Includes:- APC Surge Arrest 1-Outlet Surge Protector- Phone cordNotes:- Model: PNote1- UPC: 7 31304 00072 3 Compatibility/Requirements/Disclosures: ** Requirements *** Available power outlet More ...
APC TravelPower Ballistic Nylon Notebook CaseAPC TravelPower Ballistic Nylon Notebook Case ** APC TravelPower Ballistic Nylon Notebook Case **This innovative and stylish carrying case, constructed of high-quality materials, is designed to protect your notebook computer, mobile phone and handheld. Each case is equipped to be used with APC's TravelPower Adapter (sold separately). The universal notebook power adapter that is sold separately (check out the add-on specials) can simultaneously charge a mobile phone, handheld PDA and notebook from a single air, auto or AC power outlet. APC's rugged notebook cases not only provide secure protection and easy access to your mobile devices, they also help keep them powered and charged when used with the TravelPower Adapter (sold seperately).General Features:- Black Ballistic Nylon- Business card holder- Convenient Carrying Case- Double-stitched seams- Durable construction- Mesh pocket- Nickel fittings- Non-slip shoulder pad- Removable - spill-proof pouch- Six-sided foam protection- Specially designed pocketsDimensions:- Outside Dimensions: 16.3 x 14.9 x 5.80-inches (H x W x D approximate) - Inside Dimensions: 11. x 14.5 x 3-inches (H x W D approximate)- Fits laptop up to: 15-Inches- 6.0-poundsPackage Includes:- APC TravelPower CaseNotes:- Part Number: TPC1300B Compatibility/Requirements/Disclosures:** Requirements *** Need for this case More ...
|
