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
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
Is this relevant?
Highly Cited
2009
Highly Cited
2009
The compute unified device architecture (CUDA) is a programming approach for performing scientific calculations on a graphics… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Partitioned Global Address Space (PGAS) languages combine the programming convenience of shared memory with the locality and… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This paper presents a model checking tool, SatAbs, that implements a predicate abstraction refinement loop. Existing software… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Software engineers are faced with a dilemma. They want to write general and wellstructured programs that are flexible and easy to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper describes the C Intermediate Language: a high-level representation along with a set of tools that permit easy analysis… Expand
  • figure 1
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1997
Highly Cited
1997
BLAS3 operations have great potential for aggressive optimization. Unfortunately, they usually need to be hand-coded for a speci… Expand
  • figure 1
  • figure 3
  • table 1
  • table 2
  • figure 5
Is this relevant?
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
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Abstract A parallel message-passing implementation of a molecular dynamics (MD) program that is useful for bio(macro)molecules in… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
Highly Cited
1994
Highly Cited
1994
SummaryComputer codes for computation and comparison of RNA secondary structures, the Vienna RNA package, are presented, that are… Expand
  • table 3
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?