3330 search results - page 661 / 666 » software 2010 |
134
Voted
ICTAC
2010
Springer
15 years 15 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
116
click to vote
IMC
2010
ACM
15 years 15 days ago
2010
ACM
While many public cloud providers offer pay-as-you-go computing, their varying approaches to infrastructure, virtualization, and software services lead to a problem of plenty. To ...
136
Voted
INFOCOM
2010
IEEE
15 years 15 days ago
2010
IEEE
Misconfigured P2P traffic caused by bugs in volunteer-developed P2P software or by attackers is prevalent. It influences both end users and ISPs. In this paper, we discover and stu...
117
Voted
IPPS
2010
IEEE
15 years 14 days ago
2010
IEEE
We describe the implementation of an out-of-core, distribution-based sorting program on a cluster using FG, a multithreaded programming framework. FG mitigates latency from disk-I/...
127
Voted
IPPS
2010
IEEE
15 years 14 days ago
2010
IEEE
Recently, there has been strong interest in large-scale simulations of biological spiking neural networks (SNN) to model the human brain mechanisms and capture its inference capabi...