Diff for "ComputerTerms"

Differences between revisions 97 and 127 (spanning 30 versions)

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"]
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)
InterfaceMessagingProcessor (IMP)
InvertedFile
LogicalImplication (latex2($$\models$$) and latex2($$\vdash$$))
LogicalMemory (START EDITING HERE)
IpCheckSum
["Latency"]
LeastFixedPoint
LinearlyDecomposableDomains
LinkerSteps
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
["Steganography"]
SuperScalar
["Tautology"]
["taxonomy"]
TcpFastRetransmit
TcpFastRecovery
ThroughPut
TransmissionControlProtocol (TCP)
TreeStructures
UnaryConstraintDomain
["Undecidable"]
UninterpretedFunctions
["Valid"] Logic Formula
VirtualMemory
WallClockTime

-  ⇤ ← Revision 97 as of 2004-03-09 18:00:06 → 
  Size: 2393
  Editor: yakko
  Comment:
+   ← Revision 127 as of 2006-04-02 20:08:39 → ⇥
  Size: 3052
  Editor: yakko
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 11:
+   * CaChe
   * CacheBlock
   * CacheCoherenceProtocols
   * CacheLine
-Line 14:
+Line 18:
+   * CriticalSection
   * ["Cryptography"]
-Line 17:
+Line 23:
+   * DelayBandwidthProduct
   * DelayedBranch
-Line 19:
+Line 27:
-   * DelayBandwidthProduct
   * DelayedBranch
-Line 23:
+Line 29:
+   * DynamicSetOperations
-Line 24:
+Line 31:
+   * ExpectedValue
   * FileSystem (Free BSD)
-Line 26:
+Line 35:
+   * FirstOrderTheory
-Line 33:
+Line 43:
+   * GraphTheoryPage
-Line 38:
+Line 49:
+   * InformationRetrieval
-Line 44:
+Line 56:
-   * LogicalImplication (|= symbol and also |-)
   * LogicalMemory
+   * InterfaceMessagingProcessor (IMP)
   * InvertedFile
   * LogicalImplication ([[latex2($$\models$$)]] and [[latex2($$\vdash$$)]])
   * LogicalMemory                          (START EDITING HERE)
-Line 48:
+Line 62:
+   * LeastFixedPoint
-Line 52:
+Line 67:
+   * MemoryHierarchy
   * MemoryStallClockCycles
-Line 61:
+Line 78:
+   * PostingsFile
-Line 62:
+Line 80:
+   * PresburgerArithmetic
-Line 66:
+Line 85:
+   * RaceCondition
-Line 75:
+Line 95:
+   * SemiAlgebraicSets
-Line 76:
+Line 97:
+   * SemiLinearSets
-Line 80:
+Line 102:
+   * ["Steganography"]
-Line 82:
+Line 105:
+   * ["taxonomy"]
-Line 86:
+Line 110:
-   * ["taxonomy"]
+   * TreeStructures
-Line 89:
+Line 113:
+   * UninterpretedFunctions