112,171 research outputs found

    VADA: A transformation-based system for variable dependence analysis

    Get PDF
    Variable dependence is an analysis problem in which the aim is to determine the set of input variables that can affect the values stored in a chosen set of intermediate program variables. This paper shows the relationship between the variable dependence analysis problem and slicing and describes VADA, a system that implements variable dependence analysis. In order to cover the full range of C constructs and features, a transformation to a core language is employed Thus, the full analysis is required only for the core language, which is relatively simple. This reduces the overall effort required for dependency analysis. The transformations used need preserve only the variable dependence relation, and therefore need not be meaning preserving in the traditional sense. The paper describes how this relaxed meaning further simplifies the transformation phase of the approach. Finally, the results of an empirical study into the performance of the system are presented

    Public sector performance auditing: Emergence, purpose and meaning

    Get PDF
    The purpose of this paper is to evaluate the extant Anglo-American literature on 'performance auditing for the public sector', in order to identify the socio-economic and political themes that influenced the emergence of public sector performance auditing. The paper also seeks to develop an understanding of the role and practice of performance auditing in the public sector. Common catalysts for change appear to rest in the influence of the local governmental senior auditor (e.g. Auditor General), the existence of public sector reform and changes in standardisation generally. The traditional role of the public sector auditor has undergone significant change over time. In particular, the scope of the public sector audit now exceeds the expectation that the auditor only check for regulatory and procedural compliance. It is now expected that the auditor enhance accountability in the management of public sector resources. The perceived objectives of performance auditing (economy, efficiency and effectiveness) emerge as a strong theme, one which seems to comply with these more modern expectations of performance

    Leaf stripe resistance of spring barley cultivars

    Get PDF
    Results of six years of screening trials clearly indicate that effective resistance against barley leaf stripe is available, also in modern cultivars. Among the spring barley cultivars that are currently most widely grown in Denmark, Cabaret, Troon, Sebastian, Justina and Brazil appear most resistant, but only Brazil combines a favourable resistance performance (= low mean and standard deviation of environment-adjusted leaf stripe incidence) with a high number of observations (= years of testing). However, the cultivars appearing most resistant over the years are relatively old ones such as Vada, Alabama, Odin and particularly Scarlett, which has been resistant in all years in which it was tested. Amongst the new cultivars, Marigold, Native and SW Immer appear to have the most promising resistance properties so far. However, they have only been tested in two years of which only one had reasonably high infection levels. The results furthermore indicate huge year-to-year variation in infection levels, presumably due to variation in environmental conditions related to leaf stripe infection

    Riqualificazione ai fini turistico-ricettivi di Vada e Mazzanta. Progetto del Parco archeologico di San Gaetano

    Get PDF
    Riqualificazione ai fini turistico-ricettivi do Vada e Mazzanta. Progetto del Parco Archeologico di San Gaetano

    Progetto di ristrutturazione della bonifica a sollevamento meccanico della Mazzanta

    Get PDF
    Il lavoro analizza l'attuale bonifica a sollevamento meccanico della Mazzanta, località a Vada in provincia di Livorno. Lo studio parte dall'analisi idrologica, per affrontare la verifica dell'attuale rete e proporre un nuovo progetto sia di questa che dell'impianto idrovoro
    corecore