4809 search results - page 20 / 962 » Scalable Analysis of Scalable Systems |
TGC
2007
Springer
14 years 1 months ago
2007
Springer
Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because t...
SSDBM
2010
IEEE
14 years 15 days ago
2010
IEEE
Abstract. Scientists’ ability to generate and collect massive-scale datasets is increasing. As a result, constraints in data analysis capability rather than limitations in the av...
TACAS
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
CCGRID
2009
IEEE
14 years 2 months ago
2009
IEEE
Highly distributed systems such as Grids are used today to the execution of large-scale parallel applications. The behavior analysis of these applications is not trivial. The comp...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Programmers of large-scale trusted systems need tools to simplify tasks such as replicating services or data. Group communication systems achieve this via various flavors of relia...