Publications

Export results as:

Showing 4851 - 4860 results of 5706

2008

High-Performance Seismic Acoustic Imaging by Reverse-Time Migration on the Cell/B.E. Architecture

ISCA2008 - WCSA2008 / SCIENTIFIC PROGRAMMING SPECIAL ISSUE ON HIGH PERFORMANCE COMPUTING ON CELL B.E. PROCESSORS

M. Araya-Polo, F. Rubio, R. de la Cruz, M. Hanzich, J M.. Cela, and D P. Scarpazza
Evaluation of 3D RTM on HPC Platforms

SEG 2008, Las Vegas, USA

F. Ortigosa, M. Araya-Polo, F. Rubio, M. Hanzich, R. de la Cruz, and J M.. Cela
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

Pages