283 search results - page 13 / 57 » Error Detection Using BMC in a Parallel Environment |
GCC
2006
Springer
13 years 11 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
CLUSTER
2007
IEEE
14 years 2 months ago
2007
IEEE
- In high availability clustering solutions, an application must be configured properly to run within the framework of the high availability solution. This configuration is often c...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
− In a clustered, multi-hop sensor network, a large number of inexpensive, geographically-distributed sensor nodes each use their observations of the environment to make local ha...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses the problem of doubletalk detector calibration for acoustic echo cancellers in hands-free environments such as videoconferencing. A statistical model of a rec...
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
Grid environments are ideal for executing applications that require a huge amount of computational work, both due to the big number of tasks to execute and to the large amount of ...