Publications

Export results as:

Showing 4141 - 4150 results of 5778

2012

Cheat-proof Trust Model for Cloud Computing Markets

Lecture Notes on Computer Science (LNCS), 9th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON'12)

M. Macías, and J. Guitart
Improving disk I/O by paravirtualizing block requests

KVM Forum

M. Brugger, R. Nou, and T. Cortes
Kernel Partitioning of Streaming Applications: A Statistical Approach to an NP-complete Problem

International Symposium on Microarchitecture (MICRO-45)

P. Radojkovic, P. Carpenter, M. Moreto, A. Ramirez, and F. Cazorla
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL

Description Logics

A. Queralt, A. Artale, D. Calvanese, and E. Teniente
Verification and Validation of UML Conceptual Schemas with OCL Constraints

ACM Transactions on Software Engineering and Methodology

A. Queralt, and E. Teniente
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Data & Knowledge Engineering

A. Queralt, A. Artale, D. Calvanese, and E. Teniente
Extending OpenMP* with vector constructs for modern multicore SIMD architectures

Proceedings of the 8th international conference on OpenMP in a Heterogeneous World

M. Klemm, A. Duran, X. Tian, H. Saito, D. Caballero, and X. Martorell
On the Anticipation of Resource Demands to Fulfill the QoS of SaaS Web Applications

13th ACM/IEEE International Conference on Grid Computing (Grid'12)

G. Reig, and J. Guitart
Impact of methylation on the physical properties of DNA.

Biophysical journal

A. Pérez, C L. Castellazzi, F. Battistini, K. Collinet, O. Flores, O. Deniz, M L. Ruiz, D. Torrents, R. Eritja, M. Soler-López, and M. Orozco
Automatic Communication Coalescing for Irregular Computations in UPC Language

Proc. of the 2012 CASCON conference

M. Alvanos, E. Tiotto, M. Farreras, and X. Martorell

Pages