854 search results - page 128 / 171 » Addressing Dynamic Issues of Program Model Checking |
ISCA
2003
IEEE
15 years 7 months ago
2003
IEEE
Value prediction exploits localities in value streams. Previous research focused on exploiting two types of value localities, computational and context-based, in the local value h...
120
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: This paper addresses key biological problems and statistical issues in the analysis of large gene expression data sets that describe systemic temporal response cascade...
123
click to vote
ER
2004
Springer
15 years 7 months ago
2004
Springer
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
151
Voted
PODC
2009
ACM
16 years 2 months ago
2009
ACM
We analyze the performance of protocols for load balancing in distributed systems based on no-regret algorithms from online learning theory. These protocols treat load balancing a...
118
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...