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

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We present deep near-infrared HST/WFC3 observations of the young supermassive Galactic star cluster Westerlund 1 and an adjacent… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
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… Expand
  • 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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In this paper, the applicability of model checking to C code for embedded systems is studied. The paper is divided into two parts… Expand
  • table 1
  • figure 1
  • figure 2
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… Expand
  • figure 5
  • figure 6
  • figure 7
  • figure 8
  • figure 9
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… Expand
  • figure 1
Is this relevant?
2005
2005
Reliable program worst-case execution time (WCET) estimates are a key component when designing and verifying real-time systems… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
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… Expand
  • figure 1
  • table I
  • figure 9
  • table II
  • table III
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1998
1998
We continue the study of geometric/asymptotic properties of adaptive nonlinear systems. The long-standing question of whether the… Expand
Is this relevant?