Sciweavers

3951 search results - page 47 / 791
» Automatic amortized analysis
Sort
View
SP
2009
IEEE
262views Security Privacy» more  SP 2009»
15 years 6 months ago
Automatic Reverse Engineering of Malware Emulators
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...
Monirul I. Sharif, Andrea Lanzi, Jonathon T. Giffi...
BILDMED
2009
153views Algorithms» more  BILDMED 2009»
15 years 13 days ago
Automatic Classification of Embryonic Fruit Fly Gene Expression Patterns
Abstract. Carefully studied in-situ hybridization Gene expression patterns (GEP) can provide a first glance at possible relationships among genes. Automatic comparative analysis to...
Andreas Heffel, Sonja J. Prohaska, Peter F. Stadle...
WCRE
2009
IEEE
15 years 6 months ago
Automatic Static Unpacking of Malware Binaries
—Current malware is often transmitted in packed or encrypted form to prevent examination by anti-virus software. To analyze new malware, researchers typically resort to dynamic c...
Kevin Coogan, Saumya K. Debray, Tasneem Kaochar, G...
FPL
2007
Springer
190views Hardware» more  FPL 2007»
15 years 5 months ago
Automatic Accuracy-Guaranteed Bit-Width Optimization for Fixed and Floating-Point Systems
In this paper we present Minibit+, an approach that optimizes the bit-widths of fixed-point and floating-point designs, while guaranteeing accuracy. Our approach adopts differen...
William G. Osborne, Ray C. C. Cheung, José ...
QEST
2008
IEEE
15 years 5 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore