Differences between revisions 123 and 143 (spanning 20 versions)
Revision 123 as of 2005-03-27 18:47:15
Size: 2890
Editor: yakko
Comment:
Revision 143 as of 2010-09-05 17:30:18
Size: 3038
Editor: 71-87-243-6
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
   * 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
  
* 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
   * InstructionSetArchitecture (ISA)
   * InvertedFile
   * LogicalImplication (|= symbol and also |-)
  
* LogicalMemory
   * IpChec
kSum
   * ["
Latency"]
   * LeastFixedPoint
   * LinearlyDecomposableDomains
   * L
inkerSteps
   * LinkState
  
* MaximumTransmissionUnit (MTU)
   * MemoryHierarchy
   * MemoryStallClockCycles
   * ["Model"] of a logic formula
   * ModusPonens
   * MonotoneBooleanTerm
   * ObjectFile
   * OpenShortestPathFirst OSPF
   * OsiModel (7 layer OSI network Model)
   * PageTable
   * ["Performance"]
  
* PipeLine
   * 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"]
  
* SemiLinearSets
   * SequenceNumber
   * SlidingWindowProtocol
   * SpatialExtent
   * SpeedUp
   * SuperScalar
   * ["
Tautology"]
   * ["
taxonomy"]
  
* TcpFastRetransmit
   * TcpFastRecovery
   * ThroughPut
   * TransmissionControlProtocol (TCP)
   * TreeStructures
   * UnaryConstraintDomain
   * ["Undecidable"]
  
* UninterpretedFunctions
   * ["Valid"] Logic Formula
   * VirtualMemory
   * WallClockTime
 * AbsorptionLaw
 * A
ddressingModes
 * 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)
 * In
vertedFile
 * LogicalImplication (<<latex($\models$ and $\vdash$)>>)
 * LogicalMemory (START EDITING HERE)
 * IpCheckSum
 * IpSec
 * [[Latency]]
 * [[Lattice]]
 * LeastFixedPoint
 * LinearlyDecomposa
bleDomains
* LinkerSteps
 *
LinkState
* MaximumTransmissionUnit (MTU)
 * MemoryHierarchy
 * MemoryStallClockCycles
 * [[Model]] of a logic formula
 * ModusPonens
 * MonotoneBooleanTerm
 * NetworkDelay
* ObjectFile
 * OnesComplement
 * O
penShortestPathFirst 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

ComputerTerms (last edited 2020-02-02 17:49:07 by scot)