Sciweavers

1629 search results - page 66 / 326
» Infeasible Code Detection
Sort
View
PRL
2006
191views more  PRL 2006»
13 years 10 months ago
Applications of hidden Markov models in bar code decoding
We present a novel approach to edge detection in bar code signals using a hidden Markov model (HMM). We also present an algorithm for selection of an optimal filter scale used in ...
S. Kresic-Juric, D. Madej, Fadil Santosa
PEPM
2007
ACM
14 years 4 months ago
Behavioral similarity matching using concrete source code templates in logic queries
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
Coen De Roover, Theo D'Hondt, Johan Brichau, Carlo...
MEMOCODE
2003
IEEE
14 years 3 months ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
DIMVA
2010
13 years 10 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...
ICIP
1999
IEEE
14 years 11 months ago
Error Resilient Lossless Image Coding
We present an image compression scheme that is error resilient and offers lossless decompression in the absence of channel noise. Attempts are made to detect transmission errors a...
Andrew J. Penrose, Neil A. Dodgson