47 search results - page 9 / 10 » Wave Propagation and Deep Propagation for Pointer Analysis |
ESOP
2001
Springer
13 years 12 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
SMI
2008
IEEE
14 years 1 months ago
2008
IEEE
The distribution of geometric features is anisotropic by its nature. Intrinsic properties of surfaces such as normal curvatures, for example, varies with direction. In this paper ...
TMI
2008
13 years 7 months ago
2008
We describe the application of a time domain diffuse fluorescence tomography system for whole body small animal imaging. The key features of the system are the use of point excitat...
SAINT
2007
IEEE
14 years 1 months ago
2007
IEEE
—The “Gen2” specification for UHF passive RFID systems released by EPCglobal has become an intense research interest. A Gen2 tag derives its power from the RF wave emitted by...
PLDI
2003
ACM
14 years 21 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...