1629 search results - page 119 / 326 » Infeasible Code Detection |
MTA
2010
14 years 8 months ago
2010
Effective encoding and indexing of audiovisual documents are two key aspects for enhancing the multimedia user experience. In this paper we propose the embedding of low-level cont...
VTC
2010
IEEE
14 years 8 months ago
2010
IEEE
—Recently, broadband analog network coding (ANC) was introduced to utilize high-data rate transmission over the wireless – frequency selective fading – channel. However, ANC ...
103
click to vote
PAMI
2011
14 years 4 months ago
2011
—We show that, via temporal modulation, one can observe and capture a high-speed periodic video well beyond the abilities of a low-frame-rate camera. By strobing the exposure wit...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
SCAM
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...