469 search results - page 44 / 94 » Putting curry-howard to work |
CCGRID
2009
IEEE
14 years 2 months ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...
CCGRID
2009
IEEE
14 years 2 months ago
2009
IEEE
We describe our experiences from implementing and integrating a new job scheduling algorithm in the gLite Grid middleware and present experimental results that compare it to the e...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—With the evolution of mobile devices and networks, and the growing trend of mobile Internet access, rich, multi-player gaming using mobile devices, similar to PC-based Internet ...
COMPLEX
2009
Springer
14 years 2 months ago
2009
Springer
This paper explores scientific metrics in citation networks in scientific communities, how they differ in ranking papers and authors, and why. In particular we focus on network eff...
EUROPAR
2009
Springer
14 years 2 months ago
2009
Springer
With the gradual adoption of publish/subscribe systems in mission critical areas, it is essential that systems are subjected to rigorous performance analysis before they are put in...