59 search results - page 9 / 12 » Constraint Analysis for DSP Code Generation |
175
Voted
CCS
2011
ACM
14 years 6 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...
172
Voted
MEMOCODE
2008
IEEE
16 years 23 days 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...
196
Voted
ICDAR
2011
IEEE
14 years 6 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...
162
Voted
JSS
2002
15 years 6 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...
154
click to vote
PLDI
2010
ACM
15 years 11 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...