359 search results - page 9 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
SAC
2010
ACM
13 years 9 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
IJSEKE
2006
13 years 7 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
CONCURRENCY
2007
13 years 7 months ago
2007
Abstract. The memory hierarchy plays an essential role in the performance of current computers, thus good analysis tools that help predict and understand its behavior are required....
ICCS
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
TLDI
2009
ACM
14 years 4 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...