Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,467,201 papers from all fields of science
Search
Sign In
Create Free Account
C string handling
Known as:
Strtol
, Strspn
, Strstr
Expand
The C programming language has a set of functions implementing operations on strings (character strings and byte strings) in its standard library…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
33 relations
Boehm–Demers–Weiser Garbage Collector
Buffer overflow
C syntax
C++ string handling
Expand
Broader (2)
C standard library
String (computer science)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Ecologia da raia, Dasyatis americana (Hildebrand & Schroeder, 1928), na Região Metropolitana do Recife - PE e na ReBio Atol das Rocas - Brasil
Ilka Siqueira Lima Branco Nunes
2015
Corpus ID: 165500583
A raia prego e comumente capturada como fauna acompanhante em diferentes pescarias, nao apenas no Brasil mas tambem em grande…
Expand
2013
2013
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution)
Stephan Falke
,
Florian Merz
,
C. Sinz
International Conference on Tools and Algorithms…
2013
Corpus ID: 5552873
LLBMC is a tool for detecting bugs and runtime errors in C and C++ programs. It is based on bounded model checking using an SMT…
Expand
2013
2013
Extending the Theory of Arrays: memset, memcpy, and Beyond
Stephan Falke
,
Florian Merz
,
C. Sinz
Verified Software: Theories, Tools, Experiments
2013
Corpus ID: 14095252
The theory of arrays is widely used in program analysis, deductive software verification, bounded model checking, and symbolic…
Expand
2012
2012
Gluonic fields as unraveled with Polyakov loops and predicted by bosonic strings
A. Bakry
2012
Corpus ID: 55090408
El Bakry Mahmoud, Ahmed Saad; Leinweber, Derek Bruce; Williams, Anthony Gordon 2012, Gluonic fields as unraveled with Polyakov…
Expand
2012
2012
Modeling Software Execution Environment
Dawei Qi
,
Nick Sumner
,
Feng Qin
,
Mai Zheng
,
X. Zhang
,
Abhik Roychoudhury
Working Conference on Reverse Engineering
2012
Corpus ID: 6265906
Software execution environment, interfaced with software through library functions and system calls, constitutes an important…
Expand
2011
2011
Atol das Rocas: an oasis for Octopus insularis juveniles (Cephalopoda: Octopodidae)
Helena F. Bouth
,
T. Leite
,
Françoise D. Lima
,
J. E. L. Oliveira
2011
Corpus ID: 85208825
The habitat, population density, distribution and diet of Octopus insularis Leite & Haimovici, 2008 were studied in the Atol das…
Expand
2010
2010
Fast GPGPU Data Rearrangement Kernels using CUDA
M. Bader
,
H. Bungartz
,
Dheevatsa Mudigere
,
S. Narasimhan
,
Babu Narayanan
arXiv.org
2010
Corpus ID: 16542606
Many high performance-computing algorithms are bandwidth limited, hence the need for optimal data rearrangement kernels as well…
Expand
2007
2007
Two new species of Quadrimaera (Crustacea: Amphipoda: Melitidae) from Atol das Rocas, Brazil
A. Senna
,
C. Serejo
Zootaxa
2007
Corpus ID: 86949702
A field collection of Crustacea was made in the Biological Reserve of Atol das Rocas, Northeastern Brazil, from October 2000 to…
Expand
2006
2006
Multivariate morphological analyses in continental and island populations of Abudefduf saxatilis (Linnaeus) (Pomacentridae, Perciformes) of Western Atlantic
W. F. Molina
,
O. Shibatta
,
Pedro M. Galetti-Jr
2006
Corpus ID: 55047731
The reef species Abudefduf saxatilis (Linnaeus, 1758) is usually considered as a single large Western Atlantic population…
Expand
1995
1995
Pattern Recognition and Image Processing in C++
D. Paulus
,
J. Hornegger
Vieweg+Teubner Verlag
1995
Corpus ID: 5531915
I Introductions.- 1 Pattern Recognition.- 1.1 Images and Sound.- 1.2 Applications of Pattern Recognition.- 1.3 Environment…
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