Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,760 papers from all fields of science
Search
Sign In
Create Free Account
Intelligent Platform Management Interface
Known as:
IPMI
, Intelligent Platform Management Bus
, RMCP
Expand
The Intelligent Platform Management Interface (IPMI) is a set of computer interface specifications for an autonomous computer subsystem that provides…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
43 relations
AMD OverDrive
Advanced Telecommunications Computing Architecture
BIOS
Client (computing)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution)
Stephan Falke
,
Florian Merz
,
C. Sinz
International Conference on Tools and Algorithms…
2013
Corpus ID: 5552873
LLBMC is a tool for detecting bugs and runtime errors in C and C++ programs. It is based on bounded model checking using an SMT…
Expand
2012
2012
SAT-solving in CSP trace refinement
H. Palikareva
,
Joël Ouaknine
,
A. W. Roscoe
Science of Computer Programming
2012
Corpus ID: 205078916
2010
2010
Design of eight-channel ADC card for GHz signal conversion
Samer Bou Habib
,
K. Czuba
,
W. Jalmuzna
,
T. Jezynski
International Conference on Mixed Design of…
2010
Corpus ID: 15199122
This paper describes the design of an eight-channel ATCA card suited for direct analog-to-digital conversion of 1.3 GHz signals…
Expand
2009
2009
Intelligent platform management interface IPMI
李亿博
,
牛夫贤
2009
Corpus ID: 64647757
The utility model discloses an intelligent platform management interface (IPMI), which adopts the method comprising a first field…
Expand
2009
2009
The Design and Implementation of a Bare PC Email Server
George H. Ford
,
R. Karne
,
A. Wijesinha
,
Patrick Appiah-Kubi
33rd Annual IEEE International Computer Software…
2009
Corpus ID: 14687933
This paper presents the architecture, design and implementation of an email server that runs on a bare PC without an operating…
Expand
2007
2007
STATUS OF THE FLASH FREE ELECTRON LASER CONTROL SYSTEM
K. Rehlich
2007
Corpus ID: 67809768
FLASH (Free electron LASer in Hamburg) is the first facility based on the 1.3GHz superconducting cavity technology. It is a test…
Expand
2006
2006
Intelligent Platform Management Interface
Thomas Schwenkler
2006
Corpus ID: 70124546
2006
2006
Parallel SAT Solving in Bounded Model Checking
E. Ábrahám
,
Tobias Schubert
,
B. Becker
,
M. Fränzle
,
Christian Herde
Journal of Logic and Computation
2006
Corpus ID: 15402896
Bounded Model Checking (BMC) is an incremental refutation technique to search for counterexamples of increasing length. The…
Expand
2005
2005
Bounded model checking knowledge and branching time in synchronous multi-agent systems
Xiangyu Luo
,
Kaile Su
,
A. Sattar
,
Qingliang Chen
,
Guanfeng Lv
Adaptive Agents and Multi-Agent Systems
2005
Corpus ID: 11956154
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded…
Expand
2004
2004
When turtle distribution tells European history: mtDNA haplotypes of Emys orbicularis reflect in Germany former division by the Iron Curtain
U. Fritz
,
D. Guicking
,
Peter Lenk
,
U. Joger
,
M. ichaelWink
2004
Corpus ID: 44219002
FRITZ ,U ., GUICKING ,D ., LENK ,P ., JOGER ,U . W ISSN 0006-3088. The mitochondrial DNA haplotypes of 75 wild caught Emys…
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