2141 search results - page 118 / 429 » Embedded Software |
111
Voted
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
117
Voted
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
In ubiquitous computing environments, contextawareness is one of the most important research topics. Computers embedded in our surrounding can extract information about a user, an...
156
Voted
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
108
click to vote
CASES
2000
ACM
15 years 6 months ago
2000
ACM
Dealing with global on-chip memory allocation/de-allocation in a dynamic yet deterministic way is an important issue for upcoming billion transistor multiprocessor System-on-a-Chi...
129
Voted
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...