Sciweavers

569 search results - page 52 / 114
» A framework for source code metrics
Sort
View
ICPR
2010
IEEE
13 years 9 months ago
Semi-blind Speech-Music Separation Using Sparsity and Continuity Priors
—In this paper we propose an approach for the problem of single channel source separation of speech and music signals. Our approach is based on representing each source’s power...
Hakan Erdogan, Emad M. Grais
SIGSOFT
2010
ACM
13 years 6 months ago
LINKSTER: enabling efficient manual inspection and annotation of mined data
While many uses of mined software engineering data are automatic in nature, some techniques and studies either require, or can be improved, by manual methods. Unfortunately, manua...
Christian Bird, Adrian Bachmann, Foyzur Rahman, Ab...
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
14 years 2 months ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
TIP
2010
123views more  TIP 2010»
13 years 7 months ago
Optimizing Motion Compensated Prediction for Error Resilient Video Coding
—This paper is concerned with optimization of the motion compensated prediction framework to improve the error resilience of video coding for transmission over lossy networks. Fi...
Hua Yang, Kenneth Rose
ET
2010
89views more  ET 2010»
13 years 7 months ago
On the Duality of Probing and Fault Attacks
In this work we investigate the problem of simultaneous privacy and integrity protection in cryptographic circuits. We consider a white-box scenario with a powerful, yet limited at...
Berndt M. Gammel, Stefan Mangard