Help


[permalink] [id link]
+
Page "Computing platform" ¶ 42
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

** and is
** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.
** Eunectes notaeus, the yellow anaconda, a smaller species, is found in eastern Bolivia, southern Brazil, Paraguay and northeastern Argentina.
** Eunectes deschauenseei, the dark-spotted anaconda, is a rare species found in northeastern Brazil and coastal French Guiana.
** Eunectes beniensis, the Bolivian anaconda, the most recently defined species, is found in the Departments of Beni and Pando in Bolivia.
** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.
** The Cartesian product of any family of nonempty sets is nonempty.
** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.
** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.
** For every non-empty set S there is a binary operation defined on S that makes it a group.
** Tychonoff's theorem stating that every product of compact topological spaces is compact.
** In the product topology, the closure of a product of subsets is equal to the product of the closures.
** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.
** Any union of countably many countable sets is itself countable.
** If the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).
** Every infinite game in which is a Borel subset of Baire space is determined.
** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.
** The Lebesgue measure of a countable disjoint union of measurable sets is equal to the sum of the measures of the individual sets.
** The Nielsen – Schreier theorem, that every subgroup of a free group is free.

** and Intel
** Intel 8048 8-bit microcontroller running at 1. 79 MHz
** Intel 8244 ( NTSC ) or 8245 ( PAL ) custom IC
** Intel 8244 / 8245 custom IC
** Trigate transistors ( Prototype by Intel )
** Intel releases the world's first microprocessor, the Intel 4004.
** The original Model 5150 IBM PC ( with a 4. 77 MHz Intel 8088 processor ) is released in the United States at a base price of $ 1, 565.
** The platform code found on Itanium systems, Intel-based Mac OS X machines, and many Intel desktop boards is EFI-compliant firmware
** MikroTik RouterOS ™ ( is a router operating system and software which turns a regular Intel PC or MikroTik RouterBOARD ™ hardware into a dedicated router.
** Hal Feeney project engineer did the detailed logic design, circuit design, and physical layout under Faggin's supervision, employing the same design methodology that Faggin had originally developed for the Intel 4004 microprocessor, and utilizing the basic circuits he had developed for the 4004.
** QuarkXPress 7. 01 ( 8 August 2006 )-First native version for Intel Macs ( Universal binary ), plus PPML support.
** Li-Chen Wang's Tiny Basic Source Code for Intel 8080 Version 1. 0
** Intel High Definition Audio
** Classmate PC notebook by Intel
** Intel 80x86 family
** Intel i860
** Intel 196 series: 80196 / 80196NP
** Intel 51 series: 8051 / 80251b / 80251s / 80930b / 80930s
** Intel i960 series
** Intel Itanium ( ia64 ) series
** Corp: Intel Capital
** Corp: Intel Capital
** IRQ0 – Intel 8253 or Intel 8254 Programmable Interval Timer, aka the system timer

** and x86
** SSE ( Streaming SIMD Extension ) has restrictions on data alignment ; programmers familiar with the x86 architecture may not expect this.
** as the primary caches in powerful microprocessors, such as the x86 family, and many others ( from 8 kB, up to several megabytes )
** x86 with Unix-like systems such as BSD variants
** SPARC ( v0. 9. 8 ), x86 ( v0. 9. 9 )
** Instruction Flag Registers ( such as EFLAGS in x86 )
** FreeBSD / x86
** GNU / Linux / x86 / PPC
** Mac OS X / x86 / PPC
** QNX / x86
** x86 Windows GUI
** x86 Windows console
** x86 Linux GUI
** x86 Linux console
** x86 GUI
** x86 console
** BS2000-EBCDIC-based operating system for SPARC, x86 and S / 390-compatible systems
** x86

0.241 seconds.