8337 search results - page 1458 / 1668 » Reasoning With Characteristic Models |
123
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we propose a dynamic code overlay technique of synchronous data-flow (SDF) –modeled program for low-end embedded systems which lack MMUsupport. With this technique...
158
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
144
click to vote
ETS
2006
IEEE
15 years 11 months ago
2006
IEEE
BIST is an attractive approach to detect delay faults due to its inherent support for at-speed test. Deterministic logic BIST (DLBIST) is a technique which was successfully applie...
156
click to vote
EUROMICRO
2006
IEEE
15 years 11 months ago
2006
IEEE
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
131
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Gatekeeping/Information Control is exercised frequently and daily in virtual communities. Gatekeeping exists in four different levels: Regulators, service providers, communitiesâ€...