283 search results - page 15 / 57 » Error Detection Using BMC in a Parallel Environment |
SRDS
1997
IEEE
14 years 1 hour 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
14 years 2 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...
ICDCSW
2007
IEEE
14 years 2 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...
ICDCS
2012
IEEE
11 years 10 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...
BMCBI
2005
13 years 7 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...