898 search results - page 135 / 180 » An Analysis of Permutations in Arrays |
152
click to vote
IEEEPACT
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
155
click to vote
ICCD
2008
IEEE
16 years 22 days ago
2008
IEEE
— We developed an SMT processor that allows a static WCET analysis of several hard real-time threads and uses the remaining resources for soft or non real-time threads. The analy...
166
click to vote
SFM
2007
Springer
16 years 12 days ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
145
click to vote
VMCAI
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entit...
186
click to vote
ACMSE
2006
ACM
16 years 8 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...