Entry Hickey:1992:CAM from toplas.bib

Last update: Tue May 1 02:05:46 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Hickey:1992:CAM,
  author =       "Timothy J. Hickey and Jacques Cohen and Hitofumi Hotta
                 and Thierry PetitJean",
  title =        "Computer-Assisted Microanalysis of Parallel Programs",
  journal =      j-TOPLAS,
  volume =       "14",
  number =       "1",
  pages =        "54--106",
  month =        jan,
  year =         "1992",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibsource =    "Compiler/Compiler.Lins.bib; Compiler/TOPLAS.bib;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  URL =          "http://www.acm.org/pubs/toc/Abstracts/0164-0925/126699.html",
  abstract =     "This paper consists of two parts: the first provides
                 the theoretical foundations for analyzing parallel
                 programs and illustrates how the theory can be applied
                 to estimate the execution time of a class of parallel
                 programs being executed on a MIMD computer. The second
                 part describes a program analysis system, based on the
                 theoretical model, which allows a user to interactively
                 analyze the results of executing (or simulating the
                 execution) of such parallel programs. Several examples
                 illustrating the use of the tool are presented. A novel
                 contribution is the separation (both at the conceptual
                 and the implementation levels) of the
                 machine-independent and the machine-dependent parts of
                 the analysis. This separation enables the users of the
                 system to establish speed-up curves for machines having
                 varying characteristics.",
  acknowledgement = ack-pb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
  keywords =     "algorithms; design; languages; performance; theory",
  subject =      "{\bf D.1.3}: Software, PROGRAMMING TECHNIQUES,
                 Concurrent Programming, Parallel programming. {\bf
                 D.2.8}: Software, SOFTWARE ENGINEERING, Metrics,
                 Performance measures. {\bf D.2.2}: Software, SOFTWARE
                 ENGINEERING, Tools and Techniques, Programmer
                 workbench. {\bf D.2.5}: Software, SOFTWARE ENGINEERING,
                 Testing and Debugging, Symbolic execution. {\bf F.4.1}:
                 Theory of Computation, MATHEMATICAL LOGIC AND FORMAL
                 LANGUAGES, Mathematical Logic, Prolog.",
}

Related entries