283 search results - page 15 / 57 » Error Detection Using BMC in a Parallel Environment |
125
click to vote
SRDS
1997
IEEE
15 years 8 months ago
1997
IEEE
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, taking the view that a linear parallel interference canceller (LPIC) can be seen as a linear matrix filter, we propose new linear matrix filters that can resul...
118
click to vote
ICDCSW
2007
IEEE
15 years 10 months ago
2007
IEEE
Although P2P-based DVEs can potentially solve the scalability issues, other important issues such as consistency remain unexplored. In this paper, we address neighborship consiste...
254
click to vote
ICDCS
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...
166
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Normalization is a basic step in microarray data analysis. A proper normalization procedure ensures that the intensity ratios provide meaningful measures of relative e...