854 search results - page 118 / 171 » Timing coverification of concurrent embedded real-time syste... |
112
click to vote
FMICS
2009
Springer
15 years 1 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
RTAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Despite a rapid decrease in the price of solid state memory devices, system memory is still a very precious resource in embedded systems. The use of shared libraries is known to b...
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we present an approach to the scheduling and voltage scaling of low-power fault-tolerant hard real-time applications mapped on distributed heterogeneous embedded sys...
GIS
1999
ACM
15 years 2 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...