3456 search results - page 179 / 692 » Byte Code Engineering |
103
click to vote
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
119
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
138
click to vote
CGO
2005
IEEE
15 years 8 months ago
2005
IEEE
Software code caches are becoming ubiquitous, in dynamic optimizers, runtime tool platforms, dynamic translators, fast simulators and emulators, and dynamic compilers. Caching fre...
135
click to vote
CGO
2005
IEEE
15 years 8 months ago
2005
IEEE
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...
163
click to vote
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—Continuous growth in network link rates poses a strong demand on high speed IP lookup engines. While Ternary Content Addressable Memory (TCAM) based solutions serve most of toda...