4722 search results - page 499 / 945 » Encoding Program Executions |
194
click to vote
IWPC
2003
IEEE
16 years 26 days 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...
213
click to vote
ASM
2003
ASM
16 years 25 days 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...
195
click to vote
ICTCS
2003
Springer
16 years 24 days 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...
202
click to vote
IFIP
2003
Springer
16 years 24 days 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-...
161
click to vote
ACSAC
2002
IEEE
16 years 17 days 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...