4809 search results - page 772 / 962 » Scalable Analysis of Scalable Systems |
181
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
1 Data distribution and replication in distributed systems require special purpose middleware tools for accessing replicated data. Data Grids, special forms of a systems distribute...
149
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
163
click to vote
KAIS
2010
15 years 5 months ago
2010
In systems of interacting entities such as social networks, interactions that occur regularly typically correspond to significant, yet often infrequent and hard to detect, interact...
397
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—The online detection of anomalies is a vital element of operations in data centers and in utility clouds like Amazon EC2. Given ever-increasing data center sizes coupled with th...
147
click to vote
PTS
2010
15 years 5 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...