1760 search results - page 74 / 352 » Program Analysis Using Weighted Pushdown Systems |
CORR
2010
Springer
15 years 17 days ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
107
click to vote
ECOOP
2011
Springer
14 years 7 days ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
95
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
196
click to vote
WAIM
2009
Springer
15 years 7 months ago
2009
Springer
StreetTiVo is a project that aims at bringing research results into the living room; in particular, a mix of current results in the areas of Peer-to-Peer XML Database Management Sy...
101
Voted
ICS
1989
Tsinghua U.
15 years 4 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...