In this paper we describe a methodology to measure exactly the quality of fault-tolerant
designs by combining fault-injection in high level design (HLD) descriptions with a formal …

Scientists use advanced computing techniques to assist in answering the complex questions
at the forefront of discovery. The High Performance Computing (HPC) scientific applications …

One of the important tools for early diagnosis of malignant melanoma is the total
dermatoscopy score (TDS), computed using the ABCD (asymmetry, border, color, diameter) …

academic and enterprise communities, becoming an attractive alternative for the execution
of applications that demand huge computational power, allowing the integration of …

Computational grids are composed of heterogeneous autonomously managed resources. In
such environment, any resource can join or leave the grid at any time. It makes the grid …

Shared machines in opportunistic grids typically have large quantities of unused disk space.
These resources could be used to store application and checkpointing data when the …

Grid applications typically need to deal with large amounts of data. The traditional approach
for data storage is to employ high-performance dedicated servers with data replication …

Energy costs now dominate IT infrastructure total cost of ownership, with datacentre
operators predicted to spend more on energy than hardware infrastructure in the next five …

Computer grids have attracted great attention of both academic and enterprise communities,
becoming an attractive alternative for the execution of applications that demand huge …

The message passing interface (MPI) is a popular programming model for parallel
applications. Support for MPI in grid middleware is important for the widespread use of grids …