3679 search results - page 374 / 736 » Hybrid Semantic Analysis |
216
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
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...
200
click to vote
MEMOCODE
2003
IEEE
16 years 2 days ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
211
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
Earlier this year, a major effort was initiated to study the theoretical and empirical aspects of the automatic detection of semantic concepts in broadcast video, complementing ong...
170
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
196
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...