Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,393,622 papers from all fields of science
Search
Sign In
Create Free Account
Segmentation fault
Known as:
Segv
, Segmentation
, Seqfault
Expand
In computing, a segmentation fault (often shortened to segfault) or access violation is a fault raised by hardware with memory protection, notifying…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ANSI C
Assertion (software development)
Buffer overflow
Bus error
Expand
Broader (1)
Memory management
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Improved State Space Reductions for LTL Model Checking of C and C++ Programs
P. Ročkai
,
J. Barnat
,
L. Brim
NASA Formal Methods
2013
Corpus ID: 2240595
In this paper, we present substantial improvements in efficiency of explicit-state LTL model checking of C & C++ programs…
Expand
Highly Cited
2010
Highly Cited
2010
Governing the Global Polity: Practice, Mentality, Rationality
I. Neumann
,
Ole Jacob Sending
2010
Corpus ID: 141331802
A key debate within International Relations (IR) centers on the character of globalization and what globalization means for the…
Expand
Highly Cited
2005
Highly Cited
2005
Countering Network Worms Through Automatic Patch Generation
Stelios Sidiroglou
,
A. Keromytis
IEEE Security and Privacy
2005
Corpus ID: 952790
To counter zero-day worms that exploit software flaws such as buffer overflows, this end-point architecture uses source code…
Expand
Highly Cited
2005
Highly Cited
2005
3-D mapping of segmented active faults in the southern Vienna Basin
R. Hinsch
,
K. Decker
,
M. Wagreich
2005
Corpus ID: 37063142
Highly Cited
2003
Highly Cited
2003
Holocene faulting and earthquake recurrence along the Serghaya branch of the Dead Sea fault system in Syria and Lebanon
F. Gomez
,
M. Meghraoui
,
+7 authors
M. Barazangi
2003
Corpus ID: 53651567
An edited version of this paper was published in Geophysical Journal International by Blackwell Publishing. Blackwell Publishing…
Expand
Highly Cited
2001
Highly Cited
2001
A Countermeasure against One Physical Cryptanalysis May Benefit Another Attack
Sung-Ming Yen
,
Seungjoo Kim
,
Seongan Lim
,
S. Moon
International Conference on Information Security…
2001
Corpus ID: 27236440
Recently, many research works have been reported about how physical cryptanalysis can be carried out on cryptographic devices by…
Expand
Highly Cited
2001
Highly Cited
2001
Modeling and imaging with the scalar generalized‐screen algorithms in isotropic media
J. Rousseau
,
M. V. Hoop
2001
Corpus ID: 129308525
The phase‐screen and the split‐step Fourier methods, which allow modeling and migration in laterally heterogeneous media, are…
Expand
Highly Cited
2000
Highly Cited
2000
Criticality of Rupture Dynamics in 3-D
Raul Madariaga
,
Kim B. Olsen
2000
Corpus ID: 54035233
Abstrac—We study the propagation of seismic ruptures along a fault surface using a fourth-order finite difference program. When…
Expand
2000
2000
Impact of memory cell array bridges on the faulty behavior in embedded DRAMs
Z. Al-Ars
,
A. V. Goor
Proceedings of the Ninth Asian Test Symposium
2000
Corpus ID: 41623673
Establishing functional faults, based on defect injection and circuit simulation, has become an important method in understanding…
Expand
Highly Cited
1991
Highly Cited
1991
Rupture model of the 1989 Loma Prieta earthquake from the inversion of strong-motion and broadband teleseismic data
D. Wald
,
D. Helmberger
,
T. Heaton
Bulletin of The Seismological Society of America…
1991
Corpus ID: 16318665
We have used 24 broadband teleseismic and 48 components of local strong-motion velocity records of the 1989 Loma Prieta…
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