Embedded C

Embedded C is a set of language extensions for the C Programming language by the C Standards committee to address commonality issues that exist… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2018
0102019952018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
This paper motivates the use of automatic heavy-weight static analysis tools to find bugs in C (and C++) code for safety-critical… (More)
  • table 1
Is this relevant?
2010
2010
The majority of micro processors in the world do not sit inside a desktop personal computer or laptop as general purpose… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
This paper focus on the methods of the build process of Real-Time Workshop (RTW), the influencing factors on code efficiency and… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 3
  • figure 4
Is this relevant?
2009
2009
This paper describes an experiment using an automated tool for testing smart cards embedded software developed in C. Conventional… (More)
  • figure 1
  • figure 3
Is this relevant?
2007
2007
The use of field emission cathodes as ionization sources in time of flight mass spectrometers (ToF-MS) offers three main… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We propose a memory abstraction able to lift existing numerical static analyses to C programs containing union types, pointer… (More)
Is this relevant?
2006
2006
This paper describes a new static analysis to show the absence of memory errors, especially string buffer overflows in C programs… (More)
  • figure 1
Is this relevant?
2005
2005
Traditional approaches to enforcing memory safety of programs rely heavily on run-time checks of memory accesses and on garbage… (More)
  • figure 1
  • figure 5
  • table I
  • figure 9
  • table II
Is this relevant?
2003
2003
This paper presents the results of the RNTL BOM project, which aimed to develop an approach to generate efficient code from B… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
Making a processor architecture change is a frightening prospect to anyone in the embedded systems world. Not only are there… (More)
Is this relevant?