An Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems

2009 ◽  
Author(s):  
John Hatcliff ◽  
Torben Amtoft ◽  
Anindya Banerjee
Keyword(s):  
Distributed Systems ◽  
Large Scale ◽  
Specification And Verification

Workshop on large-scale distributed systems for information retrieval

2007 ◽  
Vol 41 (2) ◽  
pp. 83-88
Author(s):  
Flavio P. Junqueira ◽  
Vassilis Plachouras ◽  
Fabrizio Silvestri ◽  
Ivana Podnar
Keyword(s):  
Information Retrieval ◽  
Distributed Systems ◽  
Large Scale

scholarly journals A survey on techniques for improving the energy efficiency of large-scale distributed systems

2014 ◽  
Vol 46 (4) ◽  
pp. 1-31 ◽  
Author(s):  
Anne-Cecile Orgerie ◽  
Marcos Dias de Assuncao ◽  
Laurent Lefevre
Keyword(s):  
Energy Efficiency ◽  
Distributed Systems ◽  
Large Scale

scholarly journals New Trends in Large Scale Distributed Systems Simulation

2011 ◽  
Vol 5 (2) ◽  
pp. 221-257 ◽  
Author(s):  
Ciprian Dobre ◽  
Florin Pop ◽  
Valentin Cristea
Keyword(s):  
Distributed Systems ◽  
Large Scale ◽  
Systems Simulation

Comparison and analysis of eight scheduling heuristics for the optimization of energy consumption and makespan in large-scale distributed systems

2010 ◽  
Vol 59 (1) ◽  
pp. 323-360 ◽  
Author(s):  
Peder Lindberg ◽  
James Leingang ◽  
Daniel Lysaker ◽  
Samee Ullah Khan ◽  
Juan Li
Keyword(s):  
Energy Consumption ◽  
Distributed Systems ◽  
Large Scale ◽  
Comparison And Analysis
Sign in / Sign up

Export Citation Format

Share Document