bluuebunny/crossref_metadata_2025_split huggingface dataset:
Methodology for operation shuffling and L0 cluster generation for low energy heterogeneous VLIW processors
Authors: Kobayashi Yuki , Jayapala Murali , Raghavan Praveen , Catthoor Francky , Imai Masaharu 
Published: October 2007

Clustering L0 buffers is effective for energy reduction in the instruction memory hierarchy of embedded VLIW processors. However, the efficiency of the clustering depends on the schedule of the target application. Especially in heterogeneous or data clustered VLIW processors, determining energy efficient scheduling is more constraining.
This article proposes a realistic technique supported by a tool flow to explore operation shuffling for improving generation of L0 clusters. The tool flow explores assignment of operations for each cycle and generates various schedules. This approach makes it possible to reduce energy consumption for various processor architectures. However, the computational complexity is large because of the huge exploration space. Therefore, some heuristics are also developed, which reduce the size of the exploration space while the solution quality remains reasonable. Furthermore, we also propose a technique to support VLIW processors with multiple data clusters, which is essential to apply the methodology to real world processors.
The experimental results indicate potential gains of up to 27.6% in energy in L0 buffers, through operation shuffling for heterogeneous processor architectures as well as a homogeneous architecture. Furthermore, the proposed heuristics drastically reduce the exploration search space by about 90%, while the results are comparable to full search, with average differences of less than 1%. The experimental results indicate that energy efficiency can be improved in most of the media benchmarks by the proposed methodology, where the average gain is around 10% in comparison with generating clusters without operation shuffling.
Incremental hierarchical memory size estimation for steering of loop transformations
Authors: Hu Q. , Kjeldsberg P. G. , Vandecappelle A. , Palkovic M. , Catthoor F. 
Published: October 2007

Modern embedded multimedia and telecommunications systems need to store and access huge amounts of data. This becomes a critical factor for the overall energy consumption, area, and performance of the systems. Loop transformations are essential to improve the data access locality and regularity in order to optimally design or utilize a memory hierarchy. However, due to abstract high-level cost functions, current loop transformation steering techniques do not take the memory platform sufficiently into account. They usually also result in only one final transformation solution. On the other hand, the loop transformation search space for real-life applications is huge, especially if the memory platform is still not fully fixed. Use of existing loop transformation techniques will therefore typically lead to suboptimal end-products. It is critical to find all interesting loop transformation instances. This can only be achieved by performing an evaluation of the effect of later design stages at the early loop transformation stage.
This article presents a fast incremental hierarchical memory-size requirement estimation technique. It estimates the influence of any given sequence of loop transformation instances on the mapping of application data onto a hierarchical memory platform. As the exact memory platform instantiation is often not yet defined at this high-level design stage, a platform-independent estimation is introduced with a Pareto curve output for each loop transformation instance. Comparison among the Pareto curves helps the designer, or a steering tool, to find all interesting loop transformation instances that might later lead to low-power data mapping for any of the many possible memory hierarchy instances. Initially, the source code is used as input for estimation. However, performing the estimation repeatedly from the source code is too slow for large search space exploration. An incremental approach, based on local updating of the previous result, is therefore used to handle sequences of different loop transformations. Experiments show that the initial approach takes a few seconds, which is two orders of magnitude faster than state-of-the-art solutions but still too costly to be performed interactively many times. The incremental approach typically takes just a few milliseconds, which is another two orders of magnitude faster than the initial approach. This huge speedup allows us for the first time to handle real-life industrial-size applications and get realistic feedback during loop transformation exploration.
The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems
Authors: Ren Shangping , Yu Yue , Chen Nianen , Tsai Jeffrey J.-P. , Kwiat Kevin 
Published: October 2007

One of the main characteristics of open distributed embedded systems is that the involved entities are often very dynamic—different individual entities may join or leave the systems frequently. Therefore, systems built of these dynamic entities must be runtime reconfigurable. In addition, large classes of open embedded systems often have high availability and dependability requirements. However, the openness makes these requirements more difficult to achieve and the system more vulnerable to attacks.This article presents a coordination model, the Actor, Role and Coordinator (ARC) model, that aims to support reconfigurability and fault localization for open distributed embedded software systems. In particular, the actor model is used to model concurrent embedded entities, while the system's reconfigurability and dependability requirements are encapsulated within coordination objects: roles and coordinators, and are achieved through coordination among the actors. Roles, as a key thrust in the ARC model not only represent an abstraction for a set of behaviors shared by a group of actors so that reconfiguration within the roles becomes transparent to entities outside the roles, but also assume coordination responsibilities among the member actors. The article also argues from both analytical and empirical perspectives that with the support of the role, faults can be localized within actors, and actor level reconfiguration becomes transparent to the system.
Termination analysis and call graph construction for higher-order functional programs
Authors: Sereni Damien 
Published: October 2007

The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for a higher-order program has been the topic of extensive research, and numerous methods for flow analysis, varying in complexity and precision, have been suggested.
While termination analysis of higher-order programs has been studied, there has been little examination of the impact of call graph construction on the precision of termination checking. We examine the effect of various control-flow analysis techniques on a termination analysis for higher-order functional programs. We present a termination checking framework and instantiate this with three call graph constructions varying in precision and complexity, and illustrate by example the impact of the choice of call graph construction.
Our second aim is to use the resulting analyses to shed light on the relationship between control-flow analyses. We prove precise inclusions between the classes of programs recognised as terminating by the same termination criterion over different call graph analyses, giving one of the first characterisations of expressive power of flow analyses for higher-order programs.
Experience report
Authors: Cooper Jonathan , McKeever Steve 
Published: October 2007

In this paper we present our use of functional programming (FP), specifically Haskell, to provide an operational semantics for a domain-specific language, CellML, that describes mathematical models of biological processes. We analyse the benefits and shortcomings of this approach, in comparison with other semantic definitions for CellML.
It is our claim that using FP for our semantics results in a more concise and useful artifact for describing what such a model means. The use of lazy evaluation removes the need to explicitly determine an evaluation order for the model, resulting in a more elegant interpreter. Crucially, using FP enables us to prove the correctness of optimisation techniques for such models. This gives us more confidence in scientific deductions from simulation results. We compare the Python implementation of these optimisation techniques with our use of Haskell in proving their correctness.
One Human Being, Three Early Christian Anthropologies An Assessment of Acta Andreae's Tenor on the Basis of Its Anthropological Views
Authors: Lanzillotta L. Roig 
Published: October 2007

AbstractIn spite of the important advances in the scholarly research of Acta Andreae during the twentieth century, the 1980's saw the revival of the old-fashioned and unjustified interpretation of the Acts as the product of an "orthodox" pen. By means of an internal analysis of its thought that focuses on the text's anthropological views, the present study argues that this view is hardly tenable and attempts to determine the orientation of Acta Andreae's mentality.
From the Prayer of the Apostle Paul to the Three Steles of Seth: Codices I, XI and VII from Nag Hammadi Viewed as a Collection
Authors: Painchaud Louis , Kaler Michael 
Published: October 2007

AbstractWhile the individual texts in the various codices found near Nag Hammadi have been studied and discussed, relatively little attention has been paid to the motives underlying their original selection and organisation. Codices I, XI and VII in particular have been shown on palaeographical and codicological grounds to make up a sub-collection within the larger Nag Hammadi collection. Despite their doctrinal diversity, the texts found in these three codices were intended by their compilers to be read in sequence. The purpose of this article is to examine the logic behind this choice and arrangement of texts, and to advance the hypothesis that this three volume collection is intended to progressively introduce the reader to a heterodox and esoteric doctrine of religious conflict and polemic, in which the reader is invited to identify him- or herself with an embattled minority group within the larger Christian community, a group who nonetheless see themselves as enlightened and as being of the "lineage of the Father."
Revisiting Christian Oeyen: "The Other Clement" on Father, Son, and the Angelomorphic Spirit
Authors: Bucur Bogdan 
Published: October 2007

AbstractThis article contributes to research on Clement of Alexandria's pneumatology by revisiting and expanding upon Christian Oeyen's oft-neglected study Eine frühchristliche Engelpneumatologie bei Klemens von Alexandrien, published in 1966. It argues, first, that a study of Clement's Pneumatology cannot ignore the surviving portions of Clement's Hypotyposes (especially the Excerpta ex Theodoto, Eclogae Propheticae, and Adumbrationes), because these appear to have included treatises "On Prophecy" and "On the Soul." Secondly, it reaffirms Oeyen's thesis that Clement of Alexandria's Pneumatology is best understood within the framework of early Jewish and Christian speculation on the "first created" angelic spirits (πρωτó;κτιστoι). The article advances the discussion by providing a context for Clement's "angelomorphic Pneumatology": this phenomenon is part of a larger theological articulation, occurring in tandem with Spirit Christology and a marked binitarian orientation.
The Faces of the Father: "Pentadization" in the Manichaean Kephalaia (Chapter 21)
Authors: Pettipiece Timothy 
Published: October 2007

AbstractOne of the most striking characteristics of the first volume of Manichaean Kephalaia is the occurrence of five-part patterns in a wide variety of contexts. Even though the importance of pentads in Manichaeism has long been recognized, few attempts have been made to study what implications they might have for tracing the development of early Manichaean tradition. By examining the attribution of five qualities to the Father of Greatness in Kephalaia Chapter 21, this article suggests that a deliberate attempt was made to revise the Manichaean concept of divinity from one based on tetrads to one based on pentads.
Jets and Orography: Idealized Experiments with Tip Jets and Lighthill Blocking
Authors: Rhines P. B. 
Published: October 2007

Abstract
This paper describes qualitative features of the generation of jetlike concentrated circulations, wakes, and blocks by simple mountainlike orography, both from idealized laboratory experiments and shallow-water numerical simulations on a sphere. The experiments are unstratified with barotropic lee Rossby waves, and jets induced by mountain orography. A persistent pattern of lee jet formation and lee cyclogenesis owes its origins to arrested topographic Rossby waves above the mountain and potential vorticity (PV) advection through them. The wake jet occurs on the equatorward, eastern flank of the topography. A strong upstream blocking of the westerly flow occurs in a Lighthill mode of long Rossby wave propagation, which depends on βa2/U, the ratio of Rossby wave speed based on the scale of the mountain, to zonal advection speed, U (β is the meridional potential vorticity gradient, f is the Coriolis frequency, and a is the diameter of the mountain). Mountains wider (north–south) than the east–west length scale of stationary Rossby waves will tend to block the oncoming westerly flow. These blocks are essentially β plumes, which are illustrated by their linear Green function. For large βa2/U, upwind blocking is strong; the mountain wake can be unstable, filling the fluid with transient Rossby waves as in the numerical simulations of Polvani et al. For small values, βa2/U ≪ 1 classic lee Rossby waves with large wavelength compared to the mountain diameter are the dominant process. The mountain height, δh, relative to the mean fluid depth, H, affects these transitions as well. Simple lee Rossby waves occur only for such small heights, δh/h ≪ aβ/f, that the f/h contours are not greatly distorted by the mountain. Nongeostrophic dynamics are seen in inertial waves generated by geostrophic shear, and ducted by it, and also in a texture of finescale, inadvertent convection. Weakly damped circulations induced in a shallow-water numerical model on a sphere by a lone mountain in an initially simple westerly wind are also described. Here, with βa2/U ∼1, potential vorticity stirring and transient Rossby waves dominate, and drive zonal flow acceleration. Low-latitude critical layers, when present, exert strong control on the high-latitude waves, and with no restorative damping of the mean zonal flow, they migrate poleward toward the source of waves. While these experiments with homogeneous fluid are very simplified, the baroclinic atmosphere and ocean have many tall or equivalent barotropic eddy structures owing to the barotropization process of geostrophic turbulence.
Structure and Spacing of Jets in Barotropic Turbulence
Authors: Farrell Brian F. , Ioannou Petros J. 
Published: October 2007

Abstract
Turbulent flows are often observed to be organized into large-spatial-scale jets such as the familiar zonal jets in the upper levels of the Jovian atmosphere. These relatively steady large-scale jets are not forced coherently but are maintained by the much smaller spatial- and temporal-scale turbulence with which they coexist. The turbulence maintaining the jets may arise from exogenous sources such as small-scale convection or from endogenous sources such as eddy generation associated with baroclinic development processes within the jet itself. Recently a comprehensive theory for the interaction of jets with turbulence has been developed called stochastic structural stability theory (SSST). In this work SSST is used to study the formation of multiple jets in barotropic turbulence in order to understand the physical mechanism producing and maintaining these jets and, specifically, to predict the jet amplitude, structure, and spacing. These jets are shown to be maintained by the continuous spectrum of shear waves and to be organized into stable attracting states in the mutually adjusted mean flow and turbulence fields. The jet structure, amplitude, and spacing and the turbulence level required for emergence of jets can be inferred from these equilibria. For weak but supercritical turbulence levels the jet scale is determined by the most unstable mode of the SSST system and the amplitude of the jets at equilibrium is determined by the balance between eddy forcing and mean flow dissipation. At stronger turbulence levels the jet amplitude saturates with jet spacing and amplitude satisfying the Rayleigh–Kuo stability condition that implies the Rhines scale. Equilibrium jets obtained with the SSST system are in remarkable agreement with equilibrium jets obtained in simulations of fully developed β-plane turbulence.
Convectively Coupled Equatorial Waves. Part II: Propagation Characteristics
Authors: Yang Gui-Ying , Hoskins Brian , Slingo Julia 
Published: October 2007

Abstract
Following the description of the horizontal and vertical structures of convectively coupled equatorial waves presented in Part I, here their propagation characteristics are investigated. Linear lagged regressions are used to produce their composite evolution, and the Radon transform technique is used to calculate their phase speeds. It is shown that coherent wave structures with convective coupling generally exist for about 1–2 weeks. Typical zonal wavenumbers are 6–8, wavelengths are 42°–64° of longitude, and typical periods are 4–8 days. The eastward phase speed of convectively coupled Kelvin waves is between 10 and 17 m s−1. The westward phase speed of the coupled mixed Rossby–gravity wave is between 10 and 15 m s−1, and the westward phase speed of the coupled n = 1 Rossby wave is between 7 and 9 m s−1. It is found that convection can produce stronger vertical coupling of phase speeds, and Doppler shifting by the ambient flow can modify phase speeds. There is further evidence that some waves tend to act as forcing agents for convection whereas others tend to be forced by convection. Eastward propagation of some n = 0 and 1 modes in the upper troposphere is also examined.
Convectively Coupled Equatorial Waves. Part III: Synthesis Structures and Their Forcing and Evolution
Authors: Yang Gui-Ying , Hoskins Brian , Slingo Julia 
Published: October 2007

Abstract
Building on Parts I and II of this study, the structures of eastward- and westward-moving convectively coupled equatorial waves are examined through synthesis of projections onto standard equatorial wave horizontal structures. The interaction between these equatorial wave components and their evolution are investigated. It is shown that the total eastward-moving fields and their coupling with equatorial convection closely resemble the standard Kelvin wave in the lower troposphere, with intensified convection in phase with anomalous westerlies in the Eastern Hemisphere (EH) and with anomalous convergence in the Western Hemisphere (WH). However, in the upper troposphere, the total fields show a mixture of the Kelvin wave and higher (n = 0 and 1) wave structures, with strong meridional wind and its divergence. The equatorial total fields show what may be described as a modified first internal Kelvin wave vertical structure in the EH, with a tilt in the vertical and a third peak in the midtroposphere. There is evidence that the EH midtropospheric Kelvin wave is closely associated with SH extratropical eastward-moving wave activity, the vertical velocity associated with the wave activity stretching into the equatorial region in the mid–upper troposphere. The midtropospheric zonal wind and geopotential height show a pattern that may be associated with a forced wave.
The westward-moving fields associated with off-equatorial convection show very different behaviors between the EH midsummer and the WH transition seasons. In the EH midsummer, the total fields have a baroclinic structure, with the off-equatorial convection in phase with relatively warm air, suggesting convective forcing of the dynamical fields. The total structures exhibit a mixture of the n = 0, 1 components, with the former dominating to the east of convection and the latter to the west of convection. The n = 0 component is found to be closely connected to the lower-level n = 1 Rossby (R1) wave that appears earlier and seems to provide organization for the convection, which in turn forces the n = 0 wave. In the WH transition season the total fields have a barotropic structure and are dominated by the R1 wave. There is evidence that this barotropic R1 wave, as well as the associated tropical convection, is forced by the NH upper-tropospheric extratropical Rossby wave activity. In the EH, westward-moving lower-level wind structures associated with equatorial convection resemble the R1 wave, with equatorial westerlies in phase with the intensified convection. However, westward-moving n = −1 and n = 0 structures are also involved.
Mesoscale Predictability of Moist Baroclinic Waves: Convection-Permitting Experiments and Multistage Error Growth Dynamics
Authors: Zhang Fuqing , Bei Naifang , Rotunno Richard , Snyder Chris , Epifanio Craig C. 
Published: October 2007

Abstract
A recent study examined the predictability of an idealized baroclinic wave amplifying in a conditionally unstable atmosphere through numerical simulations with parameterized moist convection. It was demonstrated that with the effect of moisture included, the error starting from small random noise is characterized by upscale growth in the short-term (0–36 h) forecast of a growing synoptic-scale disturbance. The current study seeks to explore further the mesoscale error-growth dynamics in idealized moist baroclinic waves through convection-permitting experiments with model grid increments down to 3.3 km. These experiments suggest the following three-stage error-growth model: in the initial stage, the errors grow from small-scale convective instability and then quickly [O(1 h)] saturate at the convective scales. In the second stage, the character of the errors changes from that of convective-scale unbalanced motions to one more closely related to large-scale balanced motions. That is, some of the error from convective scales is retained in the balanced motions, while the rest is radiated away in the form of gravity waves. In the final stage, the large-scale (balanced) components of the errors grow with the background baroclinic instability. Through examination of the error-energy budget, it is found that buoyancy production due mostly to moist convection is comparable to shear production (nonlinear velocity advection). It is found that turning off latent heating not only dramatically decreases buoyancy production, but also reduces shear production to less than 20% of its original amplitude.