MoinMoin Logo
Login

ComputerTerms

  • RecentChanges
  • FindPage
  • HelpContents
  • ComputerTerms

Revision 143 as of 2010-09-05 17:30:18

Clear message
  • Immutable Page
  • Comments
  • Info
  • Attachments
  • AbsorptionLaw

  • AddressingModes

  • AmdahlsLaw

  • AreaBorderRouter

  • AffineMotion

  • AutonomousSystem (AS)

  • AverageNormalizedExecutionTime

  • Bijection

  • BooleanAlgebra

  • BooleanTerm

  • BoothsAlgorithm

  • CaChe

  • CacheBlock

  • CacheCoherenceProtocols

  • CacheLine

  • CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions)

  • CompleteLogic What does it mean for a logic to be complete

  • CpuTime

  • CriticalSection

  • Cryptography

  • CutFreeProof

  • CyclesPerInstruction (CPI)

  • DataPath

  • Decidable and SemiDecidable

  • DelayBandwidthProduct

  • DelayedBranch

  • Dichotomy

  • DijkstrasAlgorithm

  • DisjunctiveSyllogism

  • DistanceVector

  • DynamicSetOperations

  • ExecutionTime

  • ExpectedValue

  • FileSystem (Free BSD)

  • FirstOrderPredicateLogic

  • FirstOrderPredicateLogicQuatifiers

  • FirstOrderTheory

  • FiveClassicPartsOfaComputer

  • FixedPoint

  • FloatingPointRepresentation (IEEE 754)

  • ForwardingVsRouting

  • FrameBuffer

  • FreeBooleanAlgebra

  • GeometricMean

  • GraphTheoryPage

  • GroundClause

  • GroundBooleanTerm

  • HammingCode

  • HardwareDesignPrinciples

  • HypotheticalSylogism

  • InformationRetrieval

  • InteriorGatewayRoutingProtocol (IGRP)

  • InterNet

  • InternetProtocolV4 (IPv4)

  • InternetProtocolV6 (IPv6)

  • InternetWork

  • Interpolant

  • InstructionSetArchitecture (ISA)

  • InterfaceMessagingProcessor (IMP)

  • InvertedFile

  • LogicalImplication (<<latex($\models$ and $\vdash$)>>)

  • LogicalMemory (START EDITING HERE)

  • IpCheckSum

  • IpSec

  • Latency

  • Lattice

  • LeastFixedPoint

  • LinearlyDecomposableDomains

  • LinkerSteps

  • LinkState

  • MaximumTransmissionUnit (MTU)

  • MemoryHierarchy

  • MemoryStallClockCycles

  • Model of a logic formula

  • ModusPonens

  • MonotoneBooleanTerm

  • NetworkDelay

  • ObjectFile

  • OnesComplement

  • OpenShortestPathFirst OSPF

  • OsiModel (7 layer OSI network Model)

  • PageTable

  • PartialOrder

  • Performance

  • PipeLine

  • PoSet (PartiallyOrderedSet)

  • PostingsFile

  • PredicateSymbols

  • PresburgerArithmetic

  • PowerSet

  • Proposition or PropositionalLogic

  • Processor or CPU

  • QueuingTheory

  • RaceCondition

  • RecursivelyEnumerableSets

  • Register (MIPS register)

  • RelationallyComplete

  • ResponseTime

  • RoutingArea

  • RoutingInformationProtocol (RIP)

  • RoutingPathologies

  • Satisfiable

  • SemanticsSyntaxSortsInLogic

  • SemiAlgebraicSets

  • SemiDecidable and Decidable

  • SemiDefinite

  • SemiLinearSets

  • SequenceNumber

  • SlidingWindowProtocol

  • SpatialExtent

  • SpeedUp

  • Steganography

  • SuperScalar

  • Tautology

  • taxonomy

  • TcpFastRetransmit

  • TcpFastRecovery

  • ThroughPut

  • TransmissionControlProtocol (TCP)

  • TreeStructures

  • TruthFunction (notation for <<latex($\vdash$)>>)

  • UnaryConstraintDomain

  • Undecidable

  • UninterpretedFunctions

  • Valid Logic Formula

  • VirtualMemory

  • WallClockTime

  • Immutable Page
  • Comments
  • Info
  • Attachments
  • MoinMoin Powered
  • Python Powered
  • GPL licensed
  • Valid HTML 4.01