Skip to search formSkip to main contentSkip to account menu

Intelligent Platform Management Interface

Known as: IPMI, Intelligent Platform Management Bus, RMCP 
The Intelligent Platform Management Interface (IPMI) is a set of computer interface specifications for an autonomous computer subsystem that provides… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
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… 
2010
2010
This paper describes the design of an eight-channel ATCA card suited for direct analog-to-digital conversion of 1.3 GHz signals… 
2009
2009
The utility model discloses an intelligent platform management interface (IPMI), which adopts the method comprising a first field… 
2009
2009
This paper presents the architecture, design and implementation of an email server that runs on a bare PC without an operating… 
2007
2007
FLASH (Free electron LASer in Hamburg) is the first facility based on the 1.3GHz superconducting cavity technology. It is a test… 
2006
2006
Bounded Model Checking (BMC) is an incremental refutation technique to search for counterexamples of increasing length. The… 
2005
2005
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded… 
2004
2004
FRITZ ,U ., GUICKING ,D ., LENK ,P ., JOGER ,U . W ISSN 0006-3088. The mitochondrial DNA haplotypes of 75 wild caught Emys…