Carlos E. Gómez

  • Citations Per Year
Learn More
One of the issues related to systems design is the early verification in first design steps: system specifications verification. Nowadays, it is common to use text-based specifications to begin a system design. However, these specifications cannot be verified until a software model is made. In this work, we show how can we use HiLeS Designer to model and(More)
We address the challenge of both harvesting idle CPU resources on off-the-shelf desktops donated to Desktop Grid Computing while at once limiting the slowdown generated to the resource owner, also known as end-user, to customized values. In this context, slowdown is studied as the increase in completion times of end-user tasks while a Desktop Grid harvests(More)
In the study of data networks the proxy cache operation is an issue which is not studied in depth, and it is assumed that the student already knows. A caching proxy server intercepts HTTP requests from customers, looks for the object in its cache and returns to the client if it was found, otherwise the cache proxy server asks the source server and saves a(More)
Desktop cloud paradigm arises from combining cloud computing with volunteer computing systems in order to harvest the idle computational resources of volunteers' computers Students usually underuse university computer rooms. As a result, a desktop cloud can be seen as a form of high performance computing (HPC) at a low cost. When the capacity of a desktop(More)
Recently, a new concept called desktop cloud emerged, which was developed to offer cloud computing services on non-dedicated resources. Similarly to cloud computing, desktop clouds are based on virtualization, and like other computational systems, may experience faults at any time. As a consequence, reliability has become a concern for researchers.(More)
  • 1