Learn More
—Current software remodularisation tools only operate on abstractions of a software system. In this paper, we investigate the actual impact of automated remodularisation on source code using a tool that automatically applies remodularisations as refactorings. This shows us that a typical remodularisation (as computed by the Bunch tool) will require changes(More)
—LegUp [1] is an open-source high-level synthesis (HLS) tool that accepts a C program as input and automatically synthesizes it into a hybrid system. The hybrid system comprises an embedded processor and custom accelerators that realize user-designated compute-intensive parts of the program with improved throughput and energy efficiency. In this paper, we(More)
Caenorhabditis elegans CEP-1 and its mammalian homolog p53 are critical for responding to diverse stress signals. In this study, we found that cep-1 inactivation suppressed the prolonged lifespan of electron transport chain (ETC) mutants, such as isp-1 and nuo-6, but rescued the shortened lifespan of other ETC mutants, such as mev-1 and gas-1. We compared(More)
Where a software component is updated or replaced regression testing is required. Regression test sets can contain considerable redundancy. This is especially true in the case where no formal regression test set exists and the new component must instead be compared against patterns of behaviour derived from in-use log data from the previous version.(More)
INTRODUCTION Pyomyositis, or isolated abscess formation within a skeletal muscle, is a relatively common condition in tropical climates but it is only encountered rarely in temperate zones. CASE PRESENTATION We present a case of non-tropical pyomyositis of the gluteal muscle in a 26-year-old, previously healthy man from the United Kingdom, who initially(More)
State machines are a popular method of representing a system at a high level of abstraction that enables developers to gain an overview of the system they represent and quickly understand it. Several techniques have been developed to reverse engineer state machines from software, so as to produce a concise and up-to-date document of how a system works.(More)