5241 search results - page 16 / 1049 » Embedded Programming with C |
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
ICDE
2011
IEEE
12 years 11 months ago
2011
IEEE
—Dynamic software updating research efforts have mostly been focused on updating application code and in-memory state. As more and more applications use embedded databases for st...
Book
"This is an archive of style guides for C and C++ code."
ASPLOS
2004
ACM
14 years 1 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
ENTCS
2010
13 years 5 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...