Diff for "ComputerTerms"

Differences between revisions 53 and 91 (spanning 38 versions)

AddressingModes
AmdahlsLaw
AreaBorderRouter
AffineMotion
AutonomousSystem (AS)
AverageNormalizedExecutionTime
["Bijection"]
BooleanAlgebra
BooleanTerm
BoothsAlgorithm
CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions)
CompleteLogic What does it mean for a logic to be complete
CpuTime
CyclesPerInstruction (CPI)
["Decidable"] and SemiDecidable
["Dichotomy"]
DijkstrasAlgorithm
DelayBandwidthProduct
DisjunctiveSyllogism
DistanceVector
ExecutionTime
FirstOrderPredicateLogic
FirstOrderPredicateLogicQuatifiers
FiveClassicPartsOfaComputer
FixedPoint
FloatingPointRepresentation (IEEE 754)
ForwardingVsRouting
FrameBuffer
FreeBooleanAlgebra
GeometricMean
GroundClause
GroundBooleanTerm
HammingCode
HardwareDesignPrinciples
HypotheticalSylogism
InteriorGatewayRoutingProtocol (IGRP)
InterNet
InternetProtocolV4 (IPv4)
InternetProtocolV6 (IPv6)
InternetWork
InstructionSetArchitecture (ISA)
LogicalImplication (|= symbol and also
IpCheckSum
["Latency"]
LinearlyDecomposableDomains
LinkerSteps
LinkState
MaximumTransmissionUnit (MTU)
["Model"] of a logic formula
ModusPonens
MonotoneBooleanTerm
ObjectFile
OpenShortestPathFirst OSPF
OsiModel (7 layer OSI network Model)
["Performance"]
PredicateSymbols
PowerSet
["Proposition"] or PropositionalLogic
["Processor"] or CPU
QueuingTheory
RecursivelyEnumerableSets
["Register"] (MIPS register)
RelationallyComplete
ResponseTime
RoutingArea
RoutingInformationProtocol (RIP)
RoutingPathologies
["Satisfiable"]
SemanticsSyntaxSortsInLogic
SemiDecidable and ["Decidable"]
SequenceNumber
SlidingWindowProtocol
SpatialExtent
SpeedUp
["Tautology"]
TcpFastRetransmit
TcpFastRecovery
ThroughPut
TransmissionControlProtocol (TCP)
["taxonomy"]
UnaryConstraintDomain
["Undecidable"]
["Valid"] Logic Formula
WallClockTime

-  ⇤ ← Revision 53 as of 2003-10-29 19:26:45 → 
  Size: 1377
  Editor: yakko
  Comment:
+   ← Revision 91 as of 2004-02-19 23:59:22 → ⇥
  Size: 2269
  Editor: yakko
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 1:
+   * AddressingModes
   * AmdahlsLaw
-Line 4:
+Line 6:
+   * AverageNormalizedExecutionTime
   * ["Bijection"]
   * BooleanAlgebra
   * BooleanTerm
   * BoothsAlgorithm
-Line 6:
+Line 13:
+   * CpuTime
   * CyclesPerInstruction (CPI)
   * ["Decidable"] and SemiDecidable
-Line 8:
+Line 18:
+   * DelayBandwidthProduct
-Line 10:
+Line 21:
+   * ExecutionTime
-Line 12:
+Line 24:
+   * FiveClassicPartsOfaComputer
-Line 13:
+Line 26:
+   * FloatingPointRepresentation (IEEE 754)
-Line 14:
+Line 28:
+   * FrameBuffer
   * FreeBooleanAlgebra
   * GeometricMean
-Line 15:
+Line 32:
+   * GroundBooleanTerm
   * HammingCode
   * HardwareDesignPrinciples
-Line 21:
+Line 41:
+   * InstructionSetArchitecture (ISA)
-Line 23:
+Line 44:
+   * ["Latency"]
-Line 24:
+Line 46:
+   * LinkerSteps
-Line 28:
+Line 51:
-   * MultiProtocolLabelSwitching (MPLS)
+   * MonotoneBooleanTerm
   * ObjectFile
-Line 31:
+Line 55:
+   * ["Performance"]
-Line 34:
+Line 59:
+   * ["Processor"] or CPU
   * QueuingTheory
   * RecursivelyEnumerableSets
   * ["Register"] (MIPS register)
-Line 35:
+Line 64:
+   * ResponseTime
-Line 40:
+Line 70:
+   * SemiDecidable and ["Decidable"]
-Line 42:
+Line 73:
+   * SpatialExtent
   * SpeedUp
-Line 43:
+Line 76:
+   * TcpFastRetransmit
   * TcpFastRecovery
   * ThroughPut
-Line 48:
+Line 84:
+   * WallClockTime