3667 search results - page 453 / 734 » Software Rejuvenation - Modeling and Analysis |
146
click to vote
FOSSACS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
155
click to vote
LCPC
2007
Springer
16 years 23 days ago
2007
Springer
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety o...
155
click to vote
ISCAS
2006
IEEE
16 years 19 days ago
2006
IEEE
—With the continued push toward dispersed generation and distributed intelligent devices throughout the distribution system, a proper analysis method for understanding the operat...
148
click to vote
ELPUB
2006
ACM
16 years 18 days ago
2006
ACM
A snapshot of the British blogosphere focusing on the blogging habits and technical abilities of a sample of British bloggers. Most of the academic research that has so far been p...
164
click to vote
LCPC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...