Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Claudio Ochoa"'
Autor:
Claudio Ochoa, Raúl Hector Gallard
Publikováno v:
Journal of Computer Science and Technology, Vol 1, Iss 01, Pp 18 p.-18 p. (1999)
Migration of individuals allows a fruitful interaction between subpopulations in the island model, a well known distributed approach for evolutionary computing, where separate subpopulations evolve in parallel. This model is well suited for a distrib
Externí odkaz:
https://doaj.org/article/9a75151c8f3e4e8fb4f4b34072a768d3
Autor:
Norberto Aníbal Sanjuan, Vanina Alejandra Netti, Claudia Capurro, Raúl Ferreyra, Celina Morales, Federico Claudio Ochoa, María Teresa Politi, Antonio Piazza, Guillermo Bortman
Publikováno v:
European journal of cardio-thoracic surgery : official journal of the European Association for Cardio-thoracic Surgery. 57(3)
OBJECTIVES: Cardiopulmonary bypass (CPB) use is an essential strategy for many cardiovascular surgeries. However, its use and duration have been associated with a higher rate of postoperative complications, such as low cardiac output syndrome due to
Autor:
Germán Puebla, Claudio Ochoa
Publikováno v:
Electronic Notes in Theoretical Computer Science. 220(3):145-161
We present Oracle-Based Partial Evaluation (OBPE), a novel approach to on-line Partial Evaluation (PE) which decides the control strategy to use for each call pattern by using an oracle function which compares the results of specializing such call pa
Publikováno v:
Higher-Order and Symbolic Computation. 21:147-192
Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trace of a computation is generally useless. Typically, tracers for lazy languages r
Publikováno v:
IEEE Latin America Transactions. 3:15-22
The Capability Maturity Model (CMM) is a framework for judging the maturity of the software processes of an organization. This model is often misapplied in practice, being used as a bulwark for rigid approaches to software development. This usually l
Autor:
Germán Puebla, Claudio Ochoa
Publikováno v:
PPDP
Existing algorithms for on-line partial evaluation of logic programs, given an initial program and a description of run-time queries, deterministically produce a specialized program. In this work we propose a novel framework for partial evaluation of
Publikováno v:
Logic-Based Program Synthesis and Transformation | 15th International Symposium, LOPSTR 2005 | September 7-9, 2005 | London, UK
Archivo Digital UPM
instname
Logic Based Program Synthesis and Transformation ISBN: 9783540326540
LOPSTR
Archivo Digital UPM
instname
Logic Based Program Synthesis and Transformation ISBN: 9783540326540
LOPSTR
Polyvariant specialization allows generating múltiple versions of a procedure, which can then be separately optimized for different uses. Since allowing a high degree of polyvariance often results in more optimized code, polyvariant specializers, su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8259b327c100b7057310a2b2668c2e98
https://oa.upm.es/14354/
https://oa.upm.es/14354/
Publikováno v:
Logics in Artificial Intelligence ISBN: 9783540396253
JELIA
JELIA
Program slicing is a well-known technique that has been widely used for debugging in the context of imperative programming. Debugging is a particularly difficult task within lazy declarative programming. In particular, there exist very few approaches
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4673ab5f7a2d0acac870bc6017f1e537
https://doi.org/10.1007/11853886_46
https://doi.org/10.1007/11853886_46
Publikováno v:
WCFLP
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any input data, dynamic slices are computed from a particular program executi
Publikováno v:
PEPM
Scopus-Elsevier
Scopus-Elsevier
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of a computation is generally useless. Typically, they rely on the constru