Publications

Export results as:

Showing 4061 - 4070 results of 5701

2012

Scalable Agent-based Modelling with Cloud HPC Resources for Social Simulations

2012 IEEE 4th International Conference on Cloud Computing Technology and Science

P. Wittek, and X. Rubio-Campillo
Business-Driven IT Management for Cloud Computing Providers

4th IEEE International Conference on Cloud Computing Technology and Science (CloudCom'12)

O. Fitó, M. Macías, F. Julià, and J. Guitart
Air Quality Services.Europe and North Africa, Internatiol. Monitoring and Forecasting Dust Storms

The Growing uses of GMES across Europe's regions

E. Cuevas, O. Boucher, J. M. Baldasano, M. Schulz, E. Terradellas, and J. J. Morcrette
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

Pages