2141 search results - page 30 / 429 » Embedded Software |
ER
2007
Springer
14 years 1 months ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
CODES
1998
IEEE
13 years 12 months ago
1998
IEEE
Energy dissipationis a hot topic in the design of
RTAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Operating systems for reconfigurable devices enable the development of embedded systems where software tasks, running on a CPU, can coexist with hardware tasks running on a recon...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
This paper presents a novel technique, called input space adaptive software synthesis, for the energy and performance optimization of embedded software. The proposed technique is ...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...