Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,238,537 papers from all fields of science
Search
Sign In
Create Free Account
C standard library
Known as:
ISO C library
, The C standard library
, C Standart Library
Expand
The C standard library is the standard library for the C programming language, as specified in the ANSI C standard. It was developed at the same time…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Android
Application programming interface
Berkeley DB
Buildroot
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Calculation and optimization of thresholds for sets of software metrics
S. Herbold
,
J. Grabowski
,
S. Waack
Empirical Software Engineering
2011
Corpus ID: 6097609
In this article, we present a novel algorithmic method for the calculation of thresholds for a metric set. To this aim, machine…
Expand
Highly Cited
2010
Highly Cited
2010
Verifying SystemC: A software model checking approach
A. Cimatti
,
A. Micheli
,
I. Narasamdya
,
Marco Roveri
Formal Methods in Computer-Aided Design
2010
Corpus ID: 14143623
SystemC is becoming a de-facto standard for the development of embedded systems. Verification of SystemC designs is critical…
Expand
Highly Cited
2009
Highly Cited
2009
A quantum central limit theorem for non-equilibrium systems: exact local relaxation of correlated states
M. Cramer
,
J. Eisert
,
J. Eisert
2009
Corpus ID: 115177926
We prove that quantum many-body systems on a one-dimensional lattice locally relax to Gaussian states under non-equilibrium…
Expand
Highly Cited
2004
Highly Cited
2004
Efficient matching of large-size histograms
Fan-Di Jou
,
Kuo-Chin Fan
,
Yang-Lang Chang
Pattern Recognition Letters
2004
Corpus ID: 9402878
Highly Cited
2004
Highly Cited
2004
On-the-fly generation of k-path tests for C functions
Nicky Williams
,
B. Marre
,
Patricia Mouy
Proceedings. 19th International Conference on…
2004
Corpus ID: 16028109
We propose a novel method, called PathCrawler, for the automatic generation of structural tests satisfying the all-paths…
Expand
Highly Cited
2001
Highly Cited
2001
Heterotrimeric G-protein βγ-dimers in growth and differentiation
W. Schwindinger
,
J. Robishaw
Oncogene
2001
Corpus ID: 30622939
Heterotrimeric G-proteins are components of the signal transduction pathways for the soluble and cell-contact signals that…
Expand
Review
2000
Review
2000
A review of chemical and physical properties as indicators of forest soil quality : challenges and opportunities
S. H. Schoenholtza
,
H. V. Miegroetb
,
J. A. Burgerc
2000
Corpus ID: 16836780
Foresters have always relied on a knowledge of chemical and physical properties of soils to assess capacity of sites to support…
Expand
Highly Cited
1997
Highly Cited
1997
THE MOST CONTINUOUS PART OF THE PLANCHEREL DECOMPOSITION FOR A REDUCTIVE SYMMETRIC SPACE
E. P. Ban
,
H. Schlichtkrull
1997
Corpus ID: 118331208
Contents 1 Introduction 2 2 Notation and preliminaries 7 3 Normalization of measures 11 4 The Fourier transform 12 5 Eisenstein…
Expand
Highly Cited
1991
Highly Cited
1991
The Standard C Library
P. J. Plauger
1991
Corpus ID: 61249309
From the Publisher: Prentice Hall's most important C programming title in years. A companion volume to Kernighan & Ritchie's C…
Expand
Review
1991
Review
1991
Adaptive Stabilization of Nonlinear-systems
L. Praly
,
G. Bastin
,
Jean-Baptiste Pomet
,
Zhong-Ping Jiang
1991
Corpus ID: 1679606
An overview of the various parametric approaches which can be adopted to solve the problem of adaptive stabilization of nonlinear…
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