3898 search results - page 540 / 780 » Maintaining Component-Based Systems |
140
click to vote
SAS
2010
Springer
15 years 2 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
147
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
Extreme technology scaling in silicon devices drastically affects reliability, particularly because of runtime failures induced by transistor wearout. Currently available online t...
175
click to vote
ICUMT
2009
15 years 2 months ago
2009
Multicast conferencing is a rapidly-growing area of Internet use. Audio, video and other media such as shared whiteboard data can be distributed efficiently between groups of confe...
161
click to vote
ASC
2011
14 years 11 months ago
2011
A new paradigm for online EH regeneration using Genetic Algorithms (GAs) called Competitive Runtime Reconfiguration (CRR) is developed where performance is assessed based upon a b...
187
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—The high density of WiFi Access Points and large unlicensed RF bandwidth over which they operate makes them good candidates to alleviate cellular network’s limitations...