Æȷοì
Edison Mera
Edison Mera
Process Design Center BV
process-design-center.comÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012
2072012
User-definable resource bounds analysis for logic programs
J Navas, E Mera, P López-García, MV Hermenegildo
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal ¡¦, 2007
1202007
Integrating software testing and run-time checking in an assertion verification framework
E Mera, P Lopez-García, M Hermenegildo
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA ¡¦, 2009
652009
The 480 kWp EUCLIDESTM-THERMIE Power plant: Installation, Set-up and First Results
G Sala, I Antón, JC Arboiro, A Luque, E Camblor, E Mera, M Gasson, ...
Sixteenth European Photovoltaic Solar Energy Conference, 2072-2077, 2020
392020
Towards execution time estimation in abstract machine-based languages
E Mera, P Lopez, M Carro, M Hermenegildo
Proceedings of the 10th international ACM SIGPLAN conference on Principles ¡¦, 2008
292008
Combining static analysis and profiling for estimating execution times
E Mera, P López-García, G Puebla, M Carro, MV Hermenegildo
Practical Aspects of Declarative Languages: 9th International Symposium ¡¦, 2007
292007
Cimetidine prevents and partially reverses CCl4‐induced liver cirrhosis
P Muriel, E Mera, C Castillo, M Mourelle
Journal of applied toxicology 14 (2), 87-90, 1994
151994
An Overview of Ciao and its Design Philosophy. TPLP, 12 (1–2): 219–252, 2012
MV Hermenegildo, F Bueno, M Carro, P López, E Mera, J Morales, ...
13
Profiling for run-time checking of computational properties and performance debugging in logic programs
E Mera, T Trigo, P Lopez-García, M Hermenegildo
Practical Aspects of Declarative Languages: 13th International Symposium ¡¦, 2011
122011
The Ciao approach to the dynamic vs. static language dilemma
MV Hermenegildo, F Bueno, M Carro, P López, E Mera, J Morales, ...
Proc. Int¡¯l. WS on Scripts to Programs, STOP 11, 2011
92011
Porting and refactoring Prolog programs: the PROSYN case study
E Mera, J Wielemaker
TPLP 13, 4-5, 2013
82013
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
E Mera, P López-García, G Puebla, M Carro, M Hermenegildo
arXiv preprint cs/0701108, 2007
72007
Using combined static analysis and profiling for logic program execution time estimation
E Mera, P López-García, G Puebla, M Carro, M Hermenegildo
International Conference on Logic Programming, 431-432, 2006
62006
An overview of the ciao system
MV Hermenegildo, F Bueno, M Carro, P López-García, R Haemmerlé, ...
Rule-Based Reasoning, Programming, and Applications: 5th International ¡¦, 2011
42011
Nuevos retos en la agricultura, la Alelopatía
FA Macías, N Chinchilla, C Carrera, D Marín, MD García-Díaz, P Sánchez, ...
Agricultura: Revista agropecuaria y ganadera, 24-29, 2007
22007
Combining static analysis and profiling for estimating execution times in logic programs
E Mera, P López García, AG Puebla Sánchez, M Carro Liñares, ...
Technical University of Madrid (UPM), 2006
22006
Time course of COX and eNOS renal expression during rat pregnancy
LA Robledo, EM Jiménez, PL Sanchez
Proceedings of the Western Pharmacology Society 46, 58-60, 2003
22003
NADPH oxidase inhibitors as regulators of vascular relaxation in aortic rings of diabetic rats with streptozotocin (LB539)
M Macías, D Ahedo, R Bobadilla, F Martínez, E Mera, I Padilla, M Rosales
The FASEB Journal 28, LB539, 2014
12014
Automatic granularity-aware parallelization of programs with predicates, functions, and constraints
MV Hermenegildo, F Bueno Carrillo, M Carro Liñares, A Casas, ...
ACM Press, 2007
12007
Design and biological evaluation of multitarget compounds as potential treatment for Alzheimer disease (LB623)
M Hernandez, J Correa, F Martinez, C Benítez, E Mera, M Rosales
The FASEB Journal 28, LB623, 2014
2014
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20