CLIP Group's Publications in 2015
Articles in Refereed Journals:
- N. Stulova, J. F. Morales, M. V. Hermenegildo.
Practical Run-time Checking via Unobtrusive Property Caching.
Theory and Practice of Logic Programming,
31st Int'l. Conference on Logic Programming (ICLP'15)
Special Issue,
Vol. 15,
Num. 04-05,
pages 726-741,
Cambridge U. Press,
September
2015.
https://arxiv.org/abs/1507.05986.
- Zorana Bankovic, Pedro Lopez-Garcia.
Stochastic vs. Deterministic Evolutionary
Algorithm-based Allocation and Scheduling for
XMOS Chips.
Neurocomputing,
Vol. 150,
pages 82-89,
Elsevier,
February
2015.
- 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,
Num. 2,
pages 276-290,
February
2015.
Articles in Refereed Conferences:
- Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño.
A Haskell Implementation of a Rule-Based
Program Transformation for C Programs.
International Symposium on Practical Aspects of Declarative Languages,
LNCS,
Num. 9131,
pages 105-114,
Springer-Verlag,
June
2015.
- Z. Bankovic, U. Liqat, P. Lopez-Garcia.
A Practical Approach for Energy Efficient Scheduling in
Multicore Environments by combining Evolutionary and YDS Algorithms
with Faster Energy Estimation.
The 11th International Conference on Artificial Intelligence Applications and Innovations (AIAI'15),
IFIP Advances in Information and Communication Technology,
Vol. 458,
pages 478-493,
Springer,
2015.
- Z. Bankovic, U. Liqat, P. 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,
pages 690-701,
Springer International Publishing,
2015.
- Z. Bankovic, P. 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,
pages 153-163,
Springer International Publishing,
2015.
- Z. Bankovic, P. Lopez-Garcia.
Energy Efficient Allocation and Scheduling for
DVFS-enabled Multicore Environments using a
Multiobjective Evolutionary Algorithm.
Genetic and Evolutionary Computation Conference (GECCO 2015),
pages 1353-1354,
ACM,
2015.
- J.F. Morales, M. V. Hermenegildo.
Pre-Indexed Terms for Prolog.
Post-Proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14),
LNCS,
Vol. 8981,
pages 317-331,
Springer,
2015.
Books and Monographs:
- Joaquín Arias.
Design and implementation of a modular interface to
integrate CLP and tabled execution.
Ms. Thesis, ETSI Ing. Informatica,
July
2015.
- M. Klemen.
Improved Static Analysis
and Verification of Energy Consumption and
other Resources via Abstract Interpretation.
Ms. Thesis, Technical University of Madrid, ETSI_Informatica,
E-28660, Boadilla del Monte, Madrid, Spain,
88 pages,
July
2015.
Publications in Refereed Workshops:
- R. Haemmerle, M. V. Hermenegildo, M. Klemen, U. Liqat, P. Lopez-Garcia.
Energy Analysis and Verification by Translation to Horn Clauses and Abstract Interpretation.
Workshop on Horn Clauses for Verification and Synthesis (HCVS'2015),
July
2015.
- Joaquín Arias, Manuel Carro.
Towards a Generic Interface to Integrate CLP and
Tabled Execution (Extended Abstract).
Technical Communications of the 31st International Conference on Logic Programming,
CEUR Workshop Proceedings,
Vol. 1433,
CEUR-WS.org,
2015.
Extended Abstract.
- P. Lopez-Garcia, R. Haemmerlé, M. Klemen, U. Liqat, M. V. Hermenegildo.
Towards Energy Consumption Verification via Static Analysis.
Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES), arXiv:1501.03064,
11 pages,
2015.
arXiv:1512.09369.
Technical Reports and Manuals:
- P. Lopez-Garcia, R. Haemmerlé, U. Liqat, M. Klemen, M. V. Hermenegildo.
Parametric Static Profiling.
Num. CLIP-2/2015.0,
The CLIP Lab,
April
2015.
- Guillermo Vigueras, Salvador Tamarit, Manuel Carro, Julio Mariño.
Towards a Rule-Based Approach to Generate High-Performance Scientific Code.
Num. CLIP1/2015.0,
8 pages,
The CLIP Lab,
March
2015.
https://cliplab.org/papers/vigueras15-rule-based.pdf.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Tue Oct 29 12:34:26 PM CET 2024