2141 search results - page 187 / 429 » Embedded Software |
111
click to vote
B
1998
Springer
15 years 9 months ago
1998
Springer
Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...
153
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
125
click to vote
SCOPES
2005
Springer
15 years 10 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
154
click to vote
RTCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...
150
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
The development of wireless sensor networks (WSNs) software today is tackled by a code-and-fix process that relies solely on the primitive constructs provided by the operating sys...