Applications of reprogrammability in algorithm acceleration

This doctoral thesis consists of an introductory part and eight appended publications, which deal with hardware-based reprogrammability in algorithm acceleration with a specific emphasis on the possibilities offered by modern large-scale Field Programmable Gate Arrays (FPGAs) in computationally demanding applications. The historical evolution of both the theoretical and technological paths culminating in the introduction of reprogrammable logic devices is first outlined. This is followed by defining the commonly used terms in the thesis. The reprogrammable logic market is surveyed, and the architectural structures and the technological reasonings behind them are described in detail. As reprogrammable logic lies between Application Specific Integrated Circuits (ASICs) and general-purpose microprocessors in the implementation spectrum of electronics systems, special attention has been paid to differentiate these three implementation approaches. This has been done to emphasize, that reprogrammable logic offers much more than just a low-volume replacement for ASICs. Design systems for reprogrammable logic are investigated, as the learning curve associated with them is the main hurdle for software-oriented designers for using reprogrammable logic devices. The theoretically important topic of partial reprogrammability is described in detail, but it is concluded, that the practical problems in designing viable development platforms for partially reprogrammable systems will hinder its wide-spread adoption. The main technical, design-oriented, and economic applicability factors of reprogrammable logic are laid out. The main advantages of reprogrammable logic are their suitability for fine-grained bit-level parallelizable computing with a short time-to-market and low upfront costs. It is also concluded, that the main opportunities for reprogrammable logic lie in the potential of high-level design systems, and the ever-growing ASIC design gap. On the other hand, most power-conscious mass-market portable products do not seem to offer major new market potential for reprogrammable logic. The appended publications are examined and compared to contemporaneous research at other research institutions. The conclusion is that for relatively wide classes of well-defined computation problems, reprogrammable logic offers a more efficient solution than a software-centered approach, with a much shorter production cycle than is the case with ASICs.reviewe

Aeronautical engineering: A continuing bibliography with indexes (supplement 255)

This bibliography lists 529 reports, articles, and other documents introduced into the NASA scientific and technical information system in June 1990. Subject coverage includes: design, construction and testing of aircraft and aircraft engines; aircraft components, equipment and systems; ground support systems; and theoretical and applied aspects of aerodynamics and general fluid dynamics

Brain-Inspired Computing

This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures

Affine Disjunctive Invariant Generation with Farkas' Lemma

Invariant generation is the classical problem that aims at automated generation of assertions that over-approximates the set of reachable program states in a program. We consider the problem of generating affine invariants over affine while loops (i.e., loops with affine loop guards, conditional branches and assignment statements), and explore the automated generation of disjunctive affine invariants. Disjunctive invariants are an important class of invariants that capture disjunctive features in programs such as multiple phases, transitions between different modes, etc., and are typically more precise than conjunctive invariants over programs with these features. To generate tight affine invariants, existing constraint-solving approaches have investigated the application of Farkas' Lemma to conjunctive affine invariant generation, but none of them considers disjunctive affine invariants

Identification of patterns in long-term observations of the cloudy boundary layer

Understanding atmospheric boundary layer (ABL) processes is a key aspect in improving parameterizations in weather forecast and climate prediction models, but also for renewable energy and air quality studies. The ABL, as the lowest part of the atmosphere, can be directly affected by heterogeneities in land surface properties like soil, vegetation and topography, creating patterns at different temporal and spatial scales. In this context, turbulent mixing plays an important role in connecting the atmosphere to the Earth's surface. The turbulent motions are responsible for the thermodynamic structure of the ABL by redistributing heat and moisture and the transport of constituents like aerosols and pollutants away from the surface. These processes are the main drivers for the development of ABL clouds, which in turn feed back to the ABL and surface through interaction with solar radiation, coupling to the large-scale circulation and precipitation formation. This links back to the aim of model improvement, since clouds are one of the largest source of uncertainty in global models. Therefore interdisciplinary research is required to capture the interplay between the different compartments of the Earth. The Transregional Collaborative Research Centre 32 (TR32) in its third phase is dedicated to find these patterns in the soil-vegetation-atmosphere system by a monitoring, modelling and data assimilation approach. Within the TR32 project D2 special emphasis is on measuring, modelling and understanding the spatio-temporal structures in land surface-atmosphere exchange at the Jülich ObservatorY for Cloud Evolution (JOYCE). For the typical ABL process scales of seconds to hours and meters to kilometers, ground-based remote sensing observations are well suited to continuously gather comprehensive information on the atmospheric state in a long-term perspective. With additional model simulations the conceptual process understanding can be improved. This study focuses on the long-term characterisation of the cloudy boundary layer to identify patterns that can be further linked to surface properties at JOYCE. For this purpose, a classification for characterizing ABL turbulence is developed (Publication I). The classification, based on Doppler wind lidar (DWL) data, identifies turbulence regions in the ABL and assigns a mixing source using multiple DWL quantities. In this way, convective, wind shear and cloud driven turbulence can be distinguished under most atmospheric conditions. The method is applied at two research sites, showing a distinct behavior for different climate regimes in terms of the diurnal and seasonal cycle of ABL development. In the analysis of the long-term data sets, nocturnal low-level jets (LLJ) are identified as an important source of shear generated mixing. Therefore, a long-term record of LLJ periods, compiled with DWL observations, is investigated in Publication II. The high frequency of occurrence and wind speeds, associated with significant turbulence close to the surface, reveal the relevance of LLJs for wind energy applications. In addition, a strong interaction of the wind field with the surrounding topography can be seen in the DWL measurements, as well as in the results of a high-resolution large-eddy simulation (LES). Also during the day, when the buoyancy production represents the main factor of convective ABL mixing, the interaction between the land surface and the atmosphere is strongly influenced by surface properties. In particular, the local transport of water vapor in moist thermals is a key mechanism for the coupling of clouds to the underlying land surface and a spatially heterogeneous distribution of land use types can lead to patterns in atmospheric water vapor fields (Publication III). Besides a scanning microwave radiometer (MWR), also satellite and LES data are taken into account, showing a good agreement in identifying the direction of water vapor sources. Convective clouds, that are frequently forming in the ABL due to this convective humidity transport, often contain small amounts of liquid water. These thin liquid water clouds, with a low liquid water path (LWP), are important in terms of their interaction with radiation. In the range of low LWP values, the radiative fluxes are very sensitive to small changes in the amount liquid water contained in the clouds. For a correct representation of the cloud microphysical and optical properties, statistical retrievals using a neural network approach are developed in Publication IV. The retrievals with low computational demand are derived from ground-based observations and make use of the distinct sensitivities in different spectral regimes. While the microwave regime suffers from high uncertainties in low LWP situations, the infrared regime reveals saturation effects for higher LWP. A combination of both spectral regimes yields the best results for the whole range of LWP values

Aerospace medicine and biology: A continuing bibliography with indexes (supplement 406)

This bibliography lists 346 reports, articles and other documents introduced into the NASA Scientific and Technical Information System during Oct. 1995. Subject coverage includes: aerospace medicine and physiology, life support systems and man/system technology, protective clothing, exobiology and extraterrestrial life, planetary biology, and flight crew behavior and performance

FieldPlacer - A flexible, fast and unconstrained force-directed placement method for heterogeneous reconfigurable logic architectures

The field of placement methods for components of integrated circuits, especially in the domain of reconfigurable chip architectures, is mainly dominated by a handful of concepts. While some of these are easy to apply but difficult to adapt to new situations, others are more flexible but rather complex to realize. This work presents the FieldPlacer framework, a flexible, fast and unconstrained force-directed placement method for heterogeneous reconfigurable logic architectures, in particular for the ever important heterogeneous FPGAs. In contrast to many other force-directed placers, this approach is called ‘unconstrained’ as it does not require a priori fixed logic elements in order to calculate a force equilibrium as the solution to a system of equations. Instead, it is based on a free spring embedder simulation of a graph representation which includes all logic block types of a design simultaneously. The FieldPlacer framework offers a huge amount of flexibility in applying different distance norms (e. g., the Manhattan distance) for the force-directed layout and aims at creating adapted layouts for various objective functions, e. g., highest performance or improved routability. Depending on the individual situation, a runtime-quality trade-off can be considered to either produce a decent placement in a very short time or to generate an exceptionally good placement, which takes longer. An extensive comparison with the latest simulated annealing placement method from the well-known Versatile Place and Route (VPR) framework shows that the FieldPlacer approach can create placements of comparable quality much faster than VPR or, alternatively, generate better placements in the same time. The flexibility in defining arbitrary objective functions and the intuitive adaptability of the method, which, among others, includes different concepts from the field of graph drawing, should facilitate further developments with this framework, e. g., for new upcoming optimization targets like the energy consumption of an implemented design

Annual Report of the University, 1992-1993, Volumes 1-4

SIGNIFICANT DEVELOPMENTS Preparation, approval by President Peck, delivery to NMCHE of UNM\u27s response to House Memorials 38 and 25 (on minorities and women). Development and packaging of a presentation on minorities at UNM to Hispanic community people and organizations. Renewal of faculty instructional workload report and other information for use by President Peck and others in the President\u27s Council in testimony to the legislature on accountability by faculty. Significant workload and contributions to WICHE\u27s Diversity Project: - responses to long questionnaire - projected demographics - substitution for O. Forbes on planning for diversity Reprogramming of obsolete computer program of the University of Southern California\u27s Faculty Planning Model. Work remains incomplete. Support and staff work for University Planning Council, Faculty Senate Long Range Planning Committee, Senate President, Senate Budget Committee, Student Learning Outcomes Assessment Committee, Admissions and Registration Committee, Staff Council; Graduate Petition and grade Review Subcommittee Service to NMCHE\u27s Outcomes Assessment Advisory Group; NMCHE\u27s review group on diversity plans Service on Albuquerque Business/Education Compact Conducted several special data analyses to provide user outcome information for the Center for Academic Program Support (CAPS). Wrote reports to summarize analyses. Served in an advisory capacity to VP Zuniga Forbes for the two surveys (Campus Climate for Diversity, ACT Student Opinion Survey) and helped to draw the sample for the ACT survey. Conducted secondary analyses and prepared report of all analyses of the Freshman Survey (CIRP) for VP Zuniga Forbes. Gave presentation of CIRP findings to the Regents Subcommittee on Student Affairs. Conducted secondary analyses and prepared report of all analyses of the Campus Climate for Diversity Survey for VP Zuniga Forbes

Information Technology Standards in eResearch: A Conceptual Model of the Primary Adoption Process in Higher Education Organizations

Current research on IT standards tends to focus on their lifecycle: from the development and selection, to their implementation and use. This work proposed an interdisciplinary perspective to analyze primary adoption process in the eResearch domain. As organizations are the core entities in the innovation process, the analysis of IT standards adoption was applied to eResearch infrastructures within higher education organizations. The core argument was built on the adopter s viewpoint as it provides the most explanatory process about adoption. Two international case studies probed the suitability of a model to identify the determinant role of factors like external and internal networks, top management support and organization structure. This dissertation delivers new insights that contribute to bring certainty about one relevant context of standards adoption