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

Logical partition

Known as: Logical partition (virtual computing platform), LPAR, Partition 
A logical partition, commonly called an LPAR, is a subset of a computer's hardware resources, virtualized as a separate computer. In effect, a… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Kunio Mizutari,1,2,5 Masato Fujioka,1,2,3,5 Makoto Hosoya,3 Naomi Bramhall,1,2,4 Hirotaka James Okano,3 Hideyuki Okano,3 and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
We present Integer Linear Programming (ILP) Modulo Theories (IMT). An IMT instance is an Integer Linear Programming instance… Expand
  • figure 2
  • figure 3
Is this relevant?
2008
2008
The Proof-Carrying Code (PCC) paradigm has emerged as a way of instilling trust in the code user about the properties of the code… Expand
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
2006
2006
In this paper we present a method of integrating theory reasoning into the instantiation framework. This integration is done in… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
There are two well-known approaches to programming with names, binding, and equivalence up to consistent renaming: representing… Expand
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is… Expand
  • table 1
  • figure 3
Is this relevant?
2003
2003
This paper presents a new global positioning system (GPS)-based routing protocol, called location-based point-to-point adaptive… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
Most verification problems on finite systems may be formulated and solved optimally using automata based techniques. Nonetheless… Expand
Is this relevant?
2003
2003
Bleed-fast, dyed cellulosics particularly absorbent papers have been obtained with a particular class of water-soluble, cationic… Expand
  • figure 5.5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We derive a $U$-duality invariant formula for the degeneracies of BPS multiplets in a D1-D5 system for toroidal compactification… Expand
Is this relevant?