Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,583,490 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.
2017
2017
Optimizing DMAs' formation in a water pipe network: the water aging and the operating pressure factors
Apostolos Chondronasios
,
K. Gonelas
,
V. Kanakoudis
,
Menelaos Patelis
,
Panagiota Korkana
2017
Corpus ID: 196100789
Dividing a water distribution network (WDN) into district metered areas (DMAs) is the first vital step towards pressure…
Expand
2016
2016
Havens: Explicit reliable memory regions for HPC applications
Saurabh Hukerikar
,
C. Engelmann
IEEE Conference on High Performance Extreme…
2016
Corpus ID: 12543062
Supporting error resilience in future exascale-class supercomputing systems is a critical challenge. Due to transistor scaling…
Expand
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
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
2006
2006
A Transparent based Programmable Memory BIST
Slimane Boutobza
,
M. Nicolaidis
,
Kheiredine M. Lamara
,
Andrea Costa
IEEE European Test Symposium
2006
Corpus ID: 9429753
We present an original transparent-based programmable memory BIST solution suitable for offline as well as online memory testing…
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
or Only Accept Required