Sciweavers

787 search results - page 2 / 158
» Source code analysis and manipulation
Sort
View
ICASSP
2010
IEEE
13 years 6 months ago
Informed source separation of underdetermined instantaneous stereo mixtures using source index embedding
In this paper, we address the issue of underdetermined source separation of non-stationary audio sources from a stereo (i.e. 2-channel) linear instantaneous mixture. This problem ...
Mathieu Parvaix, Laurent Girin
ICASSP
2011
IEEE
12 years 9 months ago
Applications of short space-time fourier analysis in digital acoustics
This paper presents a signal processing tool for analyzing and manipulating digitized acoustic wave fields, based on a spatio-temporal extension of the time–frequency represent...
Francisco Pinto, Martin Vetterli
ICSE
2003
IEEE-ACM
14 years 5 months ago
Source Viewer 3D (sv3D) - A Framework for Software Visualization
2. Support for User Interaction Source Viewer 3D is a software visualization framework that uses a 3D metaphor to represent software system and analysis data. The 3D representation...
Jonathan I. Maletic, Andrian Marcus, Louis Feng
SAC
2009
ACM
13 years 10 months ago
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal
The firmware of an electronic voting machine is typically treated as a “trusted” component of the system. Consequently, it is misconstrued to be vulnerable only to an insider...
Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, La...
CCS
2003
ACM
13 years 11 months ago
Buffer overrun detection using linear programming and static analysis
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
Vinod Ganapathy, Somesh Jha, David Chandler, David...