Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,385,212 papers from all fields of science
Search
Sign In
Create Free Account
In-target probe
Known as:
ITP
In-target probe, or ITP is a device used in computer hardware and microprocessor design, to control a target microprocessor or similar ASIC at the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Application-specific integrated circuit
Breakpoint
Computer hardware
Hardware-assisted virtualization
Expand
Broader (1)
Debugging
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Design, Simulation and Kinematics Analysis of Robot Manipulator with PPRR Joints Configuration
Asmara Yanto
,
A. Jeni
2019
Corpus ID: 214180069
This research aims to create an innovation in the design of Robot Manipulator with joint configuration in the form of two…
Expand
2015
2015
Internal Waves in the Western Arctic Ocean
H. Dosser
2015
Corpus ID: 132440621
Internal Waves in the Western Arctic Ocean
2014
2014
Memory Demand Scrub testing method based on ITP (integration test platform) tool
齐煜
,
王守昊
2014
Corpus ID: 140319669
The invention discloses a Memory Demand Scrub testing method based on an ITP (integration test platform) tool. The Memory Demand…
Expand
2012
2012
Determination of Ammonium , Sodium , Potassium , Magnesium , and Calcium Cations in Rain Water by Column-Coupling Capillary
I. Zelenský
,
A. Hybenova
,
D. Kaniansky
2012
Corpus ID: 49584158
Separation conditions suitable to the isotachophoretic determination of K + , Na , NH^, Ca + , and Mg + cations in rain water are…
Expand
2010
2010
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study
Joe Hendrix
,
D. Kapur
,
J. Meseguer
International Conference on Interactive Theorem…
2010
Corpus ID: 37588005
Many inductive theorem provers generate induction schemes from the recursive calls appearing in terminating functions defined…
Expand
Review
2007
Review
2007
Towards Intelligent Inductive Proof
B. Gramlich
2007
Corpus ID: 15583698
This paper deals with inductive theorem proving (ITP for short). It does not provide new theoretical results but analyses…
Expand
2003
2003
GOVERNMENT PROMOTION OF LEARNING AND INNOVATION IN SMEs OF INDUSTRIALIZING ECONOMIES: SUBSIDIES, VENTURE CAPITAL AND PRIVATE EQUITY
Gil Avnimelech
2003
Corpus ID: 59360648
1994
1994
Investigation of an ion transport peptide in desert locust ventral ganglia
T. Bilgen
1994
Corpus ID: 55430830
Previous observations have localised an antidiuretic peptide factor to the ventral ganglia (VG) of the desert locust…
Expand
1990
1990
Matching the software to the job
G. Degiovanni
1990
Corpus ID: 62168844
Considers the use of a computer based cell controller and monitor to meet cell design goals, with particular reference to the ITP…
Expand
1988
1988
Purification and characterization of a Ca2+/Mg 2+ heart sarcolemma ecto-ATPase from rat
B. Tuana
,
N. Dhalla
1988
Corpus ID: 102359247
The Ca 2+/Mg 2+ ATPase of the rat heart sarcolemmal particles was solublized with Triton X-100 after treating the membranes with…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE