4116 search results - page 146 / 824 » Type Analysis for CHIP |
CSB
2005
IEEE
14 years 2 months ago
2005
IEEE
Recently Bowers et al. [1] analyzed triplet logic relationships among 4873 Clusters of Orthologous Groups (COGS) from 67 fully sequenced organisms by calculating how well logic re...
DSN
2005
IEEE
14 years 2 months ago
2005
IEEE
Designing a distributed fault tolerance algorithm requires careful analysis of both fault models and diagnosis strategies. A system will fail if there are too many active faults, ...
ISSRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
EUROPAR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Virtualization technology has been gaining acceptance in the scientific community due to its overall flexibility in running HPC applications. It has been reported that a ...
CMS
2006
13 years 10 months ago
2006
Abstract. There are a number of attacker models in the area of anonymous communication. Most of them are either very simplified or pretty abstract - therefore difficult to generali...