Publications

Export results as:

Showing 5211 - 5220 results of 5689

2006

Reasoning on UML Class Diagrams with OCL Constraints

ER

A. Queralt, and E. Teniente
Facilitating the Definition of General Constraints in UML

MoDELS

D. Costal, C. Gómez, A. Queralt, R. Raventós, and E. Teniente
Specifying the Semantics of Operation Contracts in Conceptual Modeling

J. Data Semantics VII

A. Queralt, and E. Teniente
Kilo Instruction Processors

A. Cristal
Chip Multiprocessors with Implicit Transactions

2006 Advanced Computer Architecture and Compilation for Embedded Systems (ACACES-06)

E. Vallejo, M. Galluzzi, A. Cristal, F. Vallejo, R. Beivide, P. Stenström, J. E. Smith, and M. Valero
Boosting ILP{&}TLP with the Flexible Multi-Core (FMC)

2006 Advanced Computer Architecture and Compilation for Embedded Systems (ACACES-06)

M. Pericas, A. Cristal, R. González, F. Cazorla, D. A. Jiménez, and M. Valero
Kilo-Instruction Processors, RunAhead and Prefetch

ACM International Conference on Computing Frontiers (CF 2006)

T. Ramírez, A. Cristal, O. J. Santana, A. Pajuelo, and M. Valero
A decoupled KILO-instruction processor

The 12th International Symposium on High-Performance Computer Architecture (HPCA-12)

M. Pericas, A. Cristal, R. González, D. Jiménez, and M. Valero
The role of the heme propionates in heme biochemistry.

Journal of inorganic biochemistry

V. Guallar, and B. Olsen
The effect of heme environment on the hydrogen abstraction reaction of camphor in P450cam catalysis: a QM/MM study.

Journal of the American Chemical Society

A. Altun, V. Guallar, R. A. Friesner, S. Shaik, and W. Thiel

Pages