Skip to search formSkip to main contentSkip to account menu

Infineon XMC

Known as: Infineon XMC4000, XMC, XMC4000 
XMC is a family of microcontroller ICs by Infineon. The XMC microcontrollers use the 32-bit RISC ARM processor cores from ARM Holdings, such as… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
32-bitARM Cortex-MCompilerDebugger

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Unbiased Loss Functions for Extreme Classification With Missing Labels
The goal in extreme multi-label classification (XMC) is to tag an instance with a small subset of relevant labels from an… 
2010
2010
Trading Consistency for Scalability in Scientific Metadata
Long-term repositories that are able to represent the detailed descriptive metadata of scientific data have been recognized as… 
Review
2007
Review
2007
Silicon carbide power devices - status and upcoming challenges
The paper will give an overview of the status of SiC power devices with a focus on commercial, non- military applications… 
Highly Cited
2002
Highly Cited
2002
A logical encoding of the π-calculus: model checking mobile processes using tabled resolution
We present MMC, a model checker for mobile systems specified in the style of the π-calculus. MMC’s development builds on that of… 
2002
2002
Extended Multiple Correlator for GPS Receivers
This paper tries to analyze a signal detection probability of a GPS receiver under more realistic environments. The result shows… 
Highly Cited
2000
Highly Cited
2000
XMC: A Logic-Programming-Based Verification Toolset
XMC is a toolset for specifying and verifying concurrent systems. Its main mode of verification is temporal-logic model checking… 
2000
2000
Model Checking Linear Temporal Logic Using Tabled Logic Programming
Logic Programming (LP) has been used in the last few years to construct model checkers [RRR97, DP99, LM99]. These model checkers… 
Highly Cited
1999
Highly Cited
1999
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on… 
Highly Cited
1998
Highly Cited
1998
Logic Programming and Model Checking
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology… 
1997
1997
Eecient Model Checking Using Tabled Resolution ?
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable xed-point engine for… 
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)