Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,264,698 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.
2001
2001
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
M. Bozzano
,
G. Delzanno
,
M. Martelli
Fuji International Symposium on Functional and…
2001
Corpus ID: 14106741
We study the connection between algorithmic techniques for symbolic model checking [ACJT96,FS98,AJ99], and declarative and…
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
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
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
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
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
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
1993
1993
A characterization of stable models using a non-monotonic operator
F. Teusink
Methods Log. Comput. Sci.
1993
Corpus ID: 5519568
Stable models seem to be a natural way to describe the beliefs of a rational agent(cid:2) How(cid:3) ever(cid:4) the de(cid:5…
Expand
1993
1993
Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations
Sven-Olof Nyström
,
B. Jonsson
ILPS
1993
Corpus ID: 13075261
This paper presents a semantics for non-deterministic concurrent constraint programming languages. The semantics address the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE