3771 search results - page 539 / 755 » Subobject Transformation Systems |
148
click to vote
PEPM
2009
ACM
16 years 27 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
138
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
SIMD (Single Instruction, Multiple Data) engines are an essential part of the processors in various computing markets, from servers to the embedded domain. Although SIMD-enabled a...
155
click to vote
RECSYS
2009
ACM
15 years 10 months ago
2009
ACM
In the Netflix Prize competition many new collaborative filtering (CF) approaches emerged, which are excellent in optimizing the RMSE of the predictions. Matrix factorization (M...
141
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— In [1], we have recently proposed a general approach for approximating the power sum of Log–Normal Random Variables (RVs) by using the Pearson system of distributions...
146
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...