4386 search results - page 680 / 878 » A Tamper-Resistant Programming Language System |
134
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
114
Voted
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
126
Voted
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
123
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
158
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...