Validator

Known as: HTML validator 
A validator is a computer program used to check the validity or syntactical correctness of a fragment of code or document. The term is commonly used… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
An LR(1) parser is a finite-state automaton, equipped with a stack, which uses a combination of its current state and one… (More)
  • figure 1
Is this relevant?
2011
2011
We updated our Peggy tool, previously presented in [6], to perform translation validation for the LLVM compiler using a technique… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
We present the OWL API, a high level Application Programming Interface (API) for working with OWL ontologies. The OWL API is… (More)
  • figure 1
  • figure 2
Is this relevant?
2011
2011
Check Pointer is a memory access validator for checking spatial and temporal pointer usage errors in multi-threaded applications… (More)
  • figure 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
A novel system for long-term tracking of a human face in unconstrained videos is built on Tracking-Learning-Detection (TLD… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2010
2010
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
Is this relevant?
2005
2005
Banknote validation systems are used to discriminate between genuine and counterfeit banknotes. The paper proposes a one-class… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2002
2002
The role of XML in data exchange is evolving from one of merely conveying the structure of data to one that also conveys its… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares… (More)
  • figure 2
  • figure 4
  • table 1
  • table 2
Is this relevant?
1991
1991
Testing real-time systems under probabilistically distributed stimuli helps uncover faults that elude other forms of testing. In… (More)
  • figure 7
  • figure 5
  • figure 8
  • figure 3
  • figure 1
Is this relevant?