Sciweavers

5588 search results - page 916 / 1118
» Parallel Implementation of Bags
Sort
View
122
Voted
ESOP
2009
Springer
15 years 9 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
132
Voted
CCGRID
2009
IEEE
15 years 9 months ago
C-Meter: A Framework for Performance Analysis of Computing Clouds
—Cloud computing has emerged as a new technology that provides large amount of computing and data storage capacity to its users with a promise of increased scalability, high avai...
Nezih Yigitbasi, Alexandru Iosup, Dick H. J. Epema...
122
Voted
CCGRID
2009
IEEE
15 years 9 months ago
Self-Tuning Virtual Machines for Predictable eScience
— Unpredictable access to batch-mode HPC resources is a significant problem for emerging dynamic data-driven applications. Although efforts such as reservation or queue-time pred...
Sang-Min Park, Marty Humphrey
113
Voted
CCGRID
2009
IEEE
15 years 9 months ago
Multicast Trees for Collaborative Applications
—Current implementations of real-time collaborative applications rely on a dedicated infrastructure to carry out all synchronizing and communication functions, and require all en...
Krzysztof Rzadca, Jackson Tan Teck Yong, Anwitaman...
142
Voted
CCGRID
2009
IEEE
15 years 9 months ago
Harvesting Large-Scale Grids for Software Resources
— Grid infrastructures are in operation around the world, federating an impressive collection of computational resources and a wide variety of application software. In this conte...
Asterios Katsifodimos, George Pallis, Marios D. Di...