Se relacionan a continuación los artículos de personal docente e investigador de la Facultad de Informatica UCM que han sido recogidos en Scopus durante el mes de abril pasado.

Analysis of asynchronous programs with event-based synchronization / Emmi, M., Ganty, P., Majumdar, R., Rosa-Velardo, F.

Axiomatizing weak simulation semantics over BCCSP / Aceto, L., de Frutos Escrig, D., Gregorio-Rodríguez, C., Ingolfsdottir, A.

Customized Nios II multi-cycle instructions to accelerate block-matching techniques / González, D., Botella, G., García, C., Meyer Bäse, A., Meyer Bäse, U., Prieto-Matías, M.

Fast-coding robust motion estimation model in a GPU / García, C., Botella, G., De Sande, F., Prieto-Matias, M.

Hardware Architectural Support for Caching Partitioned Reconfigurations in Reconfigurable Systems / Clemente, J. A., Gran, R., Chocano, A., del Prado, C., Resano, J.

Improving segmentation velocity using an evolutionary method / Oliva, D., Osuna-Enciso, V., Cuevas, E., Pajares, G., Pérez-Cisneros, M., Zaldívar, D.

An Intelligent Trading System with Fuzzy Rules and Fuzzy Capital Management / Naranjo, R., Meco, A., Arroyo, J., Santos, M.

Introduction to the special issue on java technologies for real-time and embedded systems: JTRES 2012 / Higuera-Toledano, M.T., Wellings, A.

Learning with Queries inside the Class of Unate k-quasi-Horn Formulas / Lavín Puente, V.

A liberal type system for functional logic programs / López-Fraguas, F.J., Martin-Martin, E., Rodríguez-Hortalá, J.

Malware Detection System by Payload Analysis of Network Traffic / Villalba, L.J.G.; Orozco, A.L.S.; Vidal, J.M.

Measuring landscapes quality using fuzzy logic and GIS / González, V.E., Salvador, L.G., López, V.L.

A multi-dimensional job scheduling / Sheikhalishahi, M., Wallace, R.M., Grandinetti, L., Vazquez-Poletti, J.L., Guerriero, F.

Non-cumulative resource analysis / Albert, E., Fernández, J.C., Román-Díez, G.

Non-negative Matrix Factorization on Low-Power Architectures and Accelerators: A Comparative Study / Igual, F.D., García, C., Botella, G., Piñuel, L., Prieto-Matías, M., Tirado, F.

Object-sensitive cost analysis for concurrent objects / Albert, E., Arenas, P., Correas, J., Genaim, S., Gõmez-Zamalloa, M., Puebla, G., Román-Díez, G.

Overview and current status of remote sensing applications based on Unmanned Aerial Vehicles (UAVs) / Pajares, G.

Recycla.Me: Technologies for domestic recycling / Miñana, G., Lopez, V., Tejada, J.

ResAna: A resource analysis toolset for (real-time) JAVA / Kersten, R.W.J., Van Gastel, B.E., Shkaravska, O., Montenegro, M., Van Eekelen, M.C.J.D.

Towing a boom with two USVs for oil spill recovery: Scaled experimental development / Giron-Sierra, J.M. , Gheorghita, A.T., Angulo, G., Jimenez, J.F.

A transformational approach to resource analysis with typed-norms / Albert, E., Genaim, S., Gutiérrez, R.