2111 search results - page 298 / 423 » An Approach to Software Testing of Machine Learning Applicat... |
116
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
105
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
134
Voted
SC
2005
ACM
15 years 9 months ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
122
Voted
EUROSYS
2008
ACM
16 years 18 days ago
2008
ACM
Object replication is a common approach to enhance the availability of distributed data-intensive services and storage systems. Many such systems are known to have highly skewed o...
138
Voted
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...