Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 219,937,503 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
2012
2012
The Research of Memory Fault Simulation and Fault Injection Method for BIT Software Test
Jun Xu
,
Pin Xu
Second International Conference on…
2012
Corpus ID: 41382045
As the complexity of the avionics, BIT (Built-In-Test) as an important means of system self-test and fault diagnosis and fault…
Expand
2012
2012
A Robust and Space-Efficient Stack Management Method for Wireless Sensor Network OS with Scarce Hardware Resources
Seokhwan Kim
,
Seungku Kim
,
D. Eom
Int. J. Distributed Sens. Networks
2012
Corpus ID: 19204323
Due to such requirements as low power consumption and low cost, sensor nodes commonly do not include advanced H/W features. The…
Expand
2009
2009
The Price of Resiliency: a Case Study on Sorting with Memory Faults
U. F. Petrillo
,
Irene Finocchi
,
G. Italiano
Algorithmica
2009
Corpus ID: 6638759
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the…
Expand
2007
2007
How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones
M. Cinque
,
Domenico Cotroneo
,
Z. Kalbarczyk
,
R. Iyer
Dependable Systems and Networks
2007
Corpus ID: 15474117
While the new generation of hand-held devices, e.g., smart phones, support a rich set of applications, growing complexity of the…
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
2001
Highly Cited
2001
Static and dynamic behavior of memory cell array opens and shorts in embedded DRAMs
Z. Al-Ars
,
A. V. Goor
Proceedings Design, Automation and Test in Europe…
2001
Corpus ID: 10747288
Fault analysis of memory devices using defect injection and simulation is becoming increasingly important as the complexity of…
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
1985
Highly Cited
1985
A modular verifiable exception handling mechanism
S. Yemini
,
D. Berry
TOPL
1985
Corpus ID: 308684
This paper presents a new model for exception handling, called the replacement model. The replacement model, in contrast to other…
Expand
1971
1971
Fault Tolerant Sequential Machines
J. F. Meyer
IEEE transactions on computers
1971
Corpus ID: 3474563
A machine representation of permanent memory faults is introduced where, if M is a sequential machine representing some fault…
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