3330 search results - page 513 / 666 » software 2010 |
133
click to vote
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
We consider the problem of numerical stability and model density growth when training a sparse linear model from massive data. We focus on scalable algorithms that optimize certain...
130
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
130
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
133
click to vote
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
The availability of virtualization features in modern CPUs has reinforced the trend of consolidating multiple guest operating systems on top of a hypervisor in order to improve pl...
118
click to vote
NSDI
2010
15 years 6 months ago
2010
We present the design and implementation of a novel anti-malware system called SplitScreen. SplitScreen performs an additional screening step prior to the signature matching phase...