565 research outputs found
Significación y causalidad sacramental según Santo Tomás de Aquino
Pese a la claridad de las conclusiones de los SÃnodos de Obispos
de 1974 y 1977 sobre Evangelización y sobre Catequesis, en determinados
sectores prevalece una sensación de cierta antÃtesis entre
sacramentos y evangelización. Esta aparente antinomia —estamos
convencidos— se debe a una insuficiente consideración de las relaciones
entre los elementos esenciales de la vida cristiana: la fe, los
sacramentos, la gracia. Por ello pienso que es urgente —con una
urgencia que no es de hoy sólo: es de siempre— profundizar en los
fundamentos de la doctrina sacramentarÃa
IDRA (IDeal Resource Allocation): A tool for computing ideal speedups
Performance studies of actual parallel systems usually tend to concéntrate on the effectiveness of a given implementation. This is often done in the absolute, without quantitave reference to the potential parallelism contained in the programs from the point of view of the execution paradigm. We feel that studying the parallelism inherent to the programs is interesting, as it gives information about
the best possible behavior of any implementation and thus allows contrasting the results obtained. We propose a method for obtaining ideal speedups for programs through a combination of sequential or parallel execution and simulation, and the algorithms that allow implementing the method. Our approach is novel and, we argüe, more accurate than previously proposed methods, in that a crucial part of the data - the execution times of tasks - is obtained from actual executions, while speedup is computed by simulation. This allows obtaining speedup (and other) data under controlled and ideal assumptions regarding issues such as number of processor, scheduling algorithm and overheads, etc. The results obtained can be used for example to evalúate the ideal parallelism that a program contains for a given model of execution and to compare such "perfect" parallelism to that obtained by a given implementation of that model. We also present a tool, IDRA, which implements the proposed method, and results obtained with IDRA for benchmark programs, which are then compared with those obtained in actual executions on real parallel systems
IDRA (IDeal Resource Allocation): Computing ideal speedups in parallel logic programming
We present a technique to estimate accurate speedups for
parallel logic programs with relative independence from characteristics of a given implementation or underlying parallel hardware. The proposed technique is based on gathering accurate data describing one execution at run-time, which is fed to a simulator. Alternative schedulings are then simulated and estimates computed for the corresponding speedups. A tool implementing the aforementioned techniques is presented, and its predictions are compared to the performance of real systems, showing good correlation
«Testigos del siglo XX, maestros del siglo XXI». XIII Simposio de la Historia de la Iglesia en España y América (Sevilla)
Jesús POLO CARRASCO, Paulus de Heredia (+ c. 1490), «Corona Regia», Centro de Estudios Marianos, Biblioteca «José Sinués» («Textos Marianos Aragoneses», n. 1), 1980, 284 pp., 16 X 24. [RECENSIÓN]
El estrés y sus bases fisiopatológicas (repercusión sobre el sistema inmunitario y el cáncer)
- …