359 search results - page 9 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
131
Voted
SAC
2010
ACM
15 years 4 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...
134
Voted
IJSEKE
2006
15 years 2 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...
135
Voted
CONCURRENCY
2007
15 years 2 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....
118
click to vote
ICCS
2003
Springer
15 years 8 months 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...
140
Voted
TLDI
2009
ACM
15 years 11 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...