Sciweavers

848 search results - page 93 / 170
» Understanding Obfuscated Code
Sort
View
119
Voted
ASE
2004
127views more  ASE 2004»
15 years 2 months ago
Precise Call Graphs for C Programs with Function Pointers
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
Ana Milanova, Atanas Rountev, Barbara G. Ryder
124
Voted
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 5 days ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
126
Voted
ICIP
2004
IEEE
16 years 3 months ago
Analysis of the efficiency of snr-scalable strategies for motion compensated video coders
In this paper, an analysis of the efficiency of three signal-to-noise ratio (SNR) scalable strategies for motion compensated video coders and their non-scalable counterpart is pre...
Josep Prades-Nebot, Gregory W. Cook, Edward J. Del...
108
Voted
ISBI
2008
IEEE
16 years 2 months ago
Mutual information-based feature selection enhances fMRI brain activity classification
In this paper, we adress the question of decoding cognitive information from functional Magnetic Resonance (MR) images using classification techniques. The main bottleneck for acc...
Bertrand Thirion, Cécilia Damon, Vincent Mi...
ASWEC
2009
IEEE
15 years 9 months ago
Change Propagation Analysis Using Domain Information
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...