60 search results - page 7 / 12 » Efficient Detection of Distributed Constraint Violations |
CIVR
2010
Springer
13 years 4 months ago
2010
Springer
Current content-based video copy detection approaches mostly concentrate on the visual cues and neglect the audio information. In this paper, we attempt to tackle the video copy d...
PODC
2011
ACM
13 years 19 days ago
2011
ACM
: Analyzing Consistency Properties for Fun and Profit Wojciech Golab, Xiaozhou Li, Mehul A. Shah HP Laboratories HPL-2011-6 data consistency, algorightms, key-value stores Moti...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
Video file synchronization between remote users is an important task in many applications. Re-transmission of a video that has been only slightly modified is expensive, wasteful...
PLDI
2010
ACM
14 years 7 days ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
EMSOFT
2008
Springer
13 years 11 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...