12084 search results - page 2402 / 2417 » Effect Systems with Subtyping |
GROUP
2010
ACM
13 years 5 months ago
2010
ACM
Group recommendation, which makes recommendations to a group of users instead of individuals, has become increasingly important in both the workspace and people's social acti...
IMC
2010
ACM
13 years 5 months ago
2010
ACM
Loss-pair measurement was proposed a decade ago for discovering network path properties, such as a router's buffer size. A packet pair is regarded as a loss pair if exactly o...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
In this work we consider the problem of monitoring information streams for anomalies in a scalable and efficient manner. We study the problem in the context of network streams wher...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Quantum chemistry applications such as the General Atomic and Molecular Electronic Structure System (GAMESS) that can execute on a complex peta-scale parallel computing environment...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...