2205 search results - page 419 / 441 » Mutation Operators for Specifications |
EUROPAR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
DAGSTUHL
2009
13 years 10 months ago
2009
Abstract. In this paper we elaborate on the challenges of learning manifolds that have many relevant clusters, and where the clusters can have widely varying statistics. We call su...
HPDC
2010
IEEE
13 years 10 months ago
2010
IEEE
Today, the BitTorrent Peer-to-Peer file-sharing network is one of the largest Internet applications--it generates massive traffic volumes, it is deployed in thousands of independe...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
The need for network stability and reliability has led to the growth of autonomic networks [2] that can provide more stable and more reliable communications via on-line measuremen...
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
Several powerful forces are gathering to make fundamental and irrevocable changes to the century-old grid. The nextgeneration grid, often called the `smart grid,' will featur...