7 search results - page 2 / 2 » Failure detectors as type boosters |
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
Classification of images in many category datasets has
rapidly improved in recent years. However, systems that
perform well on particular datasets typically have one or
more lim...
ASPLOS
2010
ACM
13 years 11 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...