1821 search results - page 265 / 365 » Security-Aware Program Transformations |
118
Voted
PCI
2005
Springer
15 years 6 months ago
2005
Springer
Cache misses form a major bottleneck for memory-intensive applications, due to the significant latency of main memory accesses. Loop tiling, in conjunction with other program tran...
115
Voted
SEM
2004
Springer
15 years 6 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
123
Voted
CCS
2003
ACM
15 years 6 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
82
Voted
IEEEPACT
2002
IEEE
15 years 5 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
116
Voted
WOMPAT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The recent parallel language standard for shared memory multiprocessor (SMP) machines, OpenMP, promises a simple and portable interface for programmers who wish to exploi...