1901 search results - page 119 / 381 » Predicting Program Properties from |
145
click to vote
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
PDPTA
2004
15 years 4 months ago
2004
We present the MBRAM model for static evaluation of the performance of memory-bound programs. The MBRAM model predicts the actual running time of a memory-bound program directly fr...
131
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
127
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
137
click to vote
PPSC
1997
15 years 4 months ago
1997
We illustrate how Fortran 90 supports object-oriented concepts by example of plasma particle computations on the IBM SP. Our experience shows that Fortran 90 and object-oriented m...