5843 search results - page 924 / 1169 » Software Security in Practice |
161
click to vote
SCAM
2007
IEEE
16 years 27 days ago
2007
IEEE
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...
170
click to vote
B
2007
Springer
16 years 24 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
178
click to vote
HIPEAC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Iterative optimization has become a popular technique to obtain improvements over the default settings in a compiler for performance-critical applications, such as embedd...
195
click to vote
LCPC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
169
click to vote
QOSA
2007
Springer
16 years 22 days ago
2007
Springer
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...