4722 search results - page 499 / 945 » Encoding Program Executions |
130
Voted
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
Understanding performance and related issues in a complex system requires analyzing where and why the program spends its resources. In a reactive system such as a interactive appl...
149
Voted
ASM
2003
ASM
15 years 10 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
132
click to vote
ICTCS
2003
Springer
15 years 10 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
133
Voted
IFIP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
104
click to vote
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating syst...