Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,227,533 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. M. 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
1996
1996
Preprocessing for Invariant Validation 1 Topics : Formal Veriication of Concurrent Systems, Theorem Proving Systems
E. Gribomont
1996
Corpus ID: 14402450
Hoare's logic and Dijkstra's predicate transformer calculus have proved adequate for reducing the correctness problem for…
Expand
1995
1995
Computing with Innnitary Logic
S. Abiteboul
,
M. Vardi
,
V. Vianu
1995
Corpus ID: 15923930
Most recursive extensions of the rst-order queries converge around two central classes of queries: xpoint and while. Innnitary…
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
1993
1993
Intensional Negation in Constraint Logic Programs
P. Bruscoli
,
Francesca Levi
,
G. Levi
,
M. Meo
GULP
1993
Corpus ID: 11523086
In this paper we de ne a new compilative version of constructive negation (intensional negation) in CLP and we prove its (non…
Expand