241 search results - page 20 / 49 » Trace analysis of Erlang programs |
135
click to vote
DSD
2008
IEEE
15 years 10 months ago
2008
IEEE
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...
209
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
161
Voted
SP
2009
IEEE
15 years 10 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...
250
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
150
Voted
LOPSTR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...