5186 search results - page 277 / 1038 » Embedded Systems |
176
click to vote
AC
2002
Springer
15 years 6 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
156
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
A major challenge in realizing core-based system chips is the adoption and design-in of adequate test and diagnosis strategies. This tutorial paper discusses the specific challeng...
196
click to vote
WORDS
2005
IEEE
16 years 5 days ago
2005
IEEE
Software metrics can be used to objectively quantify the quality of software components and systems, alleviating quality and risk concerns and raising assurance in component-based...
165
click to vote
IPCO
1992
15 years 7 months ago
1992
We present exact characterizations of structures on which the greedy algorithm produces optimal solutions. Our characterization, which we call matroid embeddings, complete the par...
189
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...