Publications

Export results as:

Showing 4051 - 4060 results of 5689

2012

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
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

Pages