Sciweavers

478 search results - page 56 / 96
» Working Effectively with Legacy Code
Sort
View
COMPSAC
2003
IEEE
15 years 3 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
SCAM
2003
IEEE
15 years 3 months ago
Online Cycle Detection and Difference Propagation for Pointer Analysis
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
David J. Pearce, Paul H. J. Kelly, Chris Hankin
ICMCS
2000
IEEE
86views Multimedia» more  ICMCS 2000»
15 years 2 months ago
Water-Filling for Watermarking?
In this paper we address the question: Is water-filling appropriate for watermarking? The water-filling paradigm is a traditional solution to the capacity maximization of parall...
Deepa Kundur
IPPS
2000
IEEE
15 years 2 months ago
Pipelining Wavefront Computations: Experiences and Performance
Abstract. Wavefront computations are common in scientific applications. Although it is well understood how wavefronts are pipelined for parallel execution, the question remains: H...
E. Christopher Lewis, Lawrence Snyder
ICPP
1998
IEEE
15 years 2 months ago
Concurrent SSA Form in the Presence of Mutual Exclusion
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer