7865 search results - page 469 / 1573 » Large correlation analysis |
139
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
182
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Intermodulation distortion is one of the key design requirements of Radio Frequency circuits. The standard approach for analyzing distortion using circuit simulators is to mimic m...
186
click to vote
WECWIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Complex Event Processing (CEP) systems are capable of processing large amounts of events, utilizing them to monitor, steer and optimize business in real time. The lack of tracking...
191
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
BOINC is a platform for volunteer computing. The server component of BOINC embodies a number of scheduling policies and parameters that have a large impact on the projects through...
233
click to vote
SLS
2009
Springer
16 years 1 months ago
2009
Springer
Ant Colony Optimization (ACO) is inspired by the ability of ant colonies to find shortest paths between their nest and a food source. We analyze the running time of different ACO...