N-GREENS SOFTWARE
NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE
S2013/ICE-2731-2013-CM (N-Greens Software-CM)
Descripción
Objetivos investigación
Resultados
  Publicaciones
  Tesis
  Herramientas desarrolladas
  Propiedad Intelectual
Difusión
Ofertas de empleo
Contacto
Programa Anterior
PROMESAS
PROMETIDOS
Comunidad de Madrid
mid

EU flag

Publicaciones

Artículos en Revistas

  1. Zorana Bankovic, Pedro Lopez-Garcia. Stochastic vs. Deterministic Evolutionary Algorithm-based Allocation and Scheduling for XMOS Chips. Neurocomputing, Vol. 150, páginas 82--89, Elsevier, Febrero 2015.
  2. Andreas Metzger, Philip Leitner, Dragan Ivanovic, Eric Schmieders, Roslin Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl. Comparing and Combining Predictive Business Process Monitoring Techniques. System, Man, and Cybernetics: Systems, IEEE Transactions on, Vol. 45, Núm. 2, páginas 276--290, Febrero 2015.
  3. Antonio Nappa, M. Zubair Rafique, Juan Caballero. The MALICIA Dataset: Identification and Analysis of Drive-by Download Operations. International Journal of Information Security, Vol. 14, Núm. 1, páginas 15--33, Springer Berlin Heidelberg, Febrero 2015.
  4. Andreas Metzger, Philip Leitner, Dragan Ivanovic, Eric Schmieders, Roslin Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl. Comparing and Combining Predictive Business Process Monitoring Techniques. System, Man, and Cybernetics, Vol. 45, Núm. 2, páginas 276--290, Agosto 2014.
  5. Dave Barker-Plummer, Nik Swoboda, Michael D. Murray. An Example HyperVenn Proof. En Prensa, Julio 2014.

Artículos en Congresos con Revisión Estricta

  1. Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mario. A Haskell Implementation of a Rule-Based Program Transformation for C Programs. International Symposium on Practical Aspects of Declarative Languages, LNCS, Núm. 9131, páginas 105--114, Springer-Verlag, Junio 2015.
  2. Antonio Nappa, Richard Johnson, Leyla Bilge, Juan Caballero, Tudor Dimitras. The Attack of the Clones: A Study of the Impact of Shared Code on Vulnerability Patching. Proceedings of the 36th IEEE Symposium on Security and Privacy, Mayo 2015.
  3. Zorana Bankovic, Umer Liqat, Pedro Lopez-Garcia. Trading-off Accuracy vs. Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-based Scheduling. Hybrid Artificial Intelligent Systems (HAIS 2015), Lecture Notes in Computer Science, Vol. 9121, páginas 690--701, Springer International Publishing, 2015.
  4. Zorana Bankovic, Pedro Lopez-Garcia. Improved Energy-aware Stochastic Scheduling based on Evolutionary Algorithms via Copula-based Modeling of Task Dependences. International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2015), Advances in Intelligent Systems and Computing, Vol. 368, páginas 153--163, Springer International Publishing, 2015.
  5. Zorana Bankovic, Pedro Lopez-Garcia. Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm. Genetic and Evolutionary Computation Conference (GECCO 2015), ACM, 2015. To Appear.
  6. J.F. Morales, Manuel Hermenegildo. Pre-Indexed Terms for Prolog. Proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), LNCS, páginas 15, Springer, 2015.
  7. Dragan Ivanovic, Manuel Carro. Transforming Service Compositions into Cloud-Friendly Actor Networks. Service-Oriented Computing - 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings, LNCS, Vol. 8831, páginas 291--305, Springer Verlag, Noviembre 2014.
  8. Dragan Ivanović, Manuel Carro, Peerachai Kaowichakorn. Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models. Service-Oriented Computing - 12th International Conference, ICSOC, LNCS, Vol. 8831, páginas 394--402, Springer Verlag, Noviembre 2014.

Publicaciones en Workshops con Revisión

  1. Pedro Lopez-Garcia, Rémy Haemmerlé, M. Klemen, Umer Liqat, Manuel Hermenegildo. Towards Energy Consumption Verification via Static Analysis. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2015), 2015.

Informes Técnicos y Manuales

  1. Guillermo Vigueras, Salvador Tamarit, Manuel Carro, Julio Mario. Towards a Rule-Based Approach to Generate High-Performance Scientific Code. Núm. CLIP1/2015.0, páginas 8, The CLIP Lab, Marzo 2015. http://clip.dia.fi.upm.es/papers/vigueras15-rule-based.pdf.