Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

ANSI C

Known as: Standard C, ISO/IEC 9899, ISO C 
ANSI C, ISO C and Standard C refer to the successive standards for the C programming language published by the American National Standards Institute… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
The Internet of Things (IoT) is characterized by heterogeneous devices. They range from very lightweight sensors powered by 8-bit… Expand
  • table I
Highly Cited
2012
Highly Cited
2012
Propositional bounded model checking has been applied successfully to verify embedded software, but remains limited by increasing… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Highly Cited
2011
Highly Cited
2011
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used… Expand
  • figure 2
  • figure 1
  • table 1
  • table 2
Highly Cited
2010
Highly Cited
2010
The general purpose optimization method known as Particle Swarm Optimization (PSO) has received much attention in past years… Expand
  • figure 3
  • table 1
  • table 2
  • table 3
  • figure 6
Highly Cited
2007
Highly Cited
2007
This article presents a multiple-precision binary floating-point library, written in the ISO C language, and based on the GNU MP… Expand
  • table 2
Highly Cited
2005
Highly Cited
2005
This paper presents a model checking tool, SatAbs, that implements a predicate abstraction refinement loop. Existing software… Expand
Highly Cited
2005
Highly Cited
2005
is an encoder, that is, regarding Fq as the set of words in a natural language , the function V tells how to encode the words… Expand
  • table 1.1
Highly Cited
1997
Highly Cited
1997
Modern microprocessors can achieve high performance on linear algebra kernels but this currently requires extensive… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • table 1
Highly Cited
1995
Highly Cited
1995
ANSI SQL-92 [MS, ANSI] defines Isolation Levels in terms of phenomena: Dirty Reads, Non-Repeatable Reads, and Phantoms. This… Expand
  • table 1
  • table 2
  • table 3
Highly Cited
1992
Highly Cited
1992
  • W. Stevens
  • Addison-Wesley professional computing series
  • 1992
  • Corpus ID: 35811886
For more than twenty years, serious C programmers have relied on one book for practical, in-depth knowledge of the programming… Expand