1379 search results - page 240 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
125
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
103
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
165
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
134
click to vote
CGO
2004
IEEE
15 years 5 months ago
2004
IEEE
To meet the high demand for powerful embedded processors, VLIW architectures are increasingly complex (e.g., multiple clusters), and moreover, they now run increasingly sophistica...
130
click to vote
LCPC
2000
Springer
15 years 5 months ago
2000
Springer
This paper proposes a simple and efficient implementation method for a hierarchical coarse grain task parallel processing scheme on a SMP machine. OSCAR multigrain parallelizing c...