2271 search results - page 360 / 455 » Scalable Software Libraries |
111
Voted
ICFEM
2010
Springer
15 years 1 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 ...
326
Voted
NOMS
2010
IEEE
15 years 1 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...
134
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
Statistical debugging aims to automate the process of isolating bugs by profiling several runs of the program and using statistical analysis to pinpoint the likely causes of failu...
150
Voted
ICSM
2009
IEEE
15 years 1 months ago
2009
IEEE
We previously presented a fault localization technique called Value Replacement that repeatedly alters the state of an executing program to locate a faulty statement [9]. The tech...
159
Voted
SOCO
2010
Springer
14 years 10 months ago
2010
Springer
Decentralized partially observable Markov decision process (DEC-POMDP) is an approach to model multi-robot decision making problems under uncertainty. Since it is NEXP-complete the...