—There is a significant, established code base in the scientific computing community. Some of these codes have been parallelized already but are now encountering scalability issues due to poor data locality, inefficient data distributions, or load imbalance. In this work, we introduce a new abstraction called loop chaining in which a sequence of parallel… (More)
The first stage in transitioning from stakeholders' needs to formal designs is the synthesis of user requirements from information elicited from the stakeholders. In this paper we show how shallow natural language techniques can be used to assist analysis of the elicited information and so inform the synthesis of the user requirements. We also show how… (More)
In this paper we present a design case study using DG2VHDL, a tool which bridges the gap between an abstract graphical description of a DSP algorithm and its concrete hardware description language (HDL) representation. DG2VHDL automatically translates a Dependence Graph (DG) 1] into a synthesizable, behavioral VHDL entity that can be input to industrial… (More)
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to inform the requirements' formulation. However, such tracing is often not performed as it is a time-consuming process. This paper presents a tool for retrospectively identifying… (More)
Miniapps serve as test beds for prototyping and evaluating new algorithms, data structures, and programming models before incorporating such changes into larger applications. For the miniapp to accurately predict how a prototyped change would affect a larger application it is necessary that the miniapp be shown to serve as a proxy for that larger… (More)
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common sub-expression elimination, scheduling, and others. Tools for generating data-flow analysis implementations remove the need for implementers to explicitly write code that iterates over statements in a… (More)
The complete genome of citrus leprosis virus nuclear type (CiLV-N) was identified by small RNA sequencing utilizing leprosis-affected citrus samples collected from the state of Querétaro, Mexico. The nucleotide identity and phylogenetic analysis indicate that CiLV-N is very closely related to orchid fleck virus, which typically infects Cymbidium species.
A suspected virus disease was identified from an arborescent Brugmansia x candida Pers. (syn. Datura candida Pers.) tree. The causal agent was aphid transmissible at low rates. Viral particles were purified from infected tobacco tissue, analyzed, and purified virions were inoculated into healthy tobacco plants to recreate the symptoms. The virions had a… (More)