8 search results - page 2 / 2 » Do programmer pairs make different mistakes than solo progra... |
ASPLOS
2009
ACM
14 years 6 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
TRECVID
2008
13 years 7 months ago
2008
This paper presents our experiments on TRECVID workshop 2008. This year we participated in two challenging tasks, rushes video summarisation and video copy detection tasks. We stu...
JFP
2006
13 years 5 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...