Sciweavers

525 search results - page 21 / 105
» Static Interpretation of Modules
Sort
View
ASPLOS
2004
ACM
15 years 3 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
ICSE
2008
IEEE-ACM
15 years 10 months ago
Static detection of cross-site scripting vulnerabilities
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
Gary Wassermann, Zhendong Su
FASE
2007
Springer
15 years 3 months ago
Software Product Families: Towards Compositionality
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
Jan Bosch
PAMI
2007
122views more  PAMI 2007»
14 years 9 months ago
Analyzing Image Structure by Multidimensional Frequency Modulation
—We develop a mathematical framework for quantifying and understanding multidimensional frequency modulations in digital images. We begin with the widely accepted definition of t...
Marios S. Pattichis, Alan C. Bovik
ICASSP
2010
IEEE
14 years 9 months ago
Comparison of modulation features for phoneme recognition
In this paper, we compare several approaches for the extraction of modulation frequency features from speech signal using a phoneme recognition system. The general framework in th...
Sriram Ganapathy, Samuel Thomas, Hynek Hermansky