7429 search results - page 1083 / 1486 » Embedded System Update |
145
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we propose a new robust approach to signal backtrace for efficiently testing embedded analog modules in a large system. The proposed signal backtrace method is form...
187
click to vote
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new exploration and optimization method to select customized implementations for dynamic data sets, as encountered in telecom network, database and multimedia applica...
180
click to vote
PRDC
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
180
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
191
click to vote
ICNP
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose a novel MAC protocol, called Quality-ofservice Guarantee Multiple Access (QGMA), in wireless local area networks to support the quality of service requir...