1005 search results - page 91 / 201 » Agile Methods for Embedded Systems |
107
click to vote
WORDS
2002
IEEE
15 years 7 months ago
2002
IEEE
Feature interactions (FIs, in short) occur when features of different communication services interfere with each other. The FI filtering is a pre-processing before the FI detecti...
JCP
2008
15 years 2 months ago
2008
Until recently, there has been a lack of methods to trade-off energy use for quality of service at run-time in stand-alone embedded systems. Such systems are motivated by the need ...
117
click to vote
JSW
2007
15 years 2 months ago
2007
— The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of...
124
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
The increasing complexity and the short life cycles of embedded systems are pushing the current system-onchip designs towards a rapid increasing on the number of programmable proc...
112
Voted
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...