59 search results - page 9 / 12 » Constraint Analysis for DSP Code Generation |
104
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...
105
click to vote
MEMOCODE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
120
click to vote
ICDAR
2011
IEEE
13 years 11 months ago
2011
IEEE
—This paper proposes a method for low resolution QR-code recognition. A QR-code is a two-dimensional binary symbol that can embed various information such as characters and numbe...
JSS
2002
14 years 11 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...