Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,841,331 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
32-bit
ARM Cortex-M
Compiler
Debugger
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Next Generation Control System Using the EtherCAT Technology
M. Ishii
,
T. Fukui
,
Y. Ishizawa
,
M. Takeuchi
2018
Corpus ID: 196003868
Toward the SPring-8 upgrade, which we call SPring-8II, we have adopted EtherCAT with a master/slave topology as a network-based…
Expand
2016
2016
Connect Tech COM Express Type 6 PMC/XMC Lite Carrier
M. Gurney
2016
Corpus ID: 227657808
Review
2011
Review
2011
A hardware overview of the RHIC LLRF platform
T. Hayes
,
K. Smith
2011
Corpus ID: 55853215
The RHIC Low Level RF (LLRF) platform is a flexible, modular system designed around a carrier board with six XMC daughter sites…
Expand
2011
2011
A high performance DAC /DDS daughter module for the RHIC LLRF platform
T. Hayes
,
M. Harvey
,
G. Narayan
,
F. Severino
,
K. Smith
,
S. Yuan
2011
Corpus ID: 110143245
The RHIC LLRF upgrade is a flexible, modular system. Output signals are generated by a custom designed XMC card with 4 high speed…
Expand
2011
2011
RHIC SPIN FLIPPER AC DIPOLE CONTROLLER
P. Oddo
,
M. Bai
,
+8 authors
K. Smith
2011
Corpus ID: 59464839
The RHIC Spin Flipper's five high-Q AC dipoles which are driven by a swept frequency waveform require precise control of phase…
Expand
2002
2002
Extended Multiple Correlator for GPS Receivers
H. Seo
,
H. Seok
,
Jin-pyo Gwak
,
D. Hwang
,
Jeong Lee
2002
Corpus ID: 54894199
This paper tries to analyze a signal detection probability of a GPS receiver under more realistic environments. The result shows…
Expand
2002
2002
Logic Programming and Partial Deduction for the Verification of Reactive Systems : An Experimental Evaluation ( Abstract of ongoing work )
M. Leuschel
,
T. Massart
2002
Corpus ID: 559238
In earlier work it has been shown that finite state CTL model checking of reactive systems can be achieved by a relatively simple…
Expand
2001
2001
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
C. Ramakrishnan
International Symposium on Practical Aspects of…
2001
Corpus ID: 17502429
Recent advances in logic programming have been successfully used to build practical verification toolsets, as evidenced by the…
Expand
1999
1999
An Optimizing Compiler for E cient Model CheckingYifei
Yi-Fei Dong
,
C. Ramakrishnan
1999
Corpus ID: 14173146
Di erent model checking tools o er a variety of speci cation languages to encode systems. These speci cations are compiled into…
Expand
1998
1998
Tabulation-based Induction Proofs with Application to Automated Verification
Abhik Roychoudhury
,
C. Ramakrishnan
,
I. Ramakrishnan
,
S. Smolka
Tabulation in Parsing and Deduction
1998
Corpus ID: 15177714
XSB [14] is a tabled logic programming system designed to address shortcomings in Prolog’s SLD eval-uation mechanism for Horn…
Expand