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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Bounded model checking (BMC) of C and C++ programs is challenging due to the complex and intricate syntax and semantics of these… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
................................................................................................................................................. 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
BACKGROUND In many developing countries, the maternal mortality ratio remains high with huge poor-rich inequalities. Programmes… (More)
Is this relevant?
2009
2009
A main building block of the trigger and data acquisition in the PANDA experiment at FAIR will be FPGA based Compute Nodes in the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
BACKGROUND The Doppler Substudy of the randomized, double-blind, placebo-controlled Reinfusion of Enriched Progenitor Cells and… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
BACKGROUND Recent trials have shown that intracoronary infusion of bone marrow cells (BMCs) improves functional recovery after… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Bounded model checking (BMC) is an incomplete property checking method that is based on a finite unfolding of the transition… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Resolution-based proof analysis techniques have been proposedrecently to identify a sufficient set of reasons for… (More)
Is this relevant?