The final publication is available at Springer via http://dx.doi.org/10.1007/s11227-014-1332-5As the number of cores increases in current and future chip-multiprocessor (CMP) generations, coherence protocols must rely on novel hardware structures to scale in terms of performance, power, and area. Systems that use directory information for coherence purposes are currently the most scalable alternative. This paper studies the important differences between the directory behavior of private and shared blocks, which claim for a separate management of both types of blocks at the directory. We propose the PS directory, a two-level directory cache that keeps the reduced number of frequently accessed shared entries in a small and fast first-level c...
[EN] This paper presents the extension of a meta-model (MAM5) and a framework based on the model (Ja...
Agent-based electronic commerce is known to offer many advantages to users. However, very few studie...
[EN] In program analysis, the synthesis of models of logical theories representing the program seman...
The final publication is available at Springer via http://dx.doi.org/10.1007/s11227-014-1288-5Power...
The final publication is available at Springer via http://dx.doi.org/10.1007/s11227-016-1640-zIn la...
Premi extraordinari doctorat curs 2009-2010, àmbit de les TICThe evolution of microprocessor design ...
In just four decades the Internet has gone from a lab experiment to a worldwide, business critical i...
[EN] In the era of cloud computing and huge information systems, distributed applications should man...
High Performance Computing (HPC) systems have become widely used tools in many industry areas and re...
[EN] Total profit is one of the most important factors to be considered from the perspective of reso...
The final publication is available at Springer via http://dx.doi.org/10.1007/s11042-014-2139-3This p...
Recent advances in storage technologies and high performance interconnects have made possible in the...
[EN] Two document processing applications are con- sidered: computer-assisted transcription of text...
In this paper, we propose a secure spontaneous ad-hoc network, based on direct peer-to-peer interact...
[EN] The definition of lot sizes represents one of the most important decisions in production planni...
[EN] This paper presents the extension of a meta-model (MAM5) and a framework based on the model (Ja...
Agent-based electronic commerce is known to offer many advantages to users. However, very few studie...
[EN] In program analysis, the synthesis of models of logical theories representing the program seman...
The final publication is available at Springer via http://dx.doi.org/10.1007/s11227-014-1288-5Power...
The final publication is available at Springer via http://dx.doi.org/10.1007/s11227-016-1640-zIn la...
Premi extraordinari doctorat curs 2009-2010, àmbit de les TICThe evolution of microprocessor design ...
In just four decades the Internet has gone from a lab experiment to a worldwide, business critical i...
[EN] In the era of cloud computing and huge information systems, distributed applications should man...
High Performance Computing (HPC) systems have become widely used tools in many industry areas and re...
[EN] Total profit is one of the most important factors to be considered from the perspective of reso...
The final publication is available at Springer via http://dx.doi.org/10.1007/s11042-014-2139-3This p...
Recent advances in storage technologies and high performance interconnects have made possible in the...
[EN] Two document processing applications are con- sidered: computer-assisted transcription of text...
In this paper, we propose a secure spontaneous ad-hoc network, based on direct peer-to-peer interact...
[EN] The definition of lot sizes represents one of the most important decisions in production planni...
[EN] This paper presents the extension of a meta-model (MAM5) and a framework based on the model (Ja...
Agent-based electronic commerce is known to offer many advantages to users. However, very few studie...
[EN] In program analysis, the synthesis of models of logical theories representing the program seman...