Sciweavers

665 search results - page 45 / 133
» Object-based video coding using a dynamic coding approach
Sort
View
POPL
2002
ACM
15 years 10 months ago
CCured: type-safe retrofitting of legacy code
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
George C. Necula, Scott McPeak, Westley Weimer
WIAMIS
2009
IEEE
15 years 4 months ago
Feature-based video key frame extraction for low quality video sequences
We present an approach to key frame extraction for structuring user generated videos on video sharing websites (e. g. YouTube). Our approach is intended to link existing image sea...
Pascal Kelm, Sebastian Schmiedeke, Thomas Sikora
ICCD
2006
IEEE
97views Hardware» more  ICCD 2006»
15 years 6 months ago
Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Sa...
IRI
2005
IEEE
15 years 3 months ago
Reusing legacy COBOL code with UML collaboration diagrams via a Wide Spectrum Language
Many legacy systems were developed in COBOL, which still play an important role in business. It is an unavoidable issue for organisations to maintain or replace these COBOL system...
Jianjun Pu, Zhuopeng Zhang, Yang Xu, Hongji Yang
SOSP
1993
ACM
14 years 11 months ago
Handling Audio and Video Streams in a Distributed Environment
Handling audio and video in a digital environment requires timely delivery of data. This paper describes the principles adopted in the design of the Pandora networked multi-media ...
Alan Jones, Andrew Hopper