Fit-Checker

Known as: Fitchecker 
 
National Institutes of Health

Topic mentions per year

Topic mentions per year

1990-2015
02419902015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
  • Tianxiang Lu
  • 2016 IEEE International Conference on Industrial…
  • 2016
3D printing has become one of the most popular evolutionary techniques with diverse application, even as normal people's hobby… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
2014
2014
It is a challenge to verify integrity of dynamic control flows due to their dynamic and volatile nature. To meet the challenge… (More)
  • figure 2
  • figure 5
  • figure 6
  • table I
Is this relevant?
2013
2013
CleanJava is a formal annotation language for the Java programming language to support a Cleanroom-style functional program… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 7
Is this relevant?
2011
2011
UNLABELLED Model checking is playing an increasingly important role in systems biology as larger and more complex biological… (More)
  • table 1
Is this relevant?
2010
2010
This technical report gives definitions for conversion methods for proofs generated by the SMT solver Cvc3, into a format… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2009
2009
Multicore Communication API (MCAPI) is an API specification that offers low latency and high bandwidth communication service… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
2009
2009
Adaptation helps retinal ganglion cells encode varying visual signals. However, an index for population adaptation is still… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
This thesis examines an approach that combines model checking and software testing to improve the reliability of software systems… (More)
  • figure 3.1
  • figure 4.1
  • figure 4.2
  • figure 4.3
  • figure 4.4
Is this relevant?
2004
2004
This is an experimental article which shows that logical correctness of logic circuits can be easily proven by the Mizar system… (More)
Is this relevant?
2002
2002
This paper presents SATORI– a new Automatic Test Pattern Generation (ATPG) based satisfiability checker for hardware verification… (More)
  • table 1
  • figure 1
  • figure 3
  • figure 2
  • table 3
Is this relevant?