854 search results - page 119 / 171 » Addressing Dynamic Issues of Program Model Checking |
110
click to vote
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
—Large-scale GPU clusters are gaining popularity in the scientific computing community. However, their deployment and production use are associated with a number of new challenge...
115
Voted
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
126
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
140
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Several problems exist with current methods used to align DNA sequences for comparative sequence analysis. Most dynamic programming algorithms assume that conserved se...
EOR
2008
15 years 2 months ago
2008
Consider a retailer that rents products to customers for a pre-specified rental duration. By considering the dynamics of uncertain rental demand and return processes, we first pre...