1027 search results - page 47 / 206 » Callgraph properties of executables |
SRDS
1996
IEEE
15 years 4 months ago
1996
IEEE
Basing rollback recovery on optimistic message logging and replay avoids the need for synchronization between processes during failure-free execution. Some previous research has a...
116
Voted
ISSTA
1996
ACM
15 years 4 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
148
click to vote
HIPEAC
2011
Springer
14 years 10 days ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
116
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study methods that allow web sites to safely combine JavaScript from untrusted sources. If implemented properly, filters can prevent dangerous code from loading into t...
82
Voted
CGO
2010
IEEE
15 years 7 months ago
2010
IEEE
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...