1860 search results - page 274 / 372 » tools 2009 |
ISSTA
2009
ACM
15 years 7 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...
109
Voted
JCDL
2009
ACM
15 years 7 months ago
2009
ACM
User-contributed tags have shown promise as a means of indexing multimedia collections by harnessing the combined efforts and enthusiasm of online communities. But tags are only o...
JTRES
2009
ACM
15 years 7 months ago
2009
ACM
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...
MM
2009
ACM
15 years 7 months ago
2009
ACM
In this technical demonstration we show the current version of Arneb1 , a web-based system for manual annotation of videos, developed within the EU VidiVideo project. This tool ha...
113
Voted
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...