Edison Mera
Edison Mera
Process Design Center BV
process-design-center.com üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
1642012
User-definable resource bounds analysis for logic programs
J Navas, E Mera, P López-García, MV Hermenegildo
International Conference on Logic Programming, 348-363, 2007
1092007
Integrating software testing and run-time checking in an assertion verification framework
E Mera, P Lopez-García, M Hermenegildo
International Conference on Logic Programming, 281-295, 2009
552009
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
362020
Combining static analysis and profiling for estimating execution times
E Mera, P López-García, G Puebla, M Carro, MV Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 140-154, 2007
292007
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
242008
Profiling for run-time checking of computational properties and performance debugging in logic programs
E Mera, T Trigo, P Lopez-García, M Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 38-53, 2011
132011
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
131994
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, ...
12
Porting and refactoring Prolog programs: the PROSYN case study
J Wielemaker
Theory and practice of logic programming 13 (4-5), 2013
92013
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
62011
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
62007
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
Renal vascular responses in an experimental model of preeclampsia.
BL RA, VM Pérez-Alvarez, LA Robledo
Proceedings of the Western Pharmacology Society 48, 49-51, 2005
42005
An overview of the ciao system
MV Hermenegildo, F Bueno, M Carro, P López-García, R Haemmerlé, ...
International Workshop on Rules and Rule Markup Languages for the Semantic …, 2011
32011
Logic Programming
S Etalle, M Truszczynski
Springer Berlin/Heidelberg., 2006
32006
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
Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints
M Hermenegildo, F Bueno, A Casas, J Navas, E Mera, M Carro, ...
DAMP’07, ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, 2007
22007
Combining Static Analysis and Profiling for Estimating Execution Times in Logic Programs
E Mera, P López-Garcıa, G Puebla, M Carro, M Hermenegildo
Technical Report CLIP5/2006.0, Technical University of Madrid (UPM), School …, 2006
22006
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20