Sciweavers

2957 search results - page 14 / 592
» Code analysis and CS-XML
Sort
View
CODES
1999
IEEE
13 years 11 months ago
Worst-case analysis of discrete systems based on conditional abstractions
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
Felice Balarin
SCAM
2007
IEEE
14 years 1 months ago
Keynote Address: .QL for Source Code Analysis
Many tasks in source code analysis can be viewed as evaluating queries over a relational representation of the code. Here we present an object-oriented query language, named .QL, ...
Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pav...
DIMVA
2010
13 years 7 months ago
dAnubis - Dynamic Device Driver Analysis Based on Virtual Machine Introspection
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
Matthias Neugschwandtner, Christian Platzer, Paolo...
FLAIRS
1998
13 years 8 months ago
The Program Analysis Tool for Reuse: Identifying Reusable Components
Software reuse has been demonstrated to increase productivity, reduce costs, and improve software quality. The research that has addressed this problem has concentrated on code cr...
Letha H. Etzkorn, Carl G. Davis, Lisa L. Bowen, Ja...
ICASSP
2008
IEEE
14 years 1 months ago
A generalized optimal correlating transform for multiple description coding and its theoretical analysis
This paper considers a coding scheme for data transmission over erasure channels which is also known as multiple description coding. The LMMSE prefilter method of Romano [1] is r...
Stefan Uhlich, Bin Yang