Sciweavers

787 search results - page 2 / 158
» Source code analysis and manipulation
Sort
View
ICASSP
2010
IEEE
14 years 9 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
14 years 1 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
15 years 9 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
15 years 2 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
15 years 2 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...