Publications

Export results as:

Showing 4851 - 4860 results of 5704

2008

Seismic Imaging and the Road to Petascale Capacity: RTM and the Cell /B.E. Processor.

70th EAGE Conference & Exhibition

F. Ortigosa, J M.. Cela, M. Araya-Polo, R. de la Cruz, and F. Rubio
Benchmarking 3D RTM on HPC Platforms

VII Congreso de Exploración y Desarrollo de Hidrocarburos

F. Ortigosa, H. Zhou, S. Fernandez, M. Hanzich, M. Araya-Polo, F. Rubio, R. de la Cruz, and J M.. Cela
The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment

Computing Frontiers '08

C. Perfumo, N. Sönmez, S. Stipic, O. Unsal, A. Cristal, T. Harris, and M. Valero
Drawing Preconditions of Operation Contracts from Conceptual Schemas

CAiSE

D. Costal, C. Gómez, A. Queralt, and E. Teniente
Decidable Reasoning in UML Schemas with Constraints

CAiSE

A. Queralt, and E. Teniente
Validation of UML Conceptual Schemas with Operations

CAiSE Forum

A. Queralt, and E. Teniente
A platform independent model for the electronic marketplace domain

Software and System Modeling

A. Queralt, and E. Teniente
Improving the definition of general constraints in UML

Software and System Modeling

D. Costal, C. Gómez, A. Queralt, R. Raventós, and E. Teniente
DNAlive: a tool for the physical analysis of DNA at the genomic scale.

Bioinformatics (Oxford, England)

JR. Goñi, C. Fenollosa, A. Pérez, D. Torrents, and M. Orozco
Is there selection for the pace of successive inactivation of the arpAT gene in primates?

Journal of molecular evolution

F. Casals, A. Ferrer-Admetlla, J. Chillarón, D. Torrents, M. Palacín, and J. Bertranpetit

Pages