1077 search results - page 74 / 216 » Hardware code generation from dataflow programs |
122
click to vote
NDSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
130
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
105
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
111
click to vote
PDPTA
2010
14 years 11 months ago
2010
The problem of programmability on modern heterogeneous multicore and future manycore embedded platforms is still not solved satisfactorily: although many existing but incompatible ...
107
click to vote
ECBS
2008
IEEE
15 years 8 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...