Professional Documents
Culture Documents
120
c:
.2
100
:::J
C
80
60
40
20
0
883 881
.l
T I
1: t :
1
685
Ouartiles =:J
Median =:J
Mean c
putl iers
Q) Q)
E
Q)
E
:::J
III
'6
III
Q)
E
E
E
s
u
u
Total Time for
Res. Acquisition
VM Deployment Time VM Boot TIme for
for Res. Acquisition Res. Acquisition
Total Time for
Res. Release
Fig. 1. Resource acquisition and release overheads for acquiring single instances
3.3 Experimental Results
The experimental results of t he Amazon EC2 performance evaluat ion are pre-
sented in t he following.
Resource Acquisition and Release. We st udy t hree resource acquisition and
release scenarios: for single inst ances over a short period, for multiple instances
over a short period, and for single instances over a long period of t ime.
Single instances. We first repeat 20 times for each of t he five instance types a
resource acquisition followed by a release as soon as t he resource stat us becomes
inst alled (see Section 2). Figure 1 shows t he overheads associated with resource
acquisit ion and release in EC2. The total resource acquisiti on t ime ( Total) is the
sum of t he Install and Boot t imes. The Release time is the ti me taken to release
the resource back to EC2; after it is released the resource stops being charged
by Amazon. The cl. * instances are surprisingly easy to obtain; in cont rast , t he
ml . * inst ances have for t he resource acquisition time higher expect at ion (63-90s
compared to around 63s) and variability (much larger boxes). Wit h t he exception
of t he occasional out lier, both t he VM Boot and Release times are stable and
represent about a quarter of Total each.
Multiple instances. We investigate next t he performance of requesting t he ac-
quisition of multi ple resources (2,4,8,16, and 20) at the same time; t his
A Performance Analysis of EC2 Cloud Computing Services 121
120 ,-------------- ----------------,
-
T
o
o
40
::
c:
.2 60
1
:J
a
80
100
Quart iles c::::=:J
Median c::::=:J
Mean =
Outliers
20
O'-'-'-'-'-'-_ '-'-'-'-'-----:L-:L......:L......:L......:I:..-_ '-'-'-'-'-----l
2 4 8 16 20
Instance Count
Total Time for
Res. Acquisition
2 4 8 16 20
Instance Count
VM Deployment Time
for Res. Acquisition
2 4 8 16 20
Instance Count
VM Boot Time for
Res. Acquisition
2 4 8 16 20
Instance Count
Total Time for
Res. Release
Fig. 2. Instance resource acquisition and release overheads when acquiring multiple
c1. xlarge instances at the same time
corresponds to t he real-life scenario where a user would create a homogeneous
cluster from Amazon EC2 resources. When resources are requested in bulk,
we record acquisition and release times for each resource in t he request , sep-
arately. Figure 2 shows t he basic statistical properties of the times recorded for
c1. xl ar ge inst ances. The expectation and t he variability are both higher for
multiple instances than for a single instance.
Long-term investigation. Last , we discuss t he Inst all t ime measurements
published online by the independent CloudSt atus team [1]. We have written
web crawlers and par sing tools and ta ken samples every two minut es between
Aug 2008 and Nov 2008 (two mont hs). We find t hat t he time values fluctuate
within t he expected range (expected value plus or minus t he expected variabil-
ity). We conclude that in Amazon EC2 resources can indeed be provisioned
without addit ional waiting t ime due to system overload.
Performance of SJSI Workloads. In t his set of experiments we measure
t he raw performance of the CPU, I/ O, and memory hierarchy using the Single-
Inst ance benchmarks listed in Section 3.1.
Compute performance. We assess t he computational performance of each in-
stance type using t he ent ire LMbench suite. The performance of int and int64
122 S_Ostermann et al.
10
8
Ui
Q.
0
6
(1)
o
C
t'O
E
...
.g
(1)
Q.
o
,....
r-r-
,....
:
"
'7
,....
"
---
r- -,'
r-
r- t--: r-r-
-,'
r- r-
I
:
:
-,'
.::'
,
r-, "
"
i .:.
-,'
x
,',
In ','
:
r1
'-
INT64bil _ INT64mul =
ml .small
I T-bil =
ml .large ml ,xlarge
Instance Type
INT-add = INTmul =
ct .medium cl ,xlarge
0 8
Ui
Q.
0
0,6
(1)
o
C
t'O
E
0,4 ...
.g
(1)
Q.
0,2
0
:'::
n
n
7:
n
:::
_.
..
,7
n
..
r
rnt .srnau ml.large ml ,xlarge ct .meciem c1.xlarge
Instance Type
FLOATadd = FLOAT-bogo = DOUBLEmul =
FLOAT-mul = DOUBLE-add _ DOUBLEbogo =
Fig. 3. LMbench results. The Performance of 32- and 54-bit integer operations in giga-
operations per second (GOPS) (top) , and of floating operations with single and double
precision (bottom)
operat ions, and of the float and doub le float operations is depict ed in Figur e 3 top
and bottom, respectively. The GOPS recorded for the float ing point and double
operations is 6 - 8x lower than the theoretical maximum of ECU (4.4 GOPS).
Also, the double float performance of the ct , * instances, arguably the most
A Performance Analysis of EC2 Cloud Computing Services 123
5GiB
cl .xlarge o
cl.medium ,.....;
ml .xlarge ..:
ml.large
ml .small ..........
Q)
g 20000
ro
E
.g 15000
Q)
o,
2
15
2
20
Working Set [B]
Fig. 5. CacheBench Rd-Mod-Wr benchmark results, one benchmark process per
instance
above 5GiB correspond to the real I/O performance of the system; lower filesizes
would be served by the system with a combination of memory and disk opera-
tions . We analyze the I/O performance obtained for files sizes above 5GiB in the
second step; Table 5 summarizes the results. We find that the I/O performance
indicated by EC2 (see Table 2) corresponds to the achieved performance for ran-
dom I/O operations (column ' Rand. Input' in Table 5). The *.xlarge instance
types have the best I/O performance from all instance types . For the sequen-
tial operations more typical to scientific computing all EC2 instance types have
in general better performance when compared with similar modern commodity
systems, such as the systems described in the last three rows in Table 5.
Memory hierarchy performance. We test the performance of the memory
hierarchy using CacheBench on each instance type. Figure 5 depicts the perfor-
mance of the memory hierarchy when performing the Rd-Mod-Wr benchmark
with 1 benchmark process per instance. The ct , * instances perform very similar,
almost twice as good as the next performance group formed by mi. xlarge and
mi. large; the mi. small instance is last with a big performance gap for working
sets of 2
17
_2
19
B. We find the memory hierarchy sizes by extracting the major
performance drop-offs. The visible LI /L2 memory sizes are 64KB/IMB for the
mi . * instances ; the ci . * instances have only one performance drop point around
2MB (L2). Looking at the other results (not shown), we find that L1 ci . * is only
32KB. For the Rd and Wr unoptimized benchmarks we have obtained similar
A Performance Analysis of EC2 Cloud Computing Services 125
100
(i)
24 75
0..
a
...J
LL
Q.
c-,
o
Q)
16 50 c
o
Q)
c
' (3
co
E
!E
.g
w
Q)
0..
8 25
o 0
L1NPACK Efficiency ['!oj -
2 4
Number of Nodes
UNPACKPerformance[GFLOPSj _
8 16
Fig. 6. The HPL (LINPACK) performance of mi. small-based virtual clusters
results up to the L2 cache boundary, after which the performance of mi . xlarge
drops rapidly and the system performs worse than ml . l ar ge. We speculate on
the existence of a throttling mechanism installed by Amazon to limit resource
consumption. If this is true, the performance of computing applications would
be severely limited when the working set is near or past the L2 boundary.
Reliability. We have encountered several system problems during the SJSI ex-
periments. When running the LMbench benchmark on a cl. mediurn instance
using the default VM image provided by Amazon for this architecture, the test
did not complete and the instance became partially responsive; the problem was
reproducible on another instance of the same type . For one whole day we were no
longer able to start instances-any attempt to acquire resources was terminated
instantly without a reason. Via the Amazon forums we have found a solution
to the second problem (the user has to perform manually several account /setup
actions); we assume it will be fixed by Amazon in the near future.
Per formance of SJMI Wor kloads. In this set of experiments we measure
the performance delivered by homogeneous clusters formed with EC2 instances
when running the Single-Job-Multi-Machine (in our case Instance) benchmarks.
For these tests we execute the HPCC benchmark on homogeneous clusters of
size 1-16 instances.
HPL per for mance. The performance achieved for the HPL benchmark on
various virtual clusters based on the ml . small instance is depicted in Figure 6.
126 S. Ostermann et al.
Table 6. HPL performance and cost comparison for various EC2 instance types
Peak GFLOPS GFLOPS
Name Perf. GFLOPS / ECU / $1
m1.small 4.4 1.96 1.96 19.6
ml.large 17.6 7.15 1.79 17.9
m1.xlarge 35.2 11.38 1.42 14.2
c1.medium 22.0 3.91 0.78 19.6
c1.xlarge 88.0 49.97 2.50 62.5
Table 7. The HPCC performance for various platforms. HPCC-x is the system with
the HPCC ID x [2].
Peak Perf. HPL STREAM RandomAc. Latency Bandw.
Provider, System [GFLOPS] [GFLOPS] [GBps] [MUPs] [ps] [GBps]
EC2, m1.small 4.40 1.96 3.49 11.60 - -
EC2, ml.large 17.60 7.15 2.38 54.35 20.48 0.70
EC2, m1.xlarge 35.20 11.38 3.47 168.64 17.87 0.92
EC2, c1.medium 22.00 3.91 3.84 46.73 13.92 2.07
EC2, c1.xlarge 88.00 51.58 15.65 249.66 14.19 1.49
EC2, 16 x m1.small 70.40 27.80 11.95 77.83 68.24 0.10
EC2, 16 x c1.xlarge 1408.00 425.82 16.38 207.06 45.20 0.75
HPCC-228, 8 cores 51.20 27.78 2.95 10.29 5.81 0.66
HPCC-227, 16 cores 102.40 55.23 2.95 10.25 6.81 0.66
HPCC-224, 128 cores 819.20 442.04 2.95 10.25 8.25 0.68
The cluster with one node was able to achieve a performance of 1.96 GFLOPS,
which is 44.54% from the peak performance advertised by Amazon. For 16 in-
st ances we have obtained 27.8 GFLOPS, or 39.4% from the t heoret ical peak and
89% efficiency. We further investi gat e t he performance of t he HPL benchmark
for different inst ance types; Table 6 summarizes the results. The c1. xlarge
inst ance achieves good performance (51.58 out of a t heoretical performance of
88 GFLOPS, or 58.6%), but t he ot her instance types do not reach even 50% of
t heir theoreti cal peak performance. The low performance of c1 .medium is due to
t he reliability problems discussed lat er in t his sect ion. Cost -wise, t he ct . xlarge
instance can achieve up to 64.5 GFLOPSj$ (assuming an already inst alled in-
stance is present) , which is th e best measur ed value in our t est . This instance
type also has in our t est s t he best ratio between it s Amazon ECU rating (column
"ECUs" in Tabl e 2) and achieved perfor mance (2.58 GFLOPSjECU).
HPCC performance. To obtain t he performance of virtual EC2 clusters we
run the HPCC benchmarks on unit clusters comprising one inst ance, and on
16-core clusters comprising at least t wo inst ances. Tabl e 7 summarizes t he ob-
t ained result s and, for comparison, result s publi shed by HPCC for four modern
and similarly-sized HP C clust ers [2]. For HPL, only t he performance of t he
c1 .xlarge is comparable t o that of an HPC system. However, for DGEMM,
STREAM, and RandomAccess t he performance of t he EC2 clusters is similar or
A Performance Analysis of EC2 Cloud Computing Services 127
200
180
20
unoptimized v hand-tuned (c1.xlarge x 1 process! - .-
unoptimized v hand-tuned(c1.xlarge x 2 processes
unoptimizedv handtuned(c1.xlarge x 4 processes -- . --
unoplimizedv handtuned (c1.xlarge x 8 processesl . .... ..
Optimization break-even: Unoptimized =Hand-tuned(theoretical --
..
i '.
.';
....
2
15
2
20
Working Set [8]
Fig. 7. CacheBench Wr hand-tuned benchmark results on the c1 . xl arge instance type
with 1- 8 processes per instance
bett er t han t he performance of t he HPC clusters. We attribute t his mixed be-
havior to t he network characterist ics: the EC2 platform has much higher lat ency,
which has an import ant negat ive impact on the performance of t he HPL bench-
mark. In part icular, this relatively low network performance means t hat t he
rat io bet ween t he t heoretical peak performance and achieved HPL performance
increases with t he number of inst ances, making t he virt ual EC2 clusters poorly
scalable. Thus, for scientific comput ing applicat ions similar to HPL t he virtual
EC2 clusters can lead to an order of magnitude lower performance for large sys-
tem sizes (1024 cores and higher), while for ot her types of scient ific comput ing
t he virt ual EC2 clust ers are already suitable execut ion environments.
Reliability. We have encountered several reliability problems during t hese ex-
periments ; t he two most import ant were related to HPL and are reproducible.
Fir st , the ml .large inst ances hang for an HPL problem size of 27,776 (one pro-
cess blocks). Second, on the cl.medium inst ance HPL cannot complet e problem
sizes above 12,288 even if t hese should st ill fit in the available memory; as a
result , t he achieved performance on cl.medium was much lower t han expected.
4 How to Improve Clouds for Scientific Computing?
Tuning applications for virtualized resources: We have shown t hrough-
out Section 3.3 t hat t here is no "best"-performing instance type in clouds-each
128 S. Ostermannet aI.
instance type has preferred instruction mixes and types of applications for which
it behaves better than the others. Moreover, a real scientific application may ex-
hibit unstable behavior when run on virtualized resources. Thus, the user is
faced with the complex task of choosing a virtualized infrastructure and then
tuning the application for it. But is it worth tuning an application for a cloud?
To answer this question , we use from CacheBench the hand-tuned benchmarks
to test the effect of simple, portable code optimizations such as loop unrolling
etc. We use the experimental setup described in Section 3.2. Figure 7 depicts
the performance of the memory hierarchy when performing the Wr hand-tuned
then compiler-optimized benchmark of CacheBench on the ci . xlarge instance
types, with 1 up to 8 benchmark processes per instance . Up to the L1 cache size,
the compiler optimizations to the unoptimized CacheBench benchmarks leads
to less than 60% of the peak performance achieved when the compiler optimizes
the hand-tuned benchmarks. This indicates a big performance loss when run-
ning applications on EC2, unless time is spent to optimize the applications (high
roll-in costs) . When the working set of the application falls between the L1 and
L2 cache sizes, the performance of the hand-tuned benchmarks is still better,
but with a lower margin. Finally, when the working set of the application is
bigger than the L2 cache size, the performance of the hand-tuned benchmarks
is lower than that of the unoptimized applications. Given the performance dif-
ference between unoptimized and hand tuned versions of the same applications,
and that tuning for a virtual environment holds promise for stable performance
across many physical systems, we raise as a future research problem the tuning
of applications for cloud platforms.
Newproviders seemto address most of the bottlenecks weidentified in this work
by providing cloud instances with high speed interconnections like penguin com-
puting [24] with their Penguin on Demand(PODTM) and HPC as a Service"
offers. HPC as a Service extends the cloud model by making concentrated, non-
virtualized high-performance computing resources available in the cloud.
5 Related Work
There has been a spur of research activity in assessing the performance of virtu-
alized resources, in cloud computing environments and in general [33, 10, 23, 29,
21,19,32,26,27]. In contrast to these studies, ours targets computational cloud
resources for scientific computing, and is much broader in size and scope: it per-
forms much more in-depth measurements, compares clouds with other off the
shelf clusters.
Close to our work is the study of performance and cost of executing the
Montage workflow on clouds [10]. The applications used in our study are closer
to the mainstream HPC scientific community. Also close to our work is the
seminal study of Amazon S3 [23], which also includes an evaluation of file
transfer between Amazon EC2 and S3. Our work complements this study by
analyzing the performance of Amazon EC2, the other major Amazon cloud ser-
vice. Several small-scale performance studies of Amazon EC2 have been recently
A Performance Analysis of EC2 Cloud ComputingServices 129
conducted: the study of Amazon EC2 performance using the NPB benchmark
suite [29], the early comparative study of Eucalyptus and EC2 performance [21],
etc. Our performance evaluation results extend and complement these previous
findings, and give more insights into the loss of performance exhibited by EC2
resources.
On the other hand scientists begin to adapt the cloud infrastructure for their
scientific computing. They run their calculations in the cloud [16], extend clusters
on demand with IaaS resources [10] and execute big workflows on a resource mix
from traditional grids and clouds [22]. This shows the growing importance of
IaaS cloud providers for scientific computing and the need to have performance
estimates for the different offeredtypes beyond the marketing information offered
by the providers.
6 Conclusions and Future Work
With the emergence of cloud computing as the paradigm in which scientific
computing is done exclusively on resources leased only when needed from big
data centers , e-scientists are faced with a new platform option . However, the
initial target of the cloud computing paradigm does not match the characteristics
of the scientific computing workloads. Thus, in this paper we seek to answer an
important research question: Is the performance of clouds sufficient for scientific
computing'? To this end, we perform a comprehensive performance evaluation
of a large computing cloud that is already in production. Our main finding is
that the performance and the reliability of the tested cloud are low. Thus , this
cloud is insufficient for scientific computing at large, though it still appeals to
the scientists that need resources immediately and temporarily. Motivated by
this finding, we have analyzed how to improve the current clouds for scientific
computing, and identified two research directions which hold each good potential
for improving the performance of today's clouds to the level required by scientific
computing. New provider [24] seem to address this directions and we plan to test
their services to see if they can hold their claims.
We will extend this work with additional analysis of the other services offered
by Amazon: Storage (S3), database (SimpleDB), queue service (SQS), Private
Cloud, and their inter-connection. We will also extend the performance evalu-
ation results by running similar experiments on other IaaS providers [25] and
clouds also on other real large-scale platforms, such as grids and commodity
clusters . In the long term, we intend to explore the two new research topics that
we have raised in our assessment of needed cloud improvements.
Acknowledgment
This work is partially funded by the European Union through the IST-034601
edutain@grid project and the Austrian Federal Ministry for Education, Sci-
ence and Culture through the GZ BMWF-1O.220/0002-II/1O/2007 Austrian Grid
project.
130 S. Ostermann et al.
References
1. The Cloud St atus Team. JSON report crawl (January 2009),
http://vvv.cloudstatus .com/
2. The HPCC Team. HPCChallenge results (Sept. 2009),
http://icl .cs .utk.edu/hpcc/hpcc_results .cgi
3. Advanced Clustering Tech. Linpack problem size analyzer (December 2008),
http ://vvv.advancedclustering .com/
4. Amazon Inc. Amazon Elastic Compute Cloud (Amazon EC2) (September 2009),
http://aws .amazon.com/ec2/
5. Arpaci-Dusseau, R.H., Arpaci-Dusseau, A.C., Vahdat, A., Liu, L.T., Anderson,
T.E ., Pat t erson, D.A.: The interaction of parallel and sequent ial workloads on a
network of workstat ions. In: SIGMETRICS, pp. 267-278 (1995)
6. Babcock, M.: XEN benchmarks. Tech. Rep. (August 2007),
http://mikebabcock .ca/linux/xen/
7. Barham, P., Dragovic, B., Fraser, K., Hand, S., Harri s, T.L., Ho, A., Pratt , 1.,
Warfield, A.: Xen and the art of virt ualizat ion. In: SOSP. ACM, New York (2003)
8. Bradshaw, R., Desai, N., Freeman, T., Keahey, K.: Ascalable approach t o deploying
and managi ng appliances. In: TeraGrid Conference 2007 (June 2007)
9. Bray, T.: Bonnie, 1996 (December 2008), http ://vvv.textuality.com/bonnie/
10. Deelman, E., Singh, G., Livny, M., Berriman, J .B., Good, J.: The cost of doing
science on t he cloud: the Montage example. In: SC, p. 50. IEEE/ ACM (2008)
11. Dongarr a, J ., et al.: Basic linear algebra subprograms technical forum standard.
Int '1. J . of High Perf. App, and Supercomput ing 16(1), 1- 111 (2002)
12. Foster, LT., Freeman , T. , Keahey, K., Scheftner, D., Sotomayor, B., Zhang, X.: Vir-
tual clusters for grid communities. In: CCGrid, pp. 513-520. IEEE, Los Alamitos
(2006)
13. GoGrid. GoGrid cloud-server hosting (September 2009), http: //vvv .gogrid. com
14. Kowalski, A.: Bonnie - file syst em benchmarks. Tech. Rep., Jefferson Lab (Oct ober
2002), http://cc.jlab.org/docs/scicomp/benchmark/bonnie.html
15. Luszczek, P., Bailey, D.H., Dongarra, J., Kepner, J ., Lucas, R.F., Rabenseifner,
R., Takahashi, D.: S12 - The HPC Challenge (HPCC) benchmark suite . In: SC, p.
213. ACM, New York (2006)
16. Assuncao, A.C.M., Buyya, R.: Evaluati ng t he cost-benefit of using cloud comput ing
to exte nd t he capacity of clusters. In: Kranzlmiiller, D., Bode, A., Hegering, H.-G.,
Casanova, H., Gerndt , M. (eds.) 11th IEEE Int ernati onal Conference on High Per-
formance Computi ng and Communicat ions, HPCC 2009. ACM, New York (2009)
17. McVoy, L., St aelin, C.: LMbench - tools for performance analysis (December 2008),
http://vvv.bitmover.com/lmbench/
18. Mucci, P.J. , London, K.S.: Low level architect ur al characterizat ion benchmarks for
parallel computers. Technical Report UT-CS-98-394, U. Tennessee (1998)
19. Nagarajan, A.B., Mueller, F., Engelmann, C., Scott, S.L.: Pr oact ive fault t olerance
for HPC with Xen virt ualization. In: ICS, pp. 23-32. ACM, New York (2007)
20. Nishimura , H., Maruyama, N., Matsuoka, S.: Virt ual clusters on t he fly - fast ,
scalable, and flexible inst allation. In: CCGrid, pp. 549-556 . IEEE, Los Alamitos
(2007)
21. Nurmi , D., Wolski, R., Grzegorczyk, C., Obertelli, G., Soman, S., Youseff, 1. ,
Zagorodnov, D.: The Eucalyptus open-source cloud-computing system. UCSD
Tech. Rep. 2008-10 (2008), http://eucalyptus.cs .ucsb.edu/
A Performance Analysis of EC2 Cloud Computing Services 131
22. Ostermann, S., Prodan, R. , Fahringer , T.: Extended grids with cloud resource
management for scientific computing. In: Grid 2009: IEEE/ ACM International
Conference on Grid Computing (October 2009)
23. Palankar, M.R., Iamnitchi , A., Ripeanu, M., Garfinkel, S.: Amazon S3 for science
grids: a viable solution? In: DADC 2008: Proceedings of the 2008 international
workshop on Data-aware distributed computing, pp. 55-64. ACM, NewYork (2008)
24. Penguin Computing. Reliable hpc linux systems (September 2009),
http://www.penguincomputing.com/
25. Prodan, R., Ostermann, S.: A survey and taxonomy of infrastructure as a ser-
vice and web hosting cloud providers. In: Grid 2009: IEEE/ ACM International
Conference on Grid Computing (October 2009)
26. Quetier, B., Neri, V., Cappello, F.: Scalability comparison of four host virtualiza-
tion tools. J . Grid Comput. 5(1),83-98 (2007)
27. Sotomayor, N., Keahey, K., Foster , 1.: Overhead matters: A model for virtual re-
source management. In: VTDC, pp. 4-11. IEEE, Los Alamitos (2006)
28. Thain, D., Tannenbaum, T., Livny, M.: Distributed computing in practice: the
Condor experience. Cone. & Comp.: Pract. & Exp. 17(2-4), 323-356 (2005)
29. Walker, E.: Benchmarking Amazon EC2 for HP Scientific Computing. Login 33(5),
18-23 (2008)
30. Wang, P., Thrner, G.W. , Lauer, D.A., Allen, M., Simms, S., Hart, D., Papakhian,
M., Stewart, C.A.: Linpack performance on a geographically distributed linux clus-
ter. In: IPDPS. IEEE , Los Alamitos (2004)
31. Worringen, J ., Scholtyssik, K.: MP-MPICH: User documentation & technical notes
(June 2002)
32. Youseff, L., Seymour, K. , You, H., Dongarra, J ., Wolski, R.: The impact of paravir-
tualized memory hierarchy on linear algebra computational kernels and software.
In: HPDC, pp. 141-152. ACM, New York (2008)
33. Youseff, L., Wolski, R. , Gorda, B.C. , Krintz , C.: Paravirtualization for HPC sys-
tems . In: Min, G., Di Martino , B., Yang, L.T. , Guo, M., Riinger, G. (eds.) ISPA
Workshops 2006. LNCS, vol. 4331, pp. 474-486. Springer, Heidelberg (2006)