Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,147,093 papers from all fields of science
Search
Sign In
Create Free Account
3D XPoint
Known as:
3DXPoint
, XPoint memory
, 3D XPoint memory
Expand
3D XPoint (pronounced three dee cross point) is a non-volatile memory technology announced by Intel and Micron in July 2015. Intel refers to future…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Computer memory
Hybrid Memory Cube
Intel Developer Forum
Kaby Lake
Expand
Broader (1)
Non-volatile memory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1997
1997
A toolkit for static analysis of constraint logic programs
Hüseyin Saglam
1997
Corpus ID: 37570452
Generic systems for the analysis of logic programs have been proposed over the last decade or so. Considerable progress has been…
Expand
1996
1996
Resultants Semantics for Prolog
M. Gabbrielli
,
G. Levi
,
M. Meo
Journal of Logic and Computation
1996
Corpus ID: 16253458
In this paper we study some rst order formulas, called resultants, which can be used to describe in a concise way most of the…
Expand
1996
1996
Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus
O. Sokolsky
1996
Corpus ID: 17828895
of the Dissertation E cient Graph-Based Algorithms for Model Checking in the Modal Mu-Calculus by Oleg Sokolsky Doctor of…
Expand
1996
1996
Default Negated Conclusions: Why Not?
C. Damásio
,
L. Pereira
Extensions of Logic Programming
1996
Corpus ID: 5418289
We address the issue of the syntactical assymetry of logic programs: can one allow default negated literals in the heads? This…
Expand
1996
1996
The Differential Fixpoint of General Logic Programs
U. Zukowski
,
B. Freitag
DDLP
1996
Corpus ID: 6271386
We present a version of the alternating xpoint procedure that is fully incremental. Using ideas of partial evaluation techniques…
Expand
1995
1995
Computing with Innnitary Logic
Serge AbiteboulINRIA
,
Le Chesnay CEDEXFranceemail
,
S. Abiteboul
1995
Corpus ID: 15923930
Most recursive extensions of the rst-order queries converge around two central classes of queries: xpoint and while. Innnitary…
Expand
Review
1995
Review
1995
On the Computation of Fixpoints in Static Program Analysis with an Application to Analysis of AKL
E. Schon
1995
Corpus ID: 59711416
This report features an introduction to lattice-and xpoint theory and a survey of methods and recent results for xpoint…
Expand
1995
1995
Analysis of Pure PROLOG Programs
G. Levi
,
Daniele Micciancio
GULP-PRODE
1995
Corpus ID: 16685432
We deene a new xpoint semantics for pure PROLOG, which is obtained as an instance of the generalized semantics of CLP and is…
Expand
1994
1994
Maintenance and Prevention: Formalization and Fixpoint Characterization
Munindar P. Singh
1994
Corpus ID: 9797519
Maintenance and prevention are important concepts in the science of intelligent systems, yet they are usually ignored in favor of…
Expand
1994
1994
Non{monotonic Reasoning Based on Minimal Models and Its Eecient Implementation
Dietmar Seipel
1994
Corpus ID: 267880011
A common approach to non{monotonic reasoning is to choose a set S of models (e.g. minimal, perfect or stable models) for a logic…
Expand