5111 search results - page 398 / 1023 » The Embedded Systems Design Challenge |
176
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
180
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we show how Grid computing can be used to improve the operation of a medical image search system. The paper introduces the basic principles of a content-based ima...
223
click to vote
COLING
2010
15 years 1 months ago
2010
The integration of facts derived from information extraction systems into existing knowledge bases requires a system to disambiguate entity mentions in the text. This is challengi...
167
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
229
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...