1076 search results - page 128 / 216 » Operations on proofs and labels |
99
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
95
Voted
DEXAW
2004
IEEE
15 years 4 months ago
2004
IEEE
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
116
click to vote
AFRIGRAPH
2001
ACM
15 years 4 months ago
2001
ACM
We present independent method to reduce the number of shadow ray tests. It can be used with standard acceleration ray tracing algorithms. Our method is conservative and produces t...
ESORICS
2000
Springer
15 years 4 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
110
Voted
PPDP
2000
Springer
15 years 4 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...