223 search results - page 32 / 45 » New methods and coverage metrics for functional verification |
BMCBI
2007
13 years 8 months ago
2007
Background: Although the prediction of protein-protein interactions has been extensively investigated for yeast, few such datasets exist for the far larger proteome in human. Furt...
ICNP
2003
IEEE
14 years 2 months ago
2003
IEEE
Network wide broadcasting is an energy intensive function. In this paper we propose a new method that performs transmission power adaptations based on information available locall...
TR
2008
13 years 8 months ago
2008
The failure probability of a product F(t) and the life time quantile tp are commonly used metrics in reliability applications. Confidence intervals are used to quantify the statis...
AIPS
2010
13 years 11 months ago
2010
Compared to optimal planners, satisficing planners can solve much harder problems but may produce overly costly and long plans. Plan quality for satisficing planners has become in...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...