Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
A novel data-driven prognostic approach for lithium-ion batteries remaining useful life (RUL) based on the Verhulst model… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Many people assume that it is challenging to maintain the intimacy of a long-distance (LD) relationship. However, recent research… Expand
  • figure 1
  • table 1
  • figure 2
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2012
Highly Cited
2012
In this study, we argue that important IT change processes affecting an organization’s enterprise architecture are also mirrored… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2010
2010
................................................................................................................................................. 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Background: The Tousled-like kinases are involved in chromatin assembly, DNA repair, transcription, and chromosome segregation… Expand
  • table 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Tortoises of the Testudo graeca complex inhabit a patchy range that covers part of three continents (Africa, Europe, Asia). It… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We consider the problem of bounded model checking (BMC) for linear tempo- ral logic (LTL). We present several efficient encodings… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • table 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The usefulness of Bounded Model Checking (BMC) based on propositional satisfiability (SAT) methods for bug hunting has already… Expand
Is this relevant?