Diff for "ComputerTerms"

Differences between revisions 113 and 135 (spanning 22 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
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 (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
NetworkDelay
ObjectFile
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 latex2($\vdash$))
UnaryConstraintDomain
["Undecidable"]
UninterpretedFunctions
["Valid"] Logic Formula
VirtualMemory
WallClockTime

-  ⇤ ← Revision 113 as of 2004-04-02 01:15:46 → 
  Size: 2680
  Editor: anonymous
  Comment: missing edit-log entry for this revision
+   ← Revision 135 as of 2008-10-24 02:26:00 → ⇥
  Size: 3253
  Editor: 209-142-131-35
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 19:
+   * [[Cryptography|Cryptography]]
   * CutFreeProof
-Line 28:
+Line 30:
+   * DynamicSetOperations
-Line 33:
+Line 36:
+   * FirstOrderTheory
-Line 40:
+Line 44:
+   * GraphTheoryPage
-Line 45:
+Line 50:
-   * InformationRetrievalSystem
+   * InformationRetrieval
-Line 51:
+Line 56:
+   * ["Interpolant"]
-Line 52:
+Line 58:
+   * InterfaceMessagingProcessor (IMP)
-Line 53:
+Line 60:
-   * LogicalImplication (|= symbol and also |-)
   * LogicalMemory
+   * LogicalImplication ([[latex2($$\models$$)]] and [[latex2($$\vdash$$)]])
   * LogicalMemory                          (START EDITING HERE)
-Line 57:
+Line 64:
+   * LeastFixedPoint
-Line 66:
+Line 74:
+   * NetworkDelay
-Line 70:
+Line 79:
+   * PartialOrder
-Line 72:
+Line 82:
+   * PoSet (PartiallyOrderedSet)
-Line 74:
+Line 85:
+   * PresburgerArithmetic
-Line 88:
+Line 100:
+   * SemiAlgebraicSets
-Line 89:
+Line 102:
+   * SemiDefinite
   * SemiLinearSets
-Line 93:
+Line 108:
+   * ["Steganography"]
-Line 95:
+Line 111:
+   * ["taxonomy"]
-Line 99:
+Line 116:
-   * ["taxonomy"]
+   * TreeStructures
   * TruthFunction (notation for [[latex2($\vdash$)]])
-Line 102:
+Line 120:
+   * UninterpretedFunctions