5722 search results - page 814 / 1145 » Security Function Interactions |
158
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
179
click to vote
FOSSACS
2010
Springer
16 years 29 days ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
153
click to vote
ISPASS
2009
IEEE
16 years 29 days ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
179
Voted
PDP
2009
IEEE
16 years 29 days ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
182
Voted
CEC
2009
IEEE
16 years 27 days ago
2009
IEEE
—Structure learning is a crucial component of a multivariate Estimation of Distribution algorithm. It is the part which determines the interactions between variables in the proba...